lp.unit
Class GeneralizedLogicProgramTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by lp.unit.GeneralizedLogicProgramTest
All Implemented Interfaces:
Test

public class GeneralizedLogicProgramTest
extends TestCase

Contains tests of the GeneralizedLogicProgram class.

Version:
1.0.0
Author:
Martin Slota
See Also:
GeneralizedLogicProgram

Field Summary
private  LpParser parser
          The LpParser instance used in tests to convert strings into LpRule instances.
 
Constructor Summary
GeneralizedLogicProgramTest(String testName)
          A default test case constructor.
 
Method Summary
 void testEqualsAndHashCode()
          Tests the AbstractSet.equals(Object) and AbstractSet.hashCode() methods.
 void testIsGround()
          Tests the GeneralizedLogicProgram.isGround() method.
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

parser

private final LpParser parser
The LpParser instance used in tests to convert strings into LpRule instances.

Constructor Detail

GeneralizedLogicProgramTest

public GeneralizedLogicProgramTest(String testName)
A default test case constructor.

Parameters:
testName - the name of the test case
Method Detail

testIsGround

public void testIsGround()
Tests the GeneralizedLogicProgram.isGround() method.


testEqualsAndHashCode

public void testEqualsAndHashCode()
Tests the AbstractSet.equals(Object) and AbstractSet.hashCode() methods.