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

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

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator

public class CompleteOCLEObjectValidator
extends PivotEObjectValidator

A CompleteOCLEObjectValidator validates CompleteOCL invariants during an EMF validation, provided an CompleteOCLEObjectValidator instance has been registered as a validator in the EValidator.Registry. Loading of the Complete OCL occurs during @link{initialize()} which may be called explicitly or lazily during validation.

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

protected org.eclipse.emf.ecore.EPackage	ePackage
protected MetaModelManager	metaModelManager
protected org.eclipse.emf.common.util.URI	oclURI

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

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

CompleteOCLEObjectValidator(org.eclipse.emf.ecore.EPackage ePackage, org.eclipse.emf.common.util.URI oclURI)
Deprecated.

CompleteOCLEObjectValidator(org.eclipse.emf.ecore.EPackage ePackage, org.eclipse.emf.common.util.URI oclURI, MetaModelManager metaModelManager)
Construct a validator to apply the CompleteOCL invariants from oclURI to ePackage for the meta-models managed by metaModelManager.

Method Summary

protected org.eclipse.emf.ecore.EPackage	getEPackage()
MetaModelManager	getMetaModelManager()
boolean	initialize() Perform the loading and installation of the Complete OCL, returning true if successful.
protected boolean	validatePivot(org.eclipse.emf.ecore.EClassifier eClassifier, java.lang.Object object, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Perform the additional Pivot-defined validation.

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

getResourceSet, install, install, validate, validate, validate

Methods inherited from class java.lang.Object

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

Field Detail

metaModelManager

@NonNull
protected final MetaModelManager metaModelManager

ePackage

@NonNull
protected final org.eclipse.emf.ecore.EPackage ePackage

oclURI

@NonNull
protected final org.eclipse.emf.common.util.URI oclURI

Constructor Detail

CompleteOCLEObjectValidator

@Deprecated
public CompleteOCLEObjectValidator(@NonNull
                                              org.eclipse.emf.ecore.EPackage ePackage,
                                              @NonNull
                                              org.eclipse.emf.common.util.URI oclURI)

Deprecated.

Construct a validator to apply the CompleteOCL invariants from oclURI to ePackage.

CompleteOCLEObjectValidator

public CompleteOCLEObjectValidator(@NonNull
                                   org.eclipse.emf.ecore.EPackage ePackage,
                                   @NonNull
                                   org.eclipse.emf.common.util.URI oclURI,
                                   @Nullable
                                   MetaModelManager metaModelManager)

Construct a validator to apply the CompleteOCL invariants from oclURI to ePackage for the meta-models managed by metaModelManager.

Method Detail

getEPackage

protected org.eclipse.emf.ecore.EPackage getEPackage()

getMetaModelManager

public MetaModelManager getMetaModelManager()

initialize

public boolean initialize()

Perform the loading and installation of the Complete OCL, returning true if successful.

validatePivot

protected boolean validatePivot(@NonNull
                                org.eclipse.emf.ecore.EClassifier eClassifier,
                                @Nullable
                                java.lang.Object object,
                                @Nullable
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Description copied from class: PivotEObjectValidator

Perform the additional Pivot-defined validation.

Overrides:

validatePivot in class PivotEObjectValidator