Uses of Package
org.eclipse.ocl.examples.emf.validation.validity.manager

Packages that use org.eclipse.ocl.examples.emf.validation.validity.manager

org.eclipse.ocl.examples.emf.validation.validity.locator
org.eclipse.ocl.examples.emf.validation.validity.manager
org.eclipse.ocl.examples.emf.validation.validity.ui.providers
org.eclipse.ocl.examples.emf.validation.validity.ui.view
org.eclipse.ocl.examples.standalone.validity
org.eclipse.ocl.examples.validity.locator

Classes in org.eclipse.ocl.examples.emf.validation.validity.manager used by org.eclipse.ocl.examples.emf.validation.validity.locator

ConstrainingURI
A ConstrainingURI provides the unique identity of a Constraining Node, which is a meta-model node and which typically forms the basis of a distinct tree node in the RH pane of the Validity View.

TypeURI
A TypeURI provides the unique identity of a Type which is a unique concept for type checking but which may have multiple representations in the LH/RH panes of the Validity View.

ValidityManager

ValidityModel

Classes in org.eclipse.ocl.examples.emf.validation.validity.manager used by org.eclipse.ocl.examples.emf.validation.validity.manager

ConstrainingURI
A ConstrainingURI provides the unique identity of a Constraining Node, which is a meta-model node and which typically forms the basis of a distinct tree node in the RH pane of the Validity View.

TypeURI
A TypeURI provides the unique identity of a Type which is a unique concept for type checking but which may have multiple representations in the LH/RH panes of the Validity View.

ValidatableURI
A ValidatableURI provides the unique identity of a Validatable Node which is a model node and which typically forms the basis of a distinct tree node in the LH pane of the Validity View.

ValidityManager

ValidityModel

Classes in org.eclipse.ocl.examples.emf.validation.validity.manager used by org.eclipse.ocl.examples.emf.validation.validity.ui.providers

ValidityManager

Classes in org.eclipse.ocl.examples.emf.validation.validity.manager used by org.eclipse.ocl.examples.emf.validation.validity.ui.view

ValidityManager

ValidityModel

Classes in org.eclipse.ocl.examples.emf.validation.validity.manager used by org.eclipse.ocl.examples.standalone.validity

ValidityManager

ValidityModel

Classes in org.eclipse.ocl.examples.emf.validation.validity.manager used by org.eclipse.ocl.examples.validity.locator

ConstrainingURI
A ConstrainingURI provides the unique identity of a Constraining Node, which is a meta-model node and which typically forms the basis of a distinct tree node in the RH pane of the Validity View.

TypeURI
A TypeURI provides the unique identity of a Type which is a unique concept for type checking but which may have multiple representations in the LH/RH panes of the Validity View.

ValidityManager

ValidityModel