|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
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.
|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |