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

Packages that use de.tuberlin.cs.cis.ocl.model.check

de.tuberlin.cs.cis.ocl.check	Provides classes for OCL context and type checking.
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.example.eval	Provides classes implementing an example instance level of a model.
de.tuberlin.cs.cis.ocl.model	Provides classes to describe arbitrary models in terms of OCL.
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.eval	Provides classes to describe the instance level of arbitrary models in terms of OCL.
de.tuberlin.cs.cis.ocl.model.mof	Provides classes bridging the JMI description of the MOF Model which enables the validation of M2-level constraints on MOF metamodels (e.g. the UML metamodel).
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.test	Provides classes for testing the internally used type system implementation.

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

TypeFacade
A TypeFacade is a facade used to access the types of a model via its names.

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

EnumerationTypeDescriptor
Describes an enumeration type of the model.

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

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.

UndefinedTypeException
Thrown if a type is undefined within a model.

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

ClassifierDescriptor
Describes a classifier 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.

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

TypeFacade
A TypeFacade is a facade used to access the types of a model via its names.

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

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

ClassifierDescriptor
Describes a classifier 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.

UndefinedTypeException
Thrown if a type is undefined within a model.

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

ClassifierDescriptor
Describes a classifier 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.

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

TypeFacade
A TypeFacade is a facade used to access the types of a model via its names.

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

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

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.

UndefinedTypeException
Thrown if a type is undefined within a model.

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

ClassifierDescriptor
Describes a classifier 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.

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

ClassifierDescriptor
Describes a classifier of the model.

TypedProperty
Describes a model-property as defined in OCL 1.5.

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

ClassifierDescriptor
Describes a classifier 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.