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

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

Package	Description
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.validity.locator

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

Class and Description
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.
ValidityManager
ValidityModel

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

Class and Description
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.
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

Class and Description
ValidityManager

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

Class and Description
ValidityManager

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

Class and Description
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.
ValidityManager
ValidityModel