org.eclipse.ocl.pivot.internal.delegate

Class OCLDelegateValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.eclipse.ocl.pivot.internal.delegate.OCLDelegateValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator

Direct Known Subclasses:

OCLinEcoreEObjectValidator

public class OCLDelegateValidator
extends org.eclipse.emf.ecore.util.EObjectValidator

Perform the validation of delegated OCL constraints and invariants.

This class is largely a clone of EObjectValidator$DynamicEClassValidator

Nested Class Summary

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.util.EObjectValidator	eValidator

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, INSTANCE, ROOT_OBJECT

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

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors

Constructor and Description
OCLDelegateValidator(org.eclipse.emf.ecore.util.EObjectValidator eValidator)

Method Summary

Modifier and Type	Method and Description
protected static void	reportInvariantDelegateViolation(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, org.eclipse.emf.ecore.EOperation invariant, int severity, java.lang.String source, int code)
protected void	reportWrappedException(java.lang.Object object, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, int severity, java.lang.String source, int code, org.eclipse.emf.common.util.WrappedException wrappedException)
boolean	validate(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validate(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String validationDelegate, java.lang.String constraint, java.lang.String expression, int severity, java.lang.String source, int code)
boolean	validate(org.eclipse.emf.ecore.EDataType eDataType, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String validationDelegate, java.lang.String constraint, java.lang.String expression, int severity, java.lang.String source, int code)
protected boolean	validate(int classifierID, java.lang.Object object, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateDelegatedConstraint(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String validationDelegate, java.lang.String constraint, java.lang.String expression, int severity, java.lang.String source, int code)
boolean	validateDelegatedConstraint(org.eclipse.emf.ecore.EDataType eDataType, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String validationDelegate, java.lang.String constraint, java.lang.String expression, int severity, java.lang.String source, int code)
protected boolean	validateDelegatedConstraints(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateDelegatedInvariant(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context, java.lang.String validationDelegate, org.eclipse.emf.ecore.EOperation invariant, java.lang.String expression, int severity, java.lang.String source, int code)
protected boolean	validateDelegatedInvariants(org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

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

createBadDataValueDiagnostic, createDiagnostic, getEcoreResourceLocator, getEcoreString, getEPackage, getFeatureLabel, getObjectLabel, getResourceLocator, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, 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, validatePattern, wrapEnumerationValues

Methods inherited from class java.lang.Object

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

Field Detail

eValidator

@Nullable
protected final org.eclipse.emf.ecore.util.EObjectValidator eValidator

Constructor Detail

OCLDelegateValidator

public OCLDelegateValidator(@Nullable
                            org.eclipse.emf.ecore.util.EObjectValidator eValidator)

Method Detail

reportInvariantDelegateViolation

protected static void reportInvariantDelegateViolation(org.eclipse.emf.ecore.EClass eClass,
                                                       org.eclipse.emf.ecore.EObject eObject,
                                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                       java.util.Map<java.lang.Object,java.lang.Object> context,
                                                       org.eclipse.emf.ecore.EOperation invariant,
                                                       int severity,
                                                       java.lang.String source,
                                                       int code)

reportWrappedException

protected void reportWrappedException(@Nullable
                                      java.lang.Object object,
                                      @NonNull
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context,
                                      int severity,
                                      java.lang.String source,
                                      int code,
                                      @NonNull
                                      org.eclipse.emf.common.util.WrappedException wrappedException)

validate

protected boolean validate(int classifierID,
                           java.lang.Object object,
                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)

Overrides:

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

validate

public boolean validate(org.eclipse.emf.ecore.EClass eClass,
                        org.eclipse.emf.ecore.EObject eObject,
                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                        java.util.Map<java.lang.Object,java.lang.Object> context)

Specified by:

validate in interface org.eclipse.emf.ecore.EValidator

Overrides:

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

validate

public boolean validate(org.eclipse.emf.ecore.EClass eClass,
                        org.eclipse.emf.ecore.EObject eObject,
                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                        java.util.Map<java.lang.Object,java.lang.Object> context,
                        java.lang.String validationDelegate,
                        java.lang.String constraint,
                        java.lang.String expression,
                        int severity,
                        java.lang.String source,
                        int code)

Overrides:

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

validate

public boolean validate(org.eclipse.emf.ecore.EDataType eDataType,
                        java.lang.Object value,
                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                        java.util.Map<java.lang.Object,java.lang.Object> context,
                        java.lang.String validationDelegate,
                        java.lang.String constraint,
                        java.lang.String expression,
                        int severity,
                        java.lang.String source,
                        int code)

Overrides:

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

validateDelegatedConstraints

protected boolean validateDelegatedConstraints(@NonNull
                                               org.eclipse.emf.ecore.EClass eClass,
                                               @NonNull
                                               org.eclipse.emf.ecore.EObject eObject,
                                               @Nullable
                                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)

validateDelegatedConstraint

public boolean validateDelegatedConstraint(@NonNull
                                           org.eclipse.emf.ecore.EClass eClass,
                                           @NonNull
                                           org.eclipse.emf.ecore.EObject eObject,
                                           @Nullable
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context,
                                           @NonNull
                                           java.lang.String validationDelegate,
                                           @NonNull
                                           java.lang.String constraint,
                                           java.lang.String expression,
                                           int severity,
                                           java.lang.String source,
                                           int code)

validateDelegatedConstraint

public boolean validateDelegatedConstraint(@NonNull
                                           org.eclipse.emf.ecore.EDataType eDataType,
                                           @NonNull
                                           java.lang.Object value,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context,
                                           @NonNull
                                           java.lang.String validationDelegate,
                                           @NonNull
                                           java.lang.String constraint,
                                           java.lang.String expression,
                                           int severity,
                                           java.lang.String source,
                                           int code)

validateDelegatedInvariants

protected boolean validateDelegatedInvariants(@NonNull
                                              org.eclipse.emf.ecore.EClass eClass,
                                              @NonNull
                                              org.eclipse.emf.ecore.EObject eObject,
                                              @Nullable
                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)

validateDelegatedInvariant

public boolean validateDelegatedInvariant(@NonNull
                                          org.eclipse.emf.ecore.EClass eClass,
                                          @NonNull
                                          org.eclipse.emf.ecore.EObject eObject,
                                          @Nullable
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context,
                                          @NonNull
                                          java.lang.String validationDelegate,
                                          @NonNull
                                          org.eclipse.emf.ecore.EOperation invariant,
                                          @NonNull
                                          java.lang.String expression,
                                          int severity,
                                          java.lang.String source,
                                          int code)