Package de.tuberlin.cs.cis.ocl.check.test

Provides classes for testing the framework's context checker.

See:
          Description

Class Summary
AllTests Testsuite including all test cases in the package: de.tuberlin.cs.cis.ocl.check.test
TestContextChecker Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ContextChecker.
 

Package de.tuberlin.cs.cis.ocl.check.test Description

Provides classes for testing the framework's context checker. OCL constraints are parsed from files and checked in the context of an example model.

Related Documentation

The example model used for the included tests: For overviews, tutorials, examples, guides, and tool documentation, please see: