|
|||||||||
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.trans.DlpSolverTest
public class DlpSolverTest
Contains tests of the DlpSolver
class.
DlpSolver
Field Summary | |
---|---|
private DlpGrounder |
grounder
The grounder used in the tests. |
private LpParser |
parser
The parser used in the tests. |
private CollectingModelConsumer |
processor
Object for collecting the computed models. |
private DlpSolver |
solver
The instance of DlpSolver that is being tested. |
private DlpTransformer |
transformer
The transformer used in the tests. |
Constructor Summary | |
---|---|
DlpSolverTest(String testName)
A default test case constructor. |
Method Summary | |
---|---|
private void |
doTest(String[] dlpSource,
Set<String> expModelSources)
Performs a single call of solver.solve(dlp); where dlp is the dynamic logic program obtained by parsing
dlpSource . |
void |
testOrdinaryInput()
|
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 LpParser parser
private final DlpGrounder grounder
private final DlpTransformer transformer
private final DlpSolver solver
DlpSolver
that is being tested.
private final CollectingModelConsumer processor
Constructor Detail |
---|
public DlpSolverTest(String testName)
testName
- the name of the test caseMethod Detail |
---|
public void testOrdinaryInput()
private void doTest(String[] dlpSource, Set<String> expModelSources)
solver.solve(dlp);where
dlp
is the dynamic logic program obtained by parsing
dlpSource
. Then it tests if the expected set of models is
computed.
dlpSource
- the string with the input dynamic logic programexpModelSources
- string representations of the expected models
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |