tuffy.test
Class PredicateTest

java.lang.Object
  extended by tuffy.test.PredicateTest

public class PredicateTest
extends java.lang.Object

Testing class for Predicate object.


Constructor Summary
PredicateTest()
           
 
Method Summary
 void testAddRelatedClause()
          Test functions of building clause-predicate relationships.
 void testArity()
          Test arity-related functions of Predicate.
 void testEvidence()
          Test functions of marking some atoms as evidence.
 void testGetArgs()
          Test argument-related functions.
 void testGroundAndStoreAtom()
          Test functions of grounding a predicate and store the resulting atoms to database table.
 void testHasQuery()
          Test functions of determining whether there are query atoms belonging to this predication.
 void testSetAllQuery()
          Test the function setAllQuery().
 void testSetClosedWorld()
          Test closed-world-related functions.
 void testSetID()
          Test ID-related functions.
 void testStoreQueries()
          Test functions of marking some atoms as query.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PredicateTest

public PredicateTest()
Method Detail

testSetAllQuery

public final void testSetAllQuery()
Test the function setAllQuery().


testSetClosedWorld

public final void testSetClosedWorld()
Test closed-world-related functions.


testGetArgs

public final void testGetArgs()
Test argument-related functions.


testSetID

public final void testSetID()
Test ID-related functions.


testGroundAndStoreAtom

public final void testGroundAndStoreAtom()
                                  throws java.lang.Exception
Test functions of grounding a predicate and store the resulting atoms to database table.

Throws:
java.lang.Exception

testEvidence

public final void testEvidence()
Test functions of marking some atoms as evidence.


testStoreQueries

public final void testStoreQueries()
Test functions of marking some atoms as query.


testHasQuery

public final void testHasQuery()
Test functions of determining whether there are query atoms belonging to this predication.


testArity

public final void testArity()
Test arity-related functions of Predicate.


testAddRelatedClause

public final void testAddRelatedClause()
Test functions of building clause-predicate relationships.