Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

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

Provides classes for testing the framework's context checker with the example model's type level.

See:
          Description

Class Summary
TestOclExampleCheck Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ContextCheck.
 

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

Provides classes for testing the framework's context checker with the example model's type 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:

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES