Package edu.jas.poly

Class 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 a TermOrderByNameCompatTest 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

      • Methods inherited from class java.lang.Object

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