Uses of Package
de.tuberlin.cs.cis.ocl.example.check

Packages that use de.tuberlin.cs.cis.ocl.example.check

de.tuberlin.cs.cis.ocl.example.check	Provides classes implementing an example type level of a model.
de.tuberlin.cs.cis.ocl.example.eval	Provides classes implementing an example instance level of a model.

Classes in de.tuberlin.cs.cis.ocl.example.check used by de.tuberlin.cs.cis.ocl.example.check

ExampleEnumDesc
An ExampleEnumDesc describes the enumeration type of the enumerations in the OCL 1.5 example model (i.e.

ExampleTypeDesc
Describes the Classes presented in the example model defined in OCL1.5 chapter 6.2.2 Example Class Diagram.

Classes in de.tuberlin.cs.cis.ocl.example.check used by de.tuberlin.cs.cis.ocl.example.eval

ExampleTypeFacade
Implements the example model defined in OCL1.5 chapter 6.2.2 Example Class Diagram.