edu.jas.ring
Class ReductionTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.jas.ring.ReductionTest

All Implemented Interfaces:

junit.framework.Test

public class ReductionTest
extends junit.framework.TestCase

Reduction tests with JUnit.

Author:

Heinz Kredel.

Constructor Summary

ReductionTest(java.lang.String name)
Constructs a ReductionTest object.

Method Summary

static void	main(java.lang.String[] args) main
protected void	setUp()
static junit.framework.Test	suite() suite.
protected void	tearDown()
void	testComplexReduction() Test Complex reduction.
void	testIntegerDReduction() Test Integer d-reduction.
void	testIntegerEReduction() Test Integer e-reduction.
void	testRatReduction() Test Rat reduction.
void	testRatReduction0() Test constants and empty list reduction.
void	testRatReduction1() Test ReductionMod with constants and empty list reduction.
void	testRatReductionMod() Test Rat reduction Mod.
void	testRatReductionRecording() Test Rat reduction recording.

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ReductionTest

public ReductionTest(java.lang.String name)

Constructs a ReductionTest object.

Parameters:

name - String

Method Detail

main

public static void main(java.lang.String[] args)

main

suite

public static junit.framework.Test suite()

suite.

Returns:

a test suite.

setUp

protected void setUp()

Overrides:

setUp in class junit.framework.TestCase

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

testRatReduction0

public void testRatReduction0()

Test constants and empty list reduction.

testRatReduction1

public void testRatReduction1()

Test ReductionMod with constants and empty list reduction.

testRatReduction

public void testRatReduction()

Test Rat reduction.

testRatReductionMod

public void testRatReductionMod()

Test Rat reduction Mod.

testComplexReduction

public void testComplexReduction()

Test Complex reduction.

testRatReductionRecording

public void testRatReductionRecording()

Test Rat reduction recording.

testIntegerEReduction

public void testIntegerEReduction()

Test Integer e-reduction.

testIntegerDReduction

public void testIntegerDReduction()

Test Integer d-reduction.