|
|||||||||
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.DlpTransformerTest
public class DlpTransformerTest
Contains tests of the DlpTransformer
class.
DlpTransformer
Field Summary | |
---|---|
private LpParser |
parser
A LpParser instance used in the tests to convert create object
representations of rules. |
private DlpTransformer |
transformer
A DlpTransformer instance used in the tests. |
Constructor Summary | |
---|---|
DlpTransformerTest(String testName)
A default test case constructor. |
Method Summary | |
---|---|
private void |
doTest(String[] dlpSource,
String expTransformedSource,
Map<TransDlpRuleType,String> expRuleGroupsSource)
Performs a single test. |
void |
testConstraint()
The simplest DLP without a model. |
void |
testConstraint2()
A more complicated input requiring a constraint in the output. |
void |
testRejectionRules()
Tests the transformer on input that requires generation of introducing rejection rules. |
void |
testRejectionsAndDefaults()
Here the input is more complicated. |
void |
testTransformedRules()
Tests the transformer on simple input. |
void |
testTransformedRules2()
Tests the transformer on simple input. |
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
LpParser
instance used in the tests to convert create object
representations of rules.
private final DlpTransformer transformer
DlpTransformer
instance used in the tests.
Constructor Detail |
---|
public DlpTransformerTest(String testName)
testName
- the name of the test caseMethod Detail |
---|
public void testTransformedRules()
public void testTransformedRules2()
public void testRejectionRules()
public void testRejectionsAndDefaults()
public void testConstraint()
public void testConstraint2()
private void doTest(String[] dlpSource, String expTransformedSource, Map<TransDlpRuleType,String> expRuleGroupsSource)
dlpSource
into a
DynamicLogicProgram
instance, performs the transformation and
compares the resulting rules with rules found in
expTransformedSource
.
dlpSource
- source of a dynamic logic programexpTransformedSource
- representation of the expected transformational
equivalent
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |