|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Provides classes for testing the framework's context checker. OCL constraints are parsed from files and checked in the context of an example model.
|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |