|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
lp.struct.util.LpGroundDeciderTest
public class LpGroundDeciderTest
Contains tests of the LpGroundDecider
class.
LpGroundDecider
Field Summary | |
---|---|
private LpGroundDecider |
gd
|
Constructor Summary | |
---|---|
LpGroundDeciderTest(String testName)
A default test case constructor. |
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 |
---|
private final LpGroundDecider gd
Constructor Detail |
---|
public LpGroundDeciderTest(String testName)
testName
- the name of the test caseMethod Detail |
---|
public void testIsGroundNull()
null
to the
LpGroundDecider.isGround(LpStructureUnit)
method.
public void testIsGroundConstant()
LpConstant
instance to the
LpGroundDecider.isGround(LpStructureUnit)
method.
public void testIsGroundVariable()
LpVariable
instance to the
LpGroundDecider.isGround(LpStructureUnit)
method.
public void testIsGroundFunction()
LpFunction
instance to the
LpGroundDecider.isGround(LpStructureUnit)
method.
public void testIsGroundCompoundTerm()
LpCompoundTerm
instances to the
LpGroundDecider.isGround(LpStructureUnit)
method.
public void testIsGroundPredicate()
LpPredicate
instance to the
LpGroundDecider.isGround(LpStructureUnit)
method.
public void testIsGroundLiteral()
LpLiteral
instances to the
LpGroundDecider.isGround(LpStructureUnit)
method.
Uses LpParser
to simplify the creation process of the complicated
LpLiteral
objects.
public void testIsGroundRule()
LpRule
instances to the
LpGroundDecider.isGround(LpStructureUnit)
method.
Uses LpParser
to simplify the creation process of the complicated
LpRule
objects.
private void doTest(boolean expected, LpStructureUnit unit)
LpGroundDecider.isGround(LpStructureUnit)
when called
with unit
as input.
expected
- the expected boolean—true
iff unit
is groundunit
- the tested LpStructureUnit
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |