Package de.tuberlin.cs.cis.ocl.type.reflect

Provides classes to reflect predefined OCL types from the Java type system.

See:
Description

Interface Summary

OclAny	Represents and identifies the OCL 1.5 type OclAny.
OclBag	Represents and identifies the OCL 1.5 type Bag.
OclBoolean	Represents and identifies the OCL 1.5 type Boolean.
OclCollection	Represents and identifies the OCL 1.5 type Collection.
OclEnumeration	Represents and identifies the OCL 1.5 type Enumeration.
OclExpression	Represents and identifies the OCL 1.5 type OclExpression.
OclInteger	Represents and identifies the OCL 1.5 type Integer.
OclReal	Represents and identifies the OCL 1.5 type Real.
OclSequence	Represents and identifies the OCL 1.5 type Sequence.
OclSet	Represents and identifies the OCL 1.5 type Set.
OclState	Represents and identifies the OCL 1.5 type OclState.
OclString	Represents and identifies the OCL 1.5 type String.
OclType	Represents and identifies the OCL 1.5 type OclType.

Class Summary

ReflOpTypeResolver

Reflects type informations on java classes representing the ocl types.

Package de.tuberlin.cs.cis.ocl.type.reflect Description

Provides classes to reflect predefined OCL types from the Java type system. The types described by Java Interfaces declaring operations from OCL types by methods. Method names and implementations are reflected and adapted to fit to the boudaries of the Java type system.

Related Documentation

The declared metadata is used in the implementation of the type system and its instance level:

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

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

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