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: