edu.jas.poly
Class TermOrderTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by edu.jas.poly.TermOrderTest
All Implemented Interfaces:
junit.framework.Test

public class TermOrderTest
extends junit.framework.TestCase

TermOrder Test using JUnit


Field Summary
(package private)  ExpVector a
           
(package private)  ExpVector b
           
(package private)  ExpVector c
           
(package private)  ExpVector d
           
(package private)  TermOrder s
           
(package private)  TermOrder t
           
 
Constructor Summary
TermOrderTest(java.lang.String name)
          Constructs a TermOrderTest object.
 
Method Summary
static void main(java.lang.String[] args)
          main
protected  void setUp()
           
static junit.framework.Test suite()
           
protected  void tearDown()
           
 void testAscendComparator()
          Test ascend comparators
 void testAscendComparatorSplit()
          Test ascend comparators split
 void testAscendComparatorWeightSplit()
          Test ascend comparators weight and split
 void testCompare()
          Test compare
 void testCompareException()
          Test compare exception
 void testCompareExceptionSplit()
          Test compare exception split
 void testCompareExceptionWeigth()
          Test compare exception weight
 void testCompareSplit()
          Test compare split TO
 void testCompareWeight()
          Test compare weight
 void testCompareWeightSplit()
          Test compare weight split
 void testConstructor()
          Test constructor and toString
 void testConstructorSplit()
          Test constructor, split TO
 void testConstructorWeight()
          Test constructor weight and toString
 void testDescendComparator()
          Test descend comparators
 void testDescendComparatorSplit()
          Test descend comparators split
 void testDescendComparatorWeightSplit()
          Test descend comparators weight and split
 void testException()
          Test exception
 void testExceptionSplit()
          Test exception split
 
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
 

Field Detail

a

ExpVector a

b

ExpVector b

c

ExpVector c

d

ExpVector d

t

TermOrder t

s

TermOrder s
Constructor Detail

TermOrderTest

public TermOrderTest(java.lang.String name)
Constructs a TermOrderTest object.

Parameters:
name - String
Method Detail

main

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


suite

public static junit.framework.Test suite()

setUp

protected void setUp()
Overrides:
setUp in class junit.framework.TestCase

tearDown

protected void tearDown()
Overrides:
tearDown in class junit.framework.TestCase

testConstructor

public void testConstructor()
Test constructor and toString


testConstructorSplit

public void testConstructorSplit()
Test constructor, split TO


testConstructorWeight

public void testConstructorWeight()
Test constructor weight and toString


testCompare

public void testCompare()
Test compare


testCompareWeight

public void testCompareWeight()
Test compare weight


testCompareSplit

public void testCompareSplit()
Test compare split TO


testCompareWeightSplit

public void testCompareWeightSplit()
Test compare weight split


testAscendComparator

public void testAscendComparator()
Test ascend comparators


testAscendComparatorSplit

public void testAscendComparatorSplit()
Test ascend comparators split


testAscendComparatorWeightSplit

public void testAscendComparatorWeightSplit()
Test ascend comparators weight and split


testDescendComparator

public void testDescendComparator()
Test descend comparators


testDescendComparatorSplit

public void testDescendComparatorSplit()
Test descend comparators split


testDescendComparatorWeightSplit

public void testDescendComparatorWeightSplit()
Test descend comparators weight and split


testException

public void testException()
Test exception


testExceptionSplit

public void testExceptionSplit()
Test exception split


testCompareException

public void testCompareException()
Test compare exception


testCompareExceptionSplit

public void testCompareExceptionSplit()
Test compare exception split


testCompareExceptionWeigth

public void testCompareExceptionWeigth()
Test compare exception weight