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

Packages that use de.tuberlin.cs.cis.ocl.env

de.tuberlin.cs.cis.ocl.check	Provides classes for OCL context and type checking.
de.tuberlin.cs.cis.ocl.env	Provides classes for the framework's parsing environment.
de.tuberlin.cs.cis.ocl.env.test	Provides classes for testing the framework's environment.

Classes in de.tuberlin.cs.cis.ocl.env used by de.tuberlin.cs.cis.ocl.check

Environment
The Environment of the validator.

Classes in de.tuberlin.cs.cis.ocl.env used by de.tuberlin.cs.cis.ocl.env

AlreadyBoundException
thrown if an identifier is already bound to a type or a value in the environment.

Binding
binds an identifier to a value or/and a type.

BindingNotFoundException
Thrown when a Binding could not be resolved on a specified identifier.

Identifier
An identifier useable in the environment.

NameIdentifier
a name within its scope in an OCL-constraint.

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.

Classes in de.tuberlin.cs.cis.ocl.env used by de.tuberlin.cs.cis.ocl.env.test

BindingNotFoundException
Thrown when a Binding could not be resolved on a specified identifier.