|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--junit.framework.Assert | +--junit.framework.TestCase | +--de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck
Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ContextCheck. The examples defined across the OCL-standard are used.
Constructor Summary | |
TestOclExampleCheck(java.lang.String arg0)
Constructs the test |
Method Summary | |
static void |
main(java.lang.String[] args)
Starts the test |
void |
testAssociationMultiplicity()
Tests [OCL1.5] 6.5.4.2: Navigation over Associations |
void |
testAttributes()
Tests [OCL1.5] 6.5.2: Properties: Attributes |
void |
testCollectOperation()
Tests [OCL1.5] 6.6.2: Collect Operation |
void |
testCombiningProperties()
Tests [OCL1.5] 6.5.4.3: Combining Properties |
void |
testEnumerationTypes()
Tests [OCL1.5] 6.4.2: EnumerationTypes |
void |
testExistsOperation()
Tests [OCL1.5] 6.6.4: Exists Operation |
void |
testFeaturesOnClassesThemselves()
Tests [OCL1.5] 6.5.11: Features on Classes Themselves |
void |
testForAllOperation()
Tests [OCL1.5] 6.6.3: For All Operation |
void |
testInvariants()
Tests the examples of chapter 6.3.3 Invariants |
void |
testLetExpressions()
Tests [OCL1.5] 6.4.3: Let Expressions and < |
void |
testNavigation()
Tests [OCL1.5] 6.5.4: Association Ends and Navigation |
void |
testNavigationFromAssocClass()
Tests [OCL1.5] 6.5.6: Navigation from Association Classes |
void |
testOperations()
Tests [OCL1.5] 6.5.2: Properties: Operations |
void |
testPreAndPostconditions()
Tests [OCL1.5] 6.3.4 Pre- and Postconditions |
void |
testPredefinedPropertiesOnAllObjects()
Tests [OCL1.5] 6.5.10 Predefined properties nn All Objects |
void |
testPreviousValuesInPostconditions()
Tests [OCL1.5] 6.5.15: Previous Values in Postconditions |
void |
testQualifiedNavigation()
Tests [OCL1.5] 6.5.7: Navigation through Qualified Associations |
void |
testResolvingProperties()
Tests [OCL1.5] 6.6.7: Resolving Properties |
void |
testSelectAndRejectOperations()
Tests [OCL1.5] 6.6.1: Select and Reject Operations |
Methods inherited from class junit.framework.TestCase |
countTestCases, getName, name, run, run, runBare, setName, toString |
Methods inherited from class junit.framework.Assert |
assert, assert, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertNotNull, assertNotNull, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public TestOclExampleCheck(java.lang.String arg0)
Method Detail |
public static void main(java.lang.String[] args)
public void testInvariants() throws java.lang.Exception
java.lang.Exception
public void testPreAndPostconditions() throws java.lang.Exception
java.lang.Exception
public void testEnumerationTypes() throws java.lang.Exception
java.lang.Exception
public void testAttributes() throws java.lang.Exception
java.lang.Exception
public void testOperations() throws java.lang.Exception
java.lang.Exception
public void testNavigation() throws java.lang.Exception
java.lang.Exception
public void testAssociationMultiplicity() throws java.lang.Exception
java.lang.Exception
public void testCombiningProperties() throws java.lang.Exception
java.lang.Exception
public void testNavigationFromAssocClass() throws java.lang.Exception
java.lang.Exception
public void testQualifiedNavigation() throws java.lang.Exception
java.lang.Exception
public void testPredefinedPropertiesOnAllObjects() throws java.lang.Exception
java.lang.Exception
public void testFeaturesOnClassesThemselves() throws java.lang.Exception
java.lang.Exception
public void testPreviousValuesInPostconditions() throws java.lang.Exception
java.lang.Exception
public void testSelectAndRejectOperations() throws java.lang.Exception
java.lang.Exception
public void testCollectOperation() throws java.lang.Exception
java.lang.Exception
public void testForAllOperation() throws java.lang.Exception
java.lang.Exception
public void testExistsOperation() throws java.lang.Exception
java.lang.Exception
public void testResolvingProperties() throws java.lang.Exception
java.lang.Exception
public void testLetExpressions() throws java.lang.Exception
java.lang.Exception
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |