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.