Package com.semedy.reasoner.idb

Class IntensionalDBTest

java.lang.Object

com.semedy.reasoner.idb.IntensionalDBTest

public class IntensionalDBTest
extends Object

Author:

Juergen Angele

Constructor Summary

Constructors

Constructor	Description
IntensionalDBTest()

Method Summary

Modifier and Type	Method	Description
void	setUp()
void	tearDown()
void	testDeleteAggregation()
void	testImportPersistentRules()
void	testNumbering()
void	testPersistentRules()
void	testRecursiveRules()
void	testSelectRules()
void	testSelectRulesNodeBug()
void	testStoreRules1()
void	testStoreRules2()
void	testStoreRules3()
void	testStoreRules4()
void	testStratification1()
void	testStratification2()

Methods inherited from class java.lang.Object

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

Constructor Details

IntensionalDBTest

public IntensionalDBTest()
                  throws IOException

Throws:

IOException

Method Details

tearDown

public void tearDown()
              throws Exception

Throws:

Exception

setUp

public void setUp()
           throws Exception

Throws:

Exception

testSelectRulesNodeBug

public void testSelectRulesNodeBug()
                            throws Exception

Throws:

Exception

testSelectRules

public void testSelectRules()
                     throws Exception

Throws:

Exception

testStoreRules1

public void testStoreRules1()
                     throws Exception

Throws:

Exception

testStoreRules2

public void testStoreRules2()
                     throws Exception

Throws:

Exception

testStoreRules3

public void testStoreRules3()
                     throws Exception

Throws:

Exception

testStoreRules4

public void testStoreRules4()
                     throws Exception

Throws:

Exception

testNumbering

public void testNumbering()
                   throws Exception

Throws:

Exception

testRecursiveRules

public void testRecursiveRules()
                        throws Exception

Throws:

Exception

testDeleteAggregation

public void testDeleteAggregation()
                           throws Exception

Throws:

Exception

testPersistentRules

public void testPersistentRules()
                         throws Exception

Throws:

Exception

testImportPersistentRules

public void testImportPersistentRules()
                               throws Exception

Throws:

Exception

testStratification1

public void testStratification1()
                         throws Exception

Throws:

Exception

testStratification2

public void testStratification2()
                         throws Exception

Throws:

Exception