Package org.eclipse.ocl.pivot.uml.internal.validation

Class Summary

Class	Description
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
UMLOCLEValidator	UMLOCLEValidator provides the validation support for UML elements that exploit OCL.
UMLOCLEValidator.ConstraintEvaluatorWithDiagnostics	ConstraintEvaluatorWithoutDiagnostics provides the richer ConstraintEvaluator support for use when diagnostics are required.
UMLOCLEValidator.ConstraintEvaluatorWithoutDiagnostics	ConstraintEvaluatorWithoutDiagnostics provides the minimal ConstraintEvaluator support for use when no diagnostics are required.
UMLProfileConstraintProvider	UMLProfileConstraintProvider supports loading of constraints from a UML Profile.
UMLTraversalStrategy	A UMLTraversalStrategy extends a standard recursive traversal to insert stereotype applications following each each stereotyped element.