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

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

de.tuberlin.cs.cis.ocl.env	Provides classes for the framework's parsing environment.
de.tuberlin.cs.cis.ocl.eval.instance	Provides classes for representing the instance level of OCL.
de.tuberlin.cs.cis.ocl.example.check	Provides classes implementing an example type level of a model.
de.tuberlin.cs.cis.ocl.model.check	Provides classes to describe the type level of arbitrary models in terms of OCL.
de.tuberlin.cs.cis.ocl.model.mofbridge	Provides classes bridging MOF model information to implement this framework's model interface and thus supporting validation of OCL constraints on MOF compliant metamodels.
de.tuberlin.cs.cis.ocl.model.uml	Provides classes bridging the JMI description of the UML metamodel which enables the validation of M1-level constraints on UML models.
de.tuberlin.cs.cis.ocl.type	Provides classes to internally represent OCL types.
de.tuberlin.cs.cis.ocl.type.reflect	Provides classes to reflect predefined OCL types from the Java type system.
de.tuberlin.cs.cis.ocl.type.test	Provides classes for testing the internally used type system implementation.

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

Classifier
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

Property
A property describes a feature (i.e. attribute, association or operation) of a Type as defined in OCL 1.5.

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

Classes in de.tuberlin.cs.cis.ocl.type used by de.tuberlin.cs.cis.ocl.eval.instance

Classifier
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

ModelType
OCL 1.5 paragraph 6.4.1 Types from the (UML) Model: Each OCL expression is written in the context of a (UML) Model, a number of classifiers ..., their features ans associations, and their generalizations.

Property
A property describes a feature (i.e. attribute, association or operation) of a Type as defined in OCL 1.5.

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

Classes in de.tuberlin.cs.cis.ocl.type used by de.tuberlin.cs.cis.ocl.example.check

Classifier
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

UndefinedFeatureException
This exception is thrown when a feature can not be resolved on a particular type.

Classes in de.tuberlin.cs.cis.ocl.type used by de.tuberlin.cs.cis.ocl.model.check

Classifier
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

UndefinedFeatureException
This exception is thrown when a feature can not be resolved on a particular type.

Classes in de.tuberlin.cs.cis.ocl.type used by de.tuberlin.cs.cis.ocl.model.mofbridge

Classifier
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

UndefinedFeatureException
This exception is thrown when a feature can not be resolved on a particular type.

Classes in de.tuberlin.cs.cis.ocl.type used by de.tuberlin.cs.cis.ocl.model.uml

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

UndefinedFeatureException
This exception is thrown when a feature can not be resolved on a particular type.

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

Classifier
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

Property
A property describes a feature (i.e. attribute, association or operation) of a Type as defined in OCL 1.5.

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

UndefinedFeatureException
This exception is thrown when a feature can not be resolved on a particular type.

Classes in de.tuberlin.cs.cis.ocl.type used by de.tuberlin.cs.cis.ocl.type.reflect

Property
A property describes a feature (i.e. attribute, association or operation) of a Type as defined in OCL 1.5.

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

UndefinedFeatureException
This exception is thrown when a feature can not be resolved on a particular type.

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

Classifier
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

Type
OCL 1.5 defines a classifier and an instance-level (refer 6.5.11 Features on Classes Themselves).

UndefinedFeatureException
This exception is thrown when a feature can not be resolved on a particular type.