Package com.semedy.reasoner.edb

Class CoreTest

java.lang.Object

com.semedy.reasoner.reasoning.AbstractTestTemplate1

com.semedy.reasoner.edb.CoreTest

public class CoreTest
extends AbstractTestTemplate1

Constructor Summary

Constructors

Constructor	Description
CoreTest()

Method Summary

Modifier and Type	Method	Description
void	tearDown()
void	testClearCore()	Tests if clearing the Core works.
void	testCloseAndRestart()	Tests if facts and rules still exist after Core.close() and a restart.
void	testDeleteAndRestart()	Tests if Core.delete() works correctly.

Methods inherited from class com.semedy.reasoner.reasoning.AbstractTestTemplate1

deleteDir, eval, eval, eval, eval, eval, eval, eval, evalWithoutResults, setUp

Methods inherited from class java.lang.Object

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

Constructor Details

CoreTest

public CoreTest()

Method Details

testCloseAndRestart

public void testCloseAndRestart()
                         throws Exception

Tests if facts and rules still exist after Core.close() and a restart.

Throws:

Exception

testDeleteAndRestart

public void testDeleteAndRestart()
                          throws Exception

Tests if Core.delete() works correctly.

Throws:

Exception

testClearCore

public void testClearCore()
                   throws Exception

Tests if clearing the Core works.

Throws:

Exception

tearDown

public void tearDown()
              throws Exception

Overrides:

tearDown in class AbstractTestTemplate1

Throws:

Exception