Package com.semedy.reasoner.symboltable

Class TestSymbolTable

java.lang.Object

com.semedy.reasoner.symboltable.TestSymbolTable

public class TestSymbolTable
extends Object

Constructor Summary

Constructors

Constructor	Description
TestSymbolTable()

Method Summary

Modifier and Type	Method	Description
void	setUp()
void	tearDown()
void	test8()
void	testBasicsa()
void	testBasicsb()
void	testBasicsc()
void	testBasicsd()
void	testBasicse()
void	testBasicsf()
void	testBasicsg()
void	testBasicsh()
void	testBasicsi()
void	testCloseAndRestart1()
void	testCloseAndRestart2()
void	testDoubleLoad()
void	testFutureDate()
void	testFutureShortDate()
void	testIteratorRAM()
void	testIteratorSimplePersistent()
void	testIteratorSimpleRAM()
void	testLongString()
void	testMatch1a()
void	testMatch1b()
void	testMatch2()
void	testMatch2b()
void	testMatchNonGroundFunction()
void	testMatchSubstitute1()
void	testSet()
void	testSetDuplicatesPersistent()
void	testSetDuplicatesRam()
void	testSetEqual()
void	testSetOODuplicatesPersistent()
void	testSetOODuplicatesRam()
void	testStrings1()
void	testStrings2()
void	testTwoSymbotables1()
void	testTwoSymbotables2()
void	testUnifyFunctionFunctionEquivalentVariables1()
void	testUnifyFunctionFunctionEquivalentVariables2()
void	testUnifyFunctionFunctionEquivalentVariables3()
void	testUnifyFunctionFunctionEquivalentVariables4()
void	testUnifyFunctionGroundFunction()
void	testUnifyLiterals1()
void	testUnifyLiterals2()
void	testUnifyLiterals3()
void	testUnifyLiterals4()
void	testUnifyNonGroundFunction2()
void	testUnifyVariable()
void	testUnifyVariableVariable()
void	testyoungDate()
void	testyoungShortDate()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TestSymbolTable

public TestSymbolTable()

Method Details

setUp

public void setUp()
           throws Exception

Throws:

Exception

tearDown

public void tearDown()
              throws Exception

Throws:

Exception

testBasicsa

public void testBasicsa()
                 throws Exception

Throws:

Exception

testCloseAndRestart1

public void testCloseAndRestart1()
                          throws Exception

Throws:

Exception

testStrings1

public void testStrings1()
                  throws Exception

Throws:

Exception

testStrings2

public void testStrings2()
                  throws Exception

Throws:

Exception

testCloseAndRestart2

public void testCloseAndRestart2()
                          throws Exception

Throws:

Exception

testBasicsb

public void testBasicsb()
                 throws Exception

Throws:

Exception

testBasicsc

public void testBasicsc()
                 throws Exception

Throws:

Exception

testBasicsg

public void testBasicsg()
                 throws Exception

Throws:

Exception

testBasicsh

public void testBasicsh()
                 throws Exception

Throws:

Exception

testBasicsi

public void testBasicsi()
                 throws Exception

Throws:

Exception

testBasicsd

public void testBasicsd()
                 throws Exception

Throws:

Exception

testBasicse

public void testBasicse()
                 throws Exception

Throws:

Exception

testBasicsf

public void testBasicsf()
                 throws Exception

Throws:

Exception

testMatchSubstitute1

public void testMatchSubstitute1()
                          throws Exception

Throws:

Exception

testMatch1a

public void testMatch1a()
                 throws Exception

Throws:

Exception

testMatch1b

public void testMatch1b()
                 throws Exception

Throws:

Exception

testMatch2

public void testMatch2()
                throws Exception

Throws:

Exception

testMatch2b

public void testMatch2b()
                 throws Exception

Throws:

Exception

testMatchNonGroundFunction

public void testMatchNonGroundFunction()
                                throws Exception

Throws:

Exception

testTwoSymbotables1

public void testTwoSymbotables1()
                         throws Exception

Throws:

Exception

testTwoSymbotables2

public void testTwoSymbotables2()
                         throws Exception

Throws:

Exception

testUnifyVariable

public void testUnifyVariable()
                       throws Exception

Throws:

Exception

testUnifyNonGroundFunction2

public void testUnifyNonGroundFunction2()
                                 throws Exception

Throws:

Exception

testUnifyFunctionGroundFunction

public void testUnifyFunctionGroundFunction()
                                     throws Exception

Throws:

Exception

testUnifyFunctionFunctionEquivalentVariables1

public void testUnifyFunctionFunctionEquivalentVariables1()
                                                   throws Exception

Throws:

Exception

testUnifyFunctionFunctionEquivalentVariables2

public void testUnifyFunctionFunctionEquivalentVariables2()
                                                   throws Exception

Throws:

Exception

testUnifyFunctionFunctionEquivalentVariables3

public void testUnifyFunctionFunctionEquivalentVariables3()
                                                   throws Exception

Throws:

Exception

testUnifyFunctionFunctionEquivalentVariables4

public void testUnifyFunctionFunctionEquivalentVariables4()
                                                   throws Exception

Throws:

Exception

testUnifyVariableVariable

public void testUnifyVariableVariable()
                               throws Exception

Throws:

Exception

testUnifyLiterals1

public void testUnifyLiterals1()
                        throws Exception

Throws:

Exception

testUnifyLiterals2

public void testUnifyLiterals2()
                        throws Exception

Throws:

Exception

testUnifyLiterals3

public void testUnifyLiterals3()
                        throws Exception

Throws:

Exception

testUnifyLiterals4

public void testUnifyLiterals4()
                        throws Exception

Throws:

Exception

testIteratorSimpleRAM

public void testIteratorSimpleRAM()
                           throws Exception

Throws:

Exception

testIteratorSimplePersistent

public void testIteratorSimplePersistent()
                                  throws Exception

Throws:

Exception

testIteratorRAM

public void testIteratorRAM()
                     throws Exception

Throws:

Exception

testDoubleLoad

public void testDoubleLoad()
                    throws Exception

Throws:

Exception

test8

public void test8()
           throws Exception

Throws:

Exception

testLongString

public void testLongString()
                    throws Exception

Throws:

Exception

testFutureDate

public void testFutureDate()
                    throws Exception

Throws:

Exception

testyoungDate

public void testyoungDate()
                   throws Exception

Throws:

Exception

testFutureShortDate

public void testFutureShortDate()
                         throws Exception

Throws:

Exception

testyoungShortDate

public void testyoungShortDate()
                        throws Exception

Throws:

Exception

testSet

public void testSet()
             throws Exception

Throws:

Exception

testSetDuplicatesRam

public void testSetDuplicatesRam()
                          throws Exception

Throws:

Exception

testSetDuplicatesPersistent

public void testSetDuplicatesPersistent()
                                 throws Exception

Throws:

Exception

testSetOODuplicatesRam

public void testSetOODuplicatesRam()
                            throws Exception

Throws:

Exception

testSetOODuplicatesPersistent

public void testSetOODuplicatesPersistent()
                                   throws Exception

Throws:

Exception

testSetEqual

public void testSetEqual()
                  throws Exception

Throws:

Exception