de.tuberlin.cs.cis.ocl.example.check.test
Class TestOclExampleCheck

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--de.tuberlin.cs.cis.ocl.example.check.test.TestOclExampleCheck
All Implemented Interfaces:
junit.framework.Test

public class TestOclExampleCheck
extends junit.framework.TestCase

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ContextCheck. The examples defined across the OCL-standard are used.

Author:
fchabar

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 <> constraints
 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

TestOclExampleCheck

public TestOclExampleCheck(java.lang.String arg0)
Constructs the test

Method Detail

main

public static void main(java.lang.String[] args)
Starts the test


testInvariants

public void testInvariants()
                    throws java.lang.Exception
Tests the examples of chapter 6.3.3 Invariants

java.lang.Exception

testPreAndPostconditions

public void testPreAndPostconditions()
                              throws java.lang.Exception
Tests [OCL1.5] 6.3.4 Pre- and Postconditions

java.lang.Exception

testEnumerationTypes

public void testEnumerationTypes()
                          throws java.lang.Exception
Tests [OCL1.5] 6.4.2: EnumerationTypes

java.lang.Exception

testAttributes

public void testAttributes()
                    throws java.lang.Exception
Tests [OCL1.5] 6.5.2: Properties: Attributes

java.lang.Exception

testOperations

public void testOperations()
                    throws java.lang.Exception
Tests [OCL1.5] 6.5.2: Properties: Operations

java.lang.Exception

testNavigation

public void testNavigation()
                    throws java.lang.Exception
Tests [OCL1.5] 6.5.4: Association Ends and Navigation

java.lang.Exception

testAssociationMultiplicity

public void testAssociationMultiplicity()
                                 throws java.lang.Exception
Tests [OCL1.5] 6.5.4.2: Navigation over Associations

java.lang.Exception

testCombiningProperties

public void testCombiningProperties()
                             throws java.lang.Exception
Tests [OCL1.5] 6.5.4.3: Combining Properties

java.lang.Exception

testNavigationFromAssocClass

public void testNavigationFromAssocClass()
                                  throws java.lang.Exception
Tests [OCL1.5] 6.5.6: Navigation from Association Classes

java.lang.Exception

testQualifiedNavigation

public void testQualifiedNavigation()
                             throws java.lang.Exception
Tests [OCL1.5] 6.5.7: Navigation through Qualified Associations

java.lang.Exception

testPredefinedPropertiesOnAllObjects

public void testPredefinedPropertiesOnAllObjects()
                                          throws java.lang.Exception
Tests [OCL1.5] 6.5.10 Predefined properties nn All Objects

java.lang.Exception

testFeaturesOnClassesThemselves

public void testFeaturesOnClassesThemselves()
                                     throws java.lang.Exception
Tests [OCL1.5] 6.5.11: Features on Classes Themselves

java.lang.Exception

testPreviousValuesInPostconditions

public void testPreviousValuesInPostconditions()
                                        throws java.lang.Exception
Tests [OCL1.5] 6.5.15: Previous Values in Postconditions

java.lang.Exception

testSelectAndRejectOperations

public void testSelectAndRejectOperations()
                                   throws java.lang.Exception
Tests [OCL1.5] 6.6.1: Select and Reject Operations

java.lang.Exception

testCollectOperation

public void testCollectOperation()
                          throws java.lang.Exception
Tests [OCL1.5] 6.6.2: Collect Operation

java.lang.Exception

testForAllOperation

public void testForAllOperation()
                         throws java.lang.Exception
Tests [OCL1.5] 6.6.3: For All Operation

java.lang.Exception

testExistsOperation

public void testExistsOperation()
                         throws java.lang.Exception
Tests [OCL1.5] 6.6.4: Exists Operation

java.lang.Exception

testResolvingProperties

public void testResolvingProperties()
                             throws java.lang.Exception
Tests [OCL1.5] 6.6.7: Resolving Properties

java.lang.Exception

testLetExpressions

public void testLetExpressions()
                        throws java.lang.Exception
Tests [OCL1.5] 6.4.3: Let Expressions and <> constraints

java.lang.Exception