public class CompleteOCLEObjectValidator extends PivotEObjectValidator
PivotEObjectValidator.ValidationAdapter
org.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator
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
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.ecore.EPackage |
ePackage |
protected MetaModelManager |
metaModelManager |
protected org.eclipse.emf.common.util.URI |
oclURI |
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
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.
|
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.
|
getResourceSet, install, install, validate, validate
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
@NonNull protected final MetaModelManager metaModelManager
@NonNull protected final org.eclipse.emf.ecore.EPackage ePackage
@NonNull protected final org.eclipse.emf.common.util.URI oclURI
@Deprecated public CompleteOCLEObjectValidator(@NonNull org.eclipse.emf.ecore.EPackage ePackage, @NonNull org.eclipse.emf.common.util.URI oclURI)
public CompleteOCLEObjectValidator(@NonNull org.eclipse.emf.ecore.EPackage ePackage, @NonNull org.eclipse.emf.common.util.URI oclURI, @Nullable MetaModelManager metaModelManager)
protected org.eclipse.emf.ecore.EPackage getEPackage()
getEPackage
in class org.eclipse.emf.ecore.util.EObjectValidator
public MetaModelManager getMetaModelManager()
public boolean initialize()
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)
PivotEObjectValidator
validatePivot
in class PivotEObjectValidator