|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
tudresden.ocl.test.TestNormalize
Field Summary | |
(package private) static String |
ncPrefix
the NameCreator default prefix |
Fields inherited from class junit.framework.TestCase |
|
Constructor Summary | |
TestNormalize(String name)
|
Method Summary | |
protected boolean |
convertsTo(String before,
String after)
tests if - OclExpression before is normalized to OclExpression after and - OclExpression after is normalized to OclExpression after |
static junit.framework.Test |
suite()
|
void |
testConstraintNaming()
|
void |
testDefaultContextInsertion()
|
void |
testIteratorInsertion()
|
void |
testMultipleIteratorSolving()
|
void |
testVariableClarification()
|
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 |
static String ncPrefix
Constructor Detail |
public TestNormalize(String name)
Method Detail |
public void testConstraintNaming()
public void testDefaultContextInsertion()
public void testMultipleIteratorSolving()
public void testIteratorInsertion()
public void testVariableClarification()
protected boolean convertsTo(String before, String after) throws Exception
Exception
public static junit.framework.Test suite()
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |