|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages | |
de.tuberlin.cs.cis.ocl.check | Provides classes for OCL context and type checking. |
de.tuberlin.cs.cis.ocl.check.test | Provides classes for testing the framework's context checker. |
de.tuberlin.cs.cis.ocl.env | Provides classes for the framework's parsing environment. |
de.tuberlin.cs.cis.ocl.env.test | Provides classes for testing the framework's environment. |
de.tuberlin.cs.cis.ocl.eval | Provides classes for evaluation of OCL constraints. |
de.tuberlin.cs.cis.ocl.eval.instance | Provides classes for representing the instance level of OCL. |
de.tuberlin.cs.cis.ocl.eval.instance.test | Provides classes for testing the framework's instance level representation. |
de.tuberlin.cs.cis.ocl.eval.report | Provides classes summarising the interpretation results of OCL constraints. |
de.tuberlin.cs.cis.ocl.eval.test | Provides classes for testing the framework's evaluator. |
de.tuberlin.cs.cis.ocl.example.check | Provides classes implementing an example type level of a model. |
de.tuberlin.cs.cis.ocl.example.check.test | Provides classes for testing the framework's context checker with the example model's type level. |
de.tuberlin.cs.cis.ocl.example.eval | Provides classes implementing an example instance level of a model. |
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. |
de.tuberlin.cs.cis.ocl.model | Provides classes to describe arbitrary models in terms of OCL. |
de.tuberlin.cs.cis.ocl.model.check | Provides classes to describe the type level of arbitrary models in terms of OCL. |
de.tuberlin.cs.cis.ocl.model.eval | Provides classes to describe the instance level of arbitrary models in terms of OCL. |
de.tuberlin.cs.cis.ocl.model.mof | Provides classes bridging the JMI description of the MOF Model which enables the validation of M2-level constraints on MOF metamodels (e.g. the UML metamodel). |
de.tuberlin.cs.cis.ocl.model.mofbridge | Provides classes bridging MOF model information to implement this framework's model interface and thus supporting validation of OCL constraints on MOF compliant metamodels. |
de.tuberlin.cs.cis.ocl.model.mofbridge.mdr | Provides classes initialising the Meta Data Repository for test purposes of the MOF Bridge. |
de.tuberlin.cs.cis.ocl.model.mofbridge.test | Provides classes for testing the framework's MOF Bridge. |
de.tuberlin.cs.cis.ocl.model.mofbridge.util | Provides utility classes for the MOF Bridge. |
de.tuberlin.cs.cis.ocl.model.mofbridge.util.test | Provides classes for testing the MOF Bridge's utility classes. |
de.tuberlin.cs.cis.ocl.model.uml | Provides classes bridging the JMI description of the UML metamodel which enables the validation of M1-level constraints on UML models. |
de.tuberlin.cs.cis.ocl.model.uml.test | Provides classes for testing the framework's validation of OCL constraints on the instance level of the UML metamodel. |
de.tuberlin.cs.cis.ocl.parser | Provides classes for an OCL parser. |
de.tuberlin.cs.cis.ocl.parser.test | Provides classes for testing the framework's parser. |
de.tuberlin.cs.cis.ocl.test | Provides classes for testing the whole framework. |
de.tuberlin.cs.cis.ocl.type | Provides classes to internally represent OCL types. |
de.tuberlin.cs.cis.ocl.type.reflect | Provides classes to reflect predefined OCL types from the Java type system. |
de.tuberlin.cs.cis.ocl.type.test | Provides classes for testing the internally used type system implementation. |
de.tuberlin.cs.cis.ocl.util | Provides utility classes used throughout the framework. |
de.tuberlin.cs.cis.ocl.util.test | Provides classes for testing the framework's utility classes. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |