org.eclipse.ocl.xtext.completeocl.validation

Class CompleteOCLEObjectValidator

java.lang.Object

org.eclipse.ocl.pivot.internal.validation.PivotEObjectValidator

org.eclipse.ocl.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.pivot.internal.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

Modifier and Type	Field and Description
protected EnvironmentFactoryInternal	environmentFactory
protected org.eclipse.emf.ecore.EPackage	ePackage
protected org.eclipse.emf.common.util.URI	oclURI

Fields inherited from class org.eclipse.ocl.pivot.internal.validation.PivotEObjectValidator

complementingModels

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

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors

Constructor and Description
CompleteOCLEObjectValidator(org.eclipse.emf.ecore.EPackage ePackage, org.eclipse.emf.common.util.URI oclURI, EnvironmentFactory environmentFactory) Construct a validator to apply the CompleteOCL invariants from oclURI to ePackage for the meta-models managed by metamodelManager.

Method Summary

Modifier and Type	Method and Description
protected org.eclipse.emf.ecore.EPackage	getEPackage()
PivotMetamodelManager	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.pivot.internal.validation.PivotEObjectValidator

getResourceSet, install, 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

environmentFactory

@NonNull
protected final EnvironmentFactoryInternal environmentFactory

ePackage

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

oclURI

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

Constructor Detail

CompleteOCLEObjectValidator

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

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

@NonNull
public PivotMetamodelManager 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