Package edu.jas.poly
Class TermOrderByNameCompatTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.poly.TermOrderByNameCompatTest
-
- All Implemented Interfaces:
junit.framework.Test
public class TermOrderByNameCompatTest extends junit.framework.TestCase
TermOrderByName compatibility tests with JUnit. Tests different TermOrders.- Author:
- Axel Kramer
-
-
Constructor Summary
Constructors Constructor Description TermOrderByNameCompatTest(java.lang.String name)
Constructs aTermOrderByNameCompatTest
object.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
main.protected void
setUp()
static junit.framework.Test
suite()
suite.protected void
tearDown()
void
testTermOrderDegreeLexicographic()
Test order DegreeLexicographic.void
testTermOrderDegreeReverseLexicographic()
Test order DegreeReverseLexicographic.void
testTermOrderLexicographic()
Test order Lexicographic.void
testTermOrderNegativeDegreeLexicographic()
Test order NegativeDegreeLexicographic.void
testTermOrderNegativeDegreeReverseLexicographic()
void
testTermOrderNegativeLexicographic()
Test order NegativeLexicographic.-
Methods inherited from class junit.framework.TestCase
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, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, toString
-
-
-
-
Constructor Detail
-
TermOrderByNameCompatTest
public TermOrderByNameCompatTest(java.lang.String name)
Constructs aTermOrderByNameCompatTest
object.- Parameters:
name
- String.
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
main.
-
suite
public static junit.framework.Test suite()
suite.
-
setUp
protected void setUp()
- Overrides:
setUp
in classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDown
in classjunit.framework.TestCase
-
testTermOrderLexicographic
public void testTermOrderLexicographic()
Test order Lexicographic.
-
testTermOrderNegativeLexicographic
public void testTermOrderNegativeLexicographic()
Test order NegativeLexicographic.
-
testTermOrderDegreeLexicographic
public void testTermOrderDegreeLexicographic()
Test order DegreeLexicographic.
-
testTermOrderNegativeDegreeReverseLexicographic
public void testTermOrderNegativeDegreeReverseLexicographic()
-
testTermOrderDegreeReverseLexicographic
public void testTermOrderDegreeReverseLexicographic()
Test order DegreeReverseLexicographic.
-
testTermOrderNegativeDegreeLexicographic
public void testTermOrderNegativeDegreeLexicographic()
Test order NegativeDegreeLexicographic.
-
-