lp.struct.util
Class EvolpPrettyPrinterTest
java.lang.Object
junit.framework.Assert
junit.framework.TestCase
lp.struct.util.LpPrettyPrinterTest
lp.struct.util.EvolpPrettyPrinterTest
- All Implemented Interfaces:
- Test
public class EvolpPrettyPrinterTest
- extends LpPrettyPrinterTest
Contains tests of the EvolpPrettyPrinter
class.
- Version:
- 1.0.0
- Author:
- Martin Slota
- See Also:
EvolpPrettyPrinter
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 |
EvolpPrettyPrinterTest
public EvolpPrettyPrinterTest(String testName)
- A default test case constructor.
- Parameters:
testName
- the name of the test case
setUp
protected void setUp()
- Reinitializes all members (
LpPrettyPrinterTest.r
, LpPrettyPrinterTest.pp
, LpPrettyPrinterTest.pp2
,
LpPrettyPrinterTest.expContents
and LpPrettyPrinterTest.expContents2
).
- Overrides:
setUp
in class LpPrettyPrinterTest
testAppendEvolpRule
public void testAppendEvolpRule()
- Tests the
EvolpPrettyPrinter
on rules that contain other rules as
an inner term.
doAssertTest
protected void doAssertTest(String expected,
LpPredicate pred,
LpTerm... argTerms)
- Tests whether a fact formed by the predicate symbol
pred
with
argTerms
as its arguments will be appended (or converted to
string) correctly.
- Parameters:
expected
- the expected string that should be returned/appendedpred
- the predicate symbol of the fact's head literalargTerms
- arguments of the fact's head literal