Package de.tuberlin.cs.cis.ocl.example.eval.test

Provides classes for testing the framework's evaluator with the example model's type and instance level.

See:
Description

Class Summary

AllTests	Testsuite including all type-related test cases in the package: de.tuberlin.cs.cis.ocl.example.eval.test
TestExampleInstanceDesc	Testcase testing the class ExampleInstanceDesc.
TestExampleModel
TestExampleReflector
TestOclExampleEvaluation	Testcase testing the evaluation of example constraints specified in OCL 1.5.

Package de.tuberlin.cs.cis.ocl.example.eval.test Description

Provides classes for testing the framework's evaluator with the example model's type and instance level. Included tests are derived from the examples used throughout the OCL Standard.

Related Documentation

For overviews, tutorials, examples, guides, and tool documentation, please see:

• Naomi Project at Sourceforge
• JUnit testing framework
• OCL 1.5 Standard