Package de.tuberlin.cs.cis.ocl.env

Provides classes for the framework's parsing environment.

See:
Description

Interface Summary

Identifier

An identifier useable in the environment.

Class Summary

Annotation	An annotation on an Identifier.
Binding	binds an identifier to a value or/and a type.
Environment	The Environment of the validator.
NameIdentifier	a name within its scope in an OCL-constraint.
NodeIdentifier	a node of an OCL-AST.
OperationIdentifier	an OCL - operation that is defined via a let-expression on a classifier (or in a context of a classifier).
PropertyIdentifier	an OCL-property that is defined via a let-expression on a classifier (or in a context of a classifier).
Scope	the scope of a name within the OCL-context.

Exception Summary

AlreadyBoundException	thrown if an identifier is already bound to a type or a value in the environment.
BindingNotFoundException	Thrown when a Binding could not be resolved on a specified identifier.

Package de.tuberlin.cs.cis.ocl.env Description

Provides classes for the framework's parsing environment.

Related Documentation

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

• Naomi Project at Sourceforge
• Fadi Chabarek's diploma thesis