Package de.tuberlin.cs.cis.ocl.example.eval

Provides classes implementing an example instance level of a model.

See:
          Description

Class Summary
Bank Represents a Bank contained in the Example Class Diagram of OCL1.5 chapter 6.2.2.
Company Represents a Company contained in the Example Class Diagram of OCL1.5 chapter 6.2.2.
ExampleInstanceDesc Describes an instance of types contained in the Example Class Diagram of OCL1.5 chapter 6.2.2.
ExampleInstanceModel Represents an instance of the model described by the Example Class Diagram of OCL1.5 chapter 6.2.2.
ExampleModel Represents the model described by the Example Class Diagram of OCL1.5 chapter 6.2.2.
ExampleReflector Reflects the model and model instances described by the Example Class Diagram of OCL1.5 chapter 6.2.2.
Job Represents a Job contained in the Example Class Diagram of the OCL1.5 chapter 6.2.2.
Marriage Represents a Marriage contained in the Example Class Diagram of OCL1.5 chapter 6.2.2.
Person Represents a Person contained in the Example Class Diagram of OCL1.5 chapter 6.2.2.
Sex Represents a Sex Enumeration contained in the Example Class Diagram of OCL1.5 chapter 6.2.2.
Void Represents the utility type Void for the Example Class Diagram of OCL1.5 chapter 6.2.2.
 

Package de.tuberlin.cs.cis.ocl.example.eval Description

Provides classes implementing an example instance level of a model. It presents how to implement a ModelFacade in a simple way. The example model therefore reverts to the example implementation of a model's type level (s. de.tuberlin.cs.cis.ocl.example.check). Such an ModelFacade implemenation enables the type check and the evaluation of OCL constraints in the context of an arbitrary model.

The example model is additionally used for the purpose of testing.

Related Documentation

For overviews, tutorials, examples, guides, and tool documentation, please see: