de.tuberlin.cs.cis.ocl.example.eval.test
Class TestOclExampleEvaluation

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--de.tuberlin.cs.cis.ocl.example.eval.test.TestOclExampleEvaluation

All Implemented Interfaces:

junit.framework.Test

public class TestOclExampleEvaluation

extends junit.framework.TestCase

Testcase testing the evaluation of example constraints specified in OCL 1.5.

Author:

fchabar

Constructor Summary

TestOclExampleEvaluation(java.lang.String arg0)
Constructor for TestExampleEvaluation.

Method Summary

void	testAssociationMultiplicity() Tests examples of OCL 1.5 chapter 6.5.4.2
void	testAttributes() Tests attribute examples of OCL 1.5 chapter 6.5.2
void	testCollectOperation() Tests examples of OCL 1.5 chapter 6.6.2
void	testCombiningProperties() Tests examples of OCL 1.5 chapter 6.5.4.3
void	testEnumerationTypes() Tests examples of OCL 1.5 chapter 6.4.2
void	testExistsOperation() Tests examples of OCL 1.5 chapter 6.6.4
void	testFeaturesOnClassesThemselves() Tests examples of OCL 1.5 chapter 6.5.11
void	testForAllOperation() Tests examples of OCL 1.5 chapter 6.6.3
void	testInvariants() Tests examples of OCL 1.5 chapter 6.3.3
void	testLetExpressions() Tests examples of OCL 1.5 chapter 6.4.3
void	testNavigation() Tests navigation examples of OCL 1.5 chapter 6.5.4
void	testNavigationFromAssocClass() Tests examples of OCL 1.5 chapter 6.5.6
void	testOperations() Tests operation examples of OCL 1.5 chapter 6.5.2
void	testPreAndPostconditions() Tests examples of OCL 1.5 chapter 6.3.4
void	testPreviousValuesInPostconditions() Tests examples of OCL 1.5 chapter 6.5.15
void	testResolvingProperties() Tests examples of OCL 1.5 chapter 6.6.7
void	testSelectAndRejectOperations() Tests examples of OCL 1.5 chapter 6.6.1

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

TestOclExampleEvaluation

public TestOclExampleEvaluation(java.lang.String arg0)

Constructor for TestExampleEvaluation.

Parameters:

arg0 -

Method Detail

testInvariants

public void testInvariants()
                    throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.3.3

Throws:

java.lang.Exception - if an exception occurs

testPreAndPostconditions

public void testPreAndPostconditions()
                              throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.3.4

Throws:

java.lang.Exception - if an exception occurs

testEnumerationTypes

public void testEnumerationTypes()
                          throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.4.2

Throws:

java.lang.Exception - if an exception occurs

testAttributes

public void testAttributes()
                    throws java.lang.Exception

Tests attribute examples of OCL 1.5 chapter 6.5.2

Throws:

java.lang.Exception - if an exception occurs

testOperations

public void testOperations()
                    throws java.lang.Exception

Tests operation examples of OCL 1.5 chapter 6.5.2

Throws:

java.lang.Exception - if an exception occurs

testNavigation

public void testNavigation()
                    throws java.lang.Exception

Tests navigation examples of OCL 1.5 chapter 6.5.4

Throws:

java.lang.Exception - if an exception occurs

testAssociationMultiplicity

public void testAssociationMultiplicity()
                                 throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.5.4.2

Throws:

java.lang.Exception - if an exception occurs

testCombiningProperties

public void testCombiningProperties()
                             throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.5.4.3

Throws:

java.lang.Exception - if an exception occurs

testNavigationFromAssocClass

public void testNavigationFromAssocClass()
                                  throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.5.6

Throws:

java.lang.Exception - if an exception occurs

testSelectAndRejectOperations

public void testSelectAndRejectOperations()
                                   throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.6.1

Throws:

java.lang.Exception - if an exception occurs

testCollectOperation

public void testCollectOperation()
                          throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.6.2

Throws:

java.lang.Exception - if an exception occurs

testForAllOperation

public void testForAllOperation()
                         throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.6.3

Throws:

java.lang.Exception - if an exception occurs

testExistsOperation

public void testExistsOperation()
                         throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.6.4

Throws:

java.lang.Exception - if an exception occurs

testResolvingProperties

public void testResolvingProperties()
                             throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.6.7

Throws:

java.lang.Exception - if an exception occurs

testLetExpressions

public void testLetExpressions()
                        throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.4.3

Throws:

java.lang.Exception - if an exception occurs

testPreviousValuesInPostconditions

public void testPreviousValuesInPostconditions()
                                        throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.5.15

Throws:

java.lang.Exception - if an exception occurs

testFeaturesOnClassesThemselves

public void testFeaturesOnClassesThemselves()
                                     throws java.lang.Exception

Tests examples of OCL 1.5 chapter 6.5.11

Throws:

java.lang.Exception - if an exception occurs