org.eclipse.ocl.examples.pivot.delegate
Class OCLDelegateValidator
java.lang.Object
org.eclipse.emf.ecore.util.EObjectValidator
org.eclipse.ocl.examples.pivot.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 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 |
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 |
Method Summary |
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 |
eValidator
@Nullable
protected final org.eclipse.emf.ecore.util.EObjectValidator eValidator
OCLDelegateValidator
public OCLDelegateValidator(@Nullable
org.eclipse.emf.ecore.util.EObjectValidator eValidator)
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)