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

Class Summary
LoadableConstraintDescriptor<T> A LoadableConstraintDescriptor realizes both an IConstraintDescriptor and IModelConstraint to support a Constraint derived from loading some model source.
LoadableConstraintDescriptor.Ecore  
LoadableConstraintDescriptor.UML  
LoadableConstraintProvider LoadableConstraintProvider supports loading of algorithmically derived constraints before a traversal of a particular nsURI starts.
PathConstraintParser  
PathConstraintParser.PathConstraint  
PivotClientSelector  
PivotEObjectValidator A PivotEObjectValidator augments EValidator.Registry.INSTANCE validation by validation of additional Pivot-defined invariants.
PivotEObjectValidator.ValidationAdapter A ValidationAdapter is installed in the ResourceSet of applications that register for additional PIvot-defined constraints.