Package com.semedy.reasoner.core

Class DeductiveDatabaseTest

java.lang.Object

com.semedy.reasoner.core.DeductiveDatabaseTest

public class DeductiveDatabaseTest
extends Object

Author:

juba

Constructor Summary

Constructors

Constructor	Description
DeductiveDatabaseTest()

Method Summary

Modifier and Type	Method	Description
void	longTransactionAndQueries()	long transactions and querying at the same time
void	setUp()
void	tearDown()
void	testDebugging0()
void	testDebugging1()
void	testDeleteRule()
void	testDeleteRule1()
void	testDeleteRule2()
void	testDeleteRule3()
void	testFunctionalTerms1()
void	testFunctionalTerms2()
void	testLoadDatatypesRaw()
void	testLongTransaction()
void	testMissingBuiltinError()
void	testQueryForFunctionalTerm()
void	testShutdown()	Tests shutdown on threads with open transactions which react to the thread interruption.
void	testShutdownNonCooperative()	Tests shutdown on threads with open transactions which do not react to the thread interruption.
void	testSimpleQuery()
void	testSimpleShutdown()
void	testSymbolTableReasoningTerms()	Tests if a reasoning term will be added to main symbol table (it should not).
void	testTextSearch()
void	testTransactions()	Tests if two transactions running in separate threads actually see only the content from their own transaction.
void	testTransactionsDeadlock()

Methods inherited from class java.lang.Object

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

Constructor Details

DeductiveDatabaseTest

public DeductiveDatabaseTest()
                      throws IOException

Throws:

IOException

Method Details

setUp

public void setUp()
           throws Exception

Throws:

Exception

tearDown

public void tearDown()
              throws Exception

Throws:

Exception

testSimpleQuery

public void testSimpleQuery()
                     throws Exception

Throws:

Exception

testTransactions

public void testTransactions()
                      throws Exception

Tests if two transactions running in separate threads actually see only the content from their own transaction.

Throws:

Exception

testTransactionsDeadlock

public void testTransactionsDeadlock()
                              throws Exception

Throws:

Exception

testSimpleShutdown

public void testSimpleShutdown()
                        throws Exception

Throws:

Exception

testShutdown

public void testShutdown()
                  throws Exception

Tests shutdown on threads with open transactions which react to the thread interruption.

Throws:

Exception

testShutdownNonCooperative

public void testShutdownNonCooperative()
                                throws Exception

Tests shutdown on threads with open transactions which do not react to the thread interruption.

Throws:

Exception

testDeleteRule

public void testDeleteRule()
                    throws Exception

Throws:

Exception

testDeleteRule1

public void testDeleteRule1()
                     throws Exception

Throws:

Exception

testDeleteRule2

public void testDeleteRule2()
                     throws Exception

Throws:

Exception

testDeleteRule3

public void testDeleteRule3()
                     throws Exception

Throws:

Exception

testLoadDatatypesRaw

public void testLoadDatatypesRaw()
                          throws Exception

Throws:

Exception

testSymbolTableReasoningTerms

public void testSymbolTableReasoningTerms()
                                   throws Exception

Tests if a reasoning term will be added to main symbol table (it should not).

Throws:

Exception

testFunctionalTerms1

public void testFunctionalTerms1()
                          throws Exception

Throws:

Exception

testFunctionalTerms2

public void testFunctionalTerms2()
                          throws Exception

Throws:

Exception

testQueryForFunctionalTerm

public void testQueryForFunctionalTerm()
                                throws Exception

Throws:

Exception

testTextSearch

public void testTextSearch()
                    throws Exception

Throws:

Exception

testDebugging0

public void testDebugging0()
                    throws Exception

Throws:

Exception

testDebugging1

public void testDebugging1()
                    throws Exception

Throws:

Exception

testLongTransaction

public void testLongTransaction()
                         throws EDBException,
IOException,
SemReasonerException,
InterruptedException

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

longTransactionAndQueries

public void longTransactionAndQueries()
                               throws Exception

long transactions and querying at the same time

Throws:

Exception

testMissingBuiltinError

public void testMissingBuiltinError()
                             throws Exception

Throws:

Exception