lp.unit
Class GeneralizedLogicProgramTest
java.lang.Object
junit.framework.Assert
junit.framework.TestCase
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. |
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 |
parser
private final LpParser parser
- The
LpParser
instance used in tests to convert strings into
LpRule
instances.
GeneralizedLogicProgramTest
public GeneralizedLogicProgramTest(String testName)
- A default test case constructor.
- Parameters:
testName
- the name of the test case
testIsGround
public void testIsGround()
- Tests the
GeneralizedLogicProgram.isGround()
method.
testEqualsAndHashCode
public void testEqualsAndHashCode()
- Tests the
AbstractSet.equals(Object)
and
AbstractSet.hashCode()
methods.