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

Class Summary

Class	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.
MonitorStep	MonitorStep supervises the additional of a number of fractional increments to a Monitor, and the addition of the entire workload when done.
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