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

Provides classes for representing the instance level of OCL.

See:
Description

Interface Summary

Instance

Abstracts and represents instances for the evaluation proccess.

Class Summary

BagInstance	Represents an instance of the OCL type Bag.
BooleanInstance	Represents an instance of the OCL type Boolean.
CollectionInstance	Represents an instance of the OCL type Collection.
EnumerationInstance	Represents an instance of the OCL type Enumeration.
IntegerInstance	Represents an instance of the OCL type Integer.
ModelInstance	Represents instances of OCL model types.
OclAnyInstance
OclExpressionInstance	Represents an instance of the OCL type OclExpression.
OclStateInstance	Represents an instance of the OCL type OclState.
OclTypeInstance	Represents an instance of the OCL type OclType.
PredefinedInstance	Represents instances of OCL predefined types.
RealInstance	Represents an instance of the OCL type Real.
SequenceInstance	Represents an instance of the OCL type Sequence.
SetInstance	Represents an instance of the OCL type Set.
StringInstance	Represents an instance of the OCL type String.

Exception Summary

FeatureInvocationException	Thrown when an exception occurs while accessing a feature or invoking an operation.
UndefinedValueException	Thrown when an OCL expression or value is undefined.

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

Provides classes for representing the instance level of OCL. The instance level is seperated into predefined instances and instances of the model. Predefined features of the OCL type system are implemented. Descriptions of model instances are interpreted and made amenable for analysis.

Related Documentation

The types of the instances contained in this package are described in:

• de.tuberlin.cs.cis.ocl.type

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

• Naomi Project at Sourceforge
• Fadi Chabarek's diploma thesis
• OCL 1.5 Standard