org.eclipse.ocl.examples.xtext.completeocl.validation
Class BasicCompleteOCLEObjectValidator

java.lang.Object
  org.eclipse.ocl.examples.pivot.validation.PivotEObjectValidator
      org.eclipse.ocl.examples.xtext.completeocl.validation.BasicCompleteOCLEObjectValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator

Deprecated.

@Deprecated
public class BasicCompleteOCLEObjectValidator
extends PivotEObjectValidator

A BasicCompleteOCLEObjectValidator validates CompleteOCL invariants during an EMF validation, for each EPackage for which a/the BasicCompleteOCLEObjectValidator instance has been registered as a validator in the EValidator.Registry.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.pivot.validation.PivotEObjectValidator

PivotEObjectValidator.ValidationAdapter

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator

org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate

Field Summary

Fields inherited from interface org.eclipse.emf.ecore.EValidator

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

BasicCompleteOCLEObjectValidator()
Deprecated.

Method Summary

Methods inherited from class org.eclipse.ocl.examples.pivot.validation.PivotEObjectValidator

getResourceSet, install, install, validate, validate, validate, validatePivot

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BasicCompleteOCLEObjectValidator

public BasicCompleteOCLEObjectValidator()

Deprecated.