org.eclipse.emf.ecore.util
Class EObjectValidator
java.lang.Object
org.eclipse.emf.ecore.util.EObjectValidator
- All Implemented Interfaces:
- EValidator
- Direct Known Subclasses:
- EcoreValidator, XMLNamespaceValidator, XMLTypeValidator
public class EObjectValidator
- extends java.lang.Object
- implements EValidator
A validity checker for basic EObject constraints.
Method Summary |
protected DiagnosticChain |
createBadDataValueDiagnostic(EObject eObject,
EAttribute eAttribute,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected ResourceLocator |
getEcoreResourceLocator()
|
protected EPackage |
getEPackage()
|
static java.lang.String |
getFeatureLabel(EStructuralFeature eStructuralFeature,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
static java.lang.String |
getObjectLabel(EObject eObject,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected EValidator |
getRootEValidator(java.util.Map<java.lang.Object,java.lang.Object> context)
|
static java.lang.String |
getValueLabel(EDataType eDataType,
java.lang.Object value,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportDataValuePatternViolation(EDataType eDataType,
java.lang.Object value,
EValidator.PatternMatcher[] patterns,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportDataValueTypeViolation(EDataType eDataType,
java.lang.Object value,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportEnumerationViolation(EDataType eDataType,
java.lang.Object value,
java.util.Collection<?> values,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportFractionDigitsViolation(EDataType eDataType,
java.lang.Object value,
int fractionDigits,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportMaxLengthViolation(EDataType eDataType,
java.lang.Object value,
int length,
int bound,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportMaxViolation(EDataType eDataType,
java.lang.Object value,
java.lang.Object bound,
boolean isInclusive,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportMinLengthViolation(EDataType eDataType,
java.lang.Object value,
int length,
int bound,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportMinViolation(EDataType eDataType,
java.lang.Object value,
java.lang.Object bound,
boolean isInclusive,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected void |
reportTotalDigitsViolation(EDataType eDataType,
java.lang.Object value,
int totalDigits,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected boolean |
validate_DataValueConforms(EObject eObject,
EAttribute eAttribute,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate_EveryDataValueConforms(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate_EveryDefaultConstraint(EObject object,
DiagnosticChain theDiagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate_EveryKeyUnique(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate_EveryMapEntryUnique(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate_EveryMultiplicityConforms(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate_EveryProxyResolves(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate_EveryReferenceIsContained(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected boolean |
validate_KeyUnique(EObject eObject,
EReference eReference,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected boolean |
validate_MapEntryUnique(EObject eObject,
EReference eReference,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected boolean |
validate_MultiplicityConforms(EObject eObject,
EStructuralFeature eStructuralFeature,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate_UniqueID(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate(EClass eClass,
EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate(EDataType eDataType,
java.lang.Object value,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validate(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the object in the given context, optionally producing diagnostics. |
protected boolean |
validate(int classifierID,
java.lang.Object object,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected boolean |
validatePattern(EDataType eDataType,
java.lang.Object value,
EValidator.PatternMatcher[][] patterns,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
protected static java.util.Collection<java.lang.Object> |
wrapEnumerationValues(java.lang.Object[] values)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INSTANCE
public static final EObjectValidator INSTANCE
DIAGNOSTIC_SOURCE
public static final java.lang.String DIAGNOSTIC_SOURCE
- See Also:
- Constant Field Values
EOBJECT__EVERY_MULTIPCITY_CONFORMS
public static final int EOBJECT__EVERY_MULTIPCITY_CONFORMS
- See Also:
- Constant Field Values
EOBJECT__EVERY_DATA_VALUE_CONFORMS
public static final int EOBJECT__EVERY_DATA_VALUE_CONFORMS
- See Also:
- Constant Field Values
EOBJECT__EVERY_REFERENCE_IS_CONTAINED
public static final int EOBJECT__EVERY_REFERENCE_IS_CONTAINED
- See Also:
- Constant Field Values
EOBJECT__EVERY_PROXY_RESOLVES
public static final int EOBJECT__EVERY_PROXY_RESOLVES
- See Also:
- Constant Field Values
DATA_VALUE__VALUE_IN_RANGE
public static final int DATA_VALUE__VALUE_IN_RANGE
- See Also:
- Constant Field Values
DATA_VALUE__LENGTH_IN_RANGE
public static final int DATA_VALUE__LENGTH_IN_RANGE
- See Also:
- Constant Field Values
DATA_VALUE__TYPE_CORRECT
public static final int DATA_VALUE__TYPE_CORRECT
- See Also:
- Constant Field Values
DATA_VALUE__VALUE_IN_ENUMERATION
public static final int DATA_VALUE__VALUE_IN_ENUMERATION
- See Also:
- Constant Field Values
DATA_VALUE__MATCHES_PATTERN
public static final int DATA_VALUE__MATCHES_PATTERN
- See Also:
- Constant Field Values
DATA_VALUE__TOTAL_DIGITS_IN_RANGE
public static final int DATA_VALUE__TOTAL_DIGITS_IN_RANGE
- See Also:
- Constant Field Values
DATA_VALUE__FRACTION_DIGITS_IN_RANGE
public static final int DATA_VALUE__FRACTION_DIGITS_IN_RANGE
- See Also:
- Constant Field Values
EOBJECT__UNIQUE_ID
public static final int EOBJECT__UNIQUE_ID
- See Also:
- Constant Field Values
EOBJECT__EVERY_KEY_UNIQUE
public static final int EOBJECT__EVERY_KEY_UNIQUE
- See Also:
- Constant Field Values
EOBJECT__EVERY_MAP_ENTRY_UNIQUE
public static final int EOBJECT__EVERY_MAP_ENTRY_UNIQUE
- See Also:
- Constant Field Values
EObjectValidator
public EObjectValidator()
getObjectLabel
public static java.lang.String getObjectLabel(EObject eObject,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Since:
- 2.1.0
getFeatureLabel
public static java.lang.String getFeatureLabel(EStructuralFeature eStructuralFeature,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Since:
- 2.1.0
getValueLabel
public static java.lang.String getValueLabel(EDataType eDataType,
java.lang.Object value,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Since:
- 2.1.0
getEPackage
protected EPackage getEPackage()
getRootEValidator
protected EValidator getRootEValidator(java.util.Map<java.lang.Object,java.lang.Object> context)
validate
public boolean validate(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Validates the object in the given context, optionally producing diagnostics.
- Specified by:
validate
in interface EValidator
- Parameters:
diagnostics
- a place to accumulate diagnostics; if it's null
, no diagnostics should be produced.context
- a place to cache information, if it's null
, no cache is supported.
- Returns:
- whether the object is valid.
validate
public boolean validate(EClass eClass,
EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Specified by:
validate
in interface EValidator
validate
protected boolean validate(int classifierID,
java.lang.Object object,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validate_EveryDefaultConstraint
public boolean validate_EveryDefaultConstraint(EObject object,
DiagnosticChain theDiagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validate_EveryMultiplicityConforms
public boolean validate_EveryMultiplicityConforms(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validate_MultiplicityConforms
protected boolean validate_MultiplicityConforms(EObject eObject,
EStructuralFeature eStructuralFeature,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validate_EveryProxyResolves
public boolean validate_EveryProxyResolves(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validate_EveryReferenceIsContained
public boolean validate_EveryReferenceIsContained(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validate_EveryDataValueConforms
public boolean validate_EveryDataValueConforms(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validate_DataValueConforms
protected boolean validate_DataValueConforms(EObject eObject,
EAttribute eAttribute,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
createBadDataValueDiagnostic
protected DiagnosticChain createBadDataValueDiagnostic(EObject eObject,
EAttribute eAttribute,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validatePattern
protected boolean validatePattern(EDataType eDataType,
java.lang.Object value,
EValidator.PatternMatcher[][] patterns,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
validate
public boolean validate(EDataType eDataType,
java.lang.Object value,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Specified by:
validate
in interface EValidator
reportMinViolation
protected void reportMinViolation(EDataType eDataType,
java.lang.Object value,
java.lang.Object bound,
boolean isInclusive,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
reportMaxViolation
protected void reportMaxViolation(EDataType eDataType,
java.lang.Object value,
java.lang.Object bound,
boolean isInclusive,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
reportMinLengthViolation
protected void reportMinLengthViolation(EDataType eDataType,
java.lang.Object value,
int length,
int bound,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
reportMaxLengthViolation
protected void reportMaxLengthViolation(EDataType eDataType,
java.lang.Object value,
int length,
int bound,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
reportTotalDigitsViolation
protected void reportTotalDigitsViolation(EDataType eDataType,
java.lang.Object value,
int totalDigits,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
reportFractionDigitsViolation
protected void reportFractionDigitsViolation(EDataType eDataType,
java.lang.Object value,
int fractionDigits,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
reportEnumerationViolation
protected void reportEnumerationViolation(EDataType eDataType,
java.lang.Object value,
java.util.Collection<?> values,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
reportDataValuePatternViolation
protected void reportDataValuePatternViolation(EDataType eDataType,
java.lang.Object value,
EValidator.PatternMatcher[] patterns,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
reportDataValueTypeViolation
protected void reportDataValueTypeViolation(EDataType eDataType,
java.lang.Object value,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
wrapEnumerationValues
protected static java.util.Collection<java.lang.Object> wrapEnumerationValues(java.lang.Object[] values)
validate_UniqueID
public boolean validate_UniqueID(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Since:
- 2.2
validate_EveryKeyUnique
public boolean validate_EveryKeyUnique(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Parameters:
eObject
- diagnostics
- context
-
- Returns:
- whether every key is unique.
- Since:
- 2.3
validate_KeyUnique
protected boolean validate_KeyUnique(EObject eObject,
EReference eReference,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Parameters:
eObject
- eReference
- diagnostics
- context
-
- Returns:
- whether every key is unique.
- Since:
- 2.3
validate_EveryMapEntryUnique
public boolean validate_EveryMapEntryUnique(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Parameters:
eObject
- diagnostics
- context
-
- Returns:
- whether every map entry is unique.
- Since:
- 2.3
validate_MapEntryUnique
protected boolean validate_MapEntryUnique(EObject eObject,
EReference eReference,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
- Parameters:
eObject
- eReference
- diagnostics
- context
-
- Returns:
- whether every map entry is unique.
- Since:
- 2.3
getEcoreResourceLocator
protected ResourceLocator getEcoreResourceLocator()
- Since:
- 2.2