Uses of Package
org.eclipse.ocl.examples.pivot.validation

Packages that use org.eclipse.ocl.examples.pivot.validation

org.eclipse.ocl.examples.pivot.uml
org.eclipse.ocl.examples.pivot.validation
org.eclipse.ocl.examples.xtext.completeocl.validation

Classes in org.eclipse.ocl.examples.pivot.validation used by org.eclipse.ocl.examples.pivot.uml

LoadableConstraintProvider
LoadableConstraintProvider supports loading of algorithmically derived constraints before a traversal of a particular nsURI starts.

Classes in org.eclipse.ocl.examples.pivot.validation used by org.eclipse.ocl.examples.pivot.validation

LoadableConstraintDescriptor
A LoadableConstraintDescriptor realizes both an IConstraintDescriptor and IModelConstraint to support a Constraint derived from loading some model source.

PathConstraintParser.PathConstraint

PivotEObjectValidator.ValidationAdapter
A ValidationAdapter is installed in the ResourceSet of applications that register for additional PIvot-defined constraints.

Classes in org.eclipse.ocl.examples.pivot.validation used by org.eclipse.ocl.examples.xtext.completeocl.validation

LoadableConstraintProvider
LoadableConstraintProvider supports loading of algorithmically derived constraints before a traversal of a particular nsURI starts.

PivotEObjectValidator
A PivotEObjectValidator augments EValidator.Registry.INSTANCE validation by validation of additional Pivot-defined invariants.