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

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

Package	Description
org.eclipse.ocl.pivot.internal.validation
org.eclipse.ocl.xtext.completeocl.validation

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

Class and Description
BasicEAnnotationValidator2 An abstact annotation validator exploits a genmodelled EAnnotation metamodel to build an EAnnotationValidator that exploits caches tp avoid repeated feature traversals.
Ecore_OCL_AnnotationValidator An annotation validator for http://www.eclipse.org/Ecore/OCL annotations.
Ecore_OCL_AnnotationValidator.Blank
Ecore_OCL_AnnotationValidator.Debug
Ecore_OCL_AnnotationValidator.Pivot
EcoreOCLEValidator EcoreOCLEValidator provides the validation support for Ecore elements that exploit OCL.
OCL_ASLibrary_AnnotationValidator An annotation validator for http://www.eclipse.org/OCL/ASLibrary annotations.
OCL_ASMetamodel_AnnotationValidator An annotation validator for http://www.eclipse.org/OCL/ASMetamodel annotations.
OCL_Collection_AnnotationValidator An annotation validator for http://www.eclipse.org/OCL/Collection annotations.
OCL_Import_AnnotationValidator An annotation validator for http://www.eclipse.org/OCL/Import annotations.
OCL_MetaAnnotation_AnnotationValidator An annotation validator for http://www.eclipse.org/OCL/Import annotations.
PivotEObjectValidator.ValidationAdapter A ValidationAdapter is installed in the ResourceSet of applications that register for additional PIvot-defined constraints.

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

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