Package | Description |
---|---|
org.eclipse.ocl.pivot.internal.validation | |
org.eclipse.ocl.xtext.completeocl.validation |
Class and Description |
---|
EcoreOCLEValidator
EcoreOCLEValidator provides the validation support for Ecore elements that exploit OCL.
|
PivotEObjectValidator.ValidationAdapter
A ValidationAdapter is installed in the ResourceSet of applications that register for additional
PIvot-defined constraints.
|
Class and Description |
---|
PivotEObjectValidator
A PivotEObjectValidator augments EValidator.Registry.INSTANCE validation by validation of
additional Pivot-defined invariants.
|