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

Class CompleteOCLEObjectValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

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 class org.eclipse.emf.ecore.util.EObjectValidator

org.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator

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 org.eclipse.emf.ecore.EPackage	ePackage
protected MetaModelManager	metaModelManager
protected org.eclipse.emf.common.util.URI	oclURI

Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator

DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, DIAGNOSTIC_SOURCE, EOBJECT__EVERY_BIDIRECTIONAL_REFERENCE_IS_PAIRED, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT

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) 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

Methods

Modifier and Type	Method and Description
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

Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator

createBadDataValueDiagnostic, createDiagnostic, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getResourceLocator, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, reportInvariantDelegateViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate_BidirectionalReferenceIsPaired, validate_DataValueConforms, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validate, validate, validate, validate, validate, validatePattern, wrapEnumerationValues

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()

Overrides:

getEPackage in class org.eclipse.emf.ecore.util.EObjectValidator

getMetaModelManager

public MetaModelManager getMetaModelManager()

initialize

public boolean initialize()

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

Returns:

validatePivot

protected boolean validatePivot(@NonNull
                    org.eclipse.emf.ecore.EClassifier eClassifier,
                    @NonNull
                    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