Package de.tuberlin.cs.cis.ocl.model.check

Provides classes to describe the type level of arbitrary models in terms of OCL.

See:
Description

Interface Summary

ClassifierDescriptor	Describes a classifier of the model.
EnumerationTypeDescriptor	Describes an enumeration type of the model.
TypedAssociation	A TypedAssociation describes an association within the context of OCL 1.5.
TypedProperty	Describes a model-property as defined in OCL 1.5.
TypeFacade	A TypeFacade is a facade used to access the types of a model via its names.

Exception Summary

AmbiguousTypeException	Thrown if a type is ambigiously described within a model.
UndefinedTypeException	Thrown if a type is undefined within a model.

Package de.tuberlin.cs.cis.ocl.model.check Description

Provides classes to describe the type level of arbitrary models in terms of OCL. The context checker uses the obtained type descriptions in the type checking process to determine the types and the features of the model.

Related Documentation

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

• Naomi Project at Sourceforge
• Fadi Chabarek's diploma thesis, especially chapter 3