|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.emf.ecore.util.EObjectValidator org.eclipse.emf.ecore.util.EcoreValidator
public class EcoreValidator
The Validator for the model.
EcorePackage
Nested Class Summary | |
---|---|
static class |
EcoreValidator.EGenericTypeBuilder
A utility for parsing generic types and generic type parameters. |
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator |
---|
EObjectValidator.DynamicEDataTypeValidator |
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator |
---|
EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider |
Fields inherited from interface org.eclipse.emf.ecore.EValidator |
---|
MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE |
Constructor Summary | |
---|---|
EcoreValidator()
Creates an instance of the switch |
Method Summary | |
---|---|
static boolean |
equalTypeArguments(EGenericType eGenericType1,
EGenericType eGenericType2,
java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
|
static boolean |
equalTypeArguments(EList<EGenericType> eTypeArguments1,
EList<EGenericType> eTypeArguments2,
java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
|
protected EPackage |
getEPackage()
Returns the package of this validator switch |
ResourceLocator |
getResourceLocator()
Returns the resource locator that will be used to fetch messages for this validator's diagnostics |
static boolean |
isBounded(EGenericType eGenericType,
EGenericType eBound,
java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
Returns whether the first generic type is bounded by the second. |
protected boolean |
isBuiltinEDataType(EDataType eDataType)
|
static boolean |
isMatching(EGenericType eGenericType,
EGenericType eBound,
java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
|
protected boolean |
isValidSubstitution(EGenericType eTypeArgument,
ETypeParameter eTypeParameter,
java.util.Map<ETypeParameter,EGenericType> substitutions)
Returns whether the generic type argument is a valid substitution for the type parameter. |
protected static boolean |
isWellFormedURI(java.lang.String uri)
A well formed URI string must have a non-zero length, and must encode any special characters such as the space character. |
static boolean |
matchingTypeArguments(EList<EGenericType> eTypeArguments1,
EList<EGenericType> eTypeArguments2,
java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
|
protected void |
report(DiagnosticChain diagnostics,
java.lang.String key,
java.lang.Object[] substitutions,
int index,
java.util.Map<java.lang.Object,java.lang.Object> context)
Creates a new diagnostic for a problem at the given index. |
protected boolean |
validate(int classifierID,
java.lang.Object value,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Calls validateXXX for the corresponding classifier of the model |
boolean |
validateEAnnotation_WellFormedSourceURI(EAnnotation eAnnotation,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedSourceURI constraint of 'EAnnotation' |
boolean |
validateEAnnotation(EAnnotation eAnnotation,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEAttribute_ConsistentTransient(EAttribute eAttribute,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ConsistentTransient constraint of 'EAttribute' |
boolean |
validateEAttribute(EAttribute eAttribute,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEBigDecimal(java.math.BigDecimal eBigDecimal,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEBigInteger(java.math.BigInteger eBigInteger,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEBoolean(boolean eBoolean,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEBooleanObject(java.lang.Boolean eBooleanObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEByte(byte eByte,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEByteArray(byte[] eByteArray,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEByteObject(java.lang.Byte eByteObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEChar(char eChar,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateECharacterObject(java.lang.Character eCharacterObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEClass_AtMostOneID(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the AtMostOneID constraint of 'EClass' |
boolean |
validateEClass_ConsistentSuperTypes(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ConsistentSuperTypes constraint of 'EClass' |
boolean |
validateEClass_DisjointFeatureAndOperationSignatures(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the DisjointFeatureAndOperationSignatures constraint of 'EClass' |
boolean |
validateEClass_InterfaceIsAbstract(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the InterfaceIsAbstract constraint of 'EClass' |
boolean |
validateEClass_NoCircularSuperTypes(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the NoCircularSuperTypes constraint of 'EClass' |
boolean |
validateEClass_UniqueFeatureNames(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueFeatureNames constraint of 'EClass' |
boolean |
validateEClass_UniqueOperationSignatures(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueOperationSignatures constraint of 'EClass' |
boolean |
validateEClass_WellFormedMapEntryClass(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedMapEntryClass constraint of 'EClass' |
boolean |
validateEClass(EClass eClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEClassifier_UniqueTypeParameterNames(EClassifier eClassifier,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueTypeParameterNames constraint of 'EClassifier' |
boolean |
validateEClassifier_WellFormedInstanceTypeName(EClassifier eClassifier,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'EClassifier' |
boolean |
validateEClassifier(EClassifier eClassifier,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEDataType(EDataType eDataType,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEDate(java.util.Date eDate,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEDiagnosticChain(DiagnosticChain eDiagnosticChain,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEDouble(double eDouble,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEDoubleObject(java.lang.Double eDoubleObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEEList(EList<?> eeList,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEEnum_UniqueEnumeratorLiterals(EEnum eEnum,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueEnumeratorLiterals constraint of 'EEnum' |
boolean |
validateEEnum_UniqueEnumeratorNames(EEnum eEnum,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueEnumeratorNames constraint of 'EEnum' |
boolean |
validateEEnum(EEnum eEnum,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEEnumerator(Enumerator eEnumerator,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEEnumLiteral(EEnumLiteral eEnumLiteral,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEFactory(EFactory eFactory,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEFeatureMap(FeatureMap eFeatureMap,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEFeatureMapEntry(FeatureMap.Entry eFeatureMapEntry,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEFloat(float eFloat,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEFloatObject(java.lang.Float eFloatObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEGenericType_ConsistentArguments(EGenericType eGenericType,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ConsistentArguments constraint of 'EGeneric Type' |
boolean |
validateEGenericType_ConsistentBounds(EGenericType eGenericType,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ConsistentBounds constraint of 'EGeneric Type' |
boolean |
validateEGenericType_ConsistentType(EGenericType eGenericType,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ConsistentType constraint of 'EGeneric Type' |
boolean |
validateEGenericType(EGenericType eGenericType,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEInt(int eInt,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEIntegerObject(java.lang.Integer eIntegerObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEJavaClass(java.lang.Class<?> eJavaClass,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEJavaObject(java.lang.Object eJavaObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateELong(long eLong,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateELongObject(java.lang.Long eLongObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEMap(java.util.Map<?,?> eMap,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEModelElement(EModelElement eModelElement,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateENamedElement_WellFormedName(ENamedElement eNamedElement,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'ENamed Element' |
boolean |
validateENamedElement(ENamedElement eNamedElement,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEObject(EObject eObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEOperation_NoRepeatingVoid(EOperation eOperation,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the NoRepeatingVoid constraint of 'EOperation' |
boolean |
validateEOperation_UniqueParameterNames(EOperation eOperation,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueParameterNames constraint of 'EOperation' |
boolean |
validateEOperation_UniqueTypeParameterNames(EOperation eOperation,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueTypeParameterNames constraint of 'EOperation' |
boolean |
validateEOperation(EOperation eOperation,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEPackage_UniqueClassifierNames(EPackage ePackage,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueClassifierNames constraint of 'EPackage' |
boolean |
validateEPackage_UniqueNsURIs(EPackage ePackage,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueNsURIs constraint of 'EPackage' |
boolean |
validateEPackage_UniqueSubpackageNames(EPackage ePackage,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the UniqueSubpackageNames constraint of 'EPackage' |
boolean |
validateEPackage_WellFormedNsPrefix(EPackage ePackage,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedNsPrefix constraint of 'EPackage' |
boolean |
validateEPackage_WellFormedNsURI(EPackage ePackage,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedNsURI constraint of 'EPackage' |
boolean |
validateEPackage(EPackage ePackage,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEParameter(EParameter eParameter,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEReference_ConsistentKeys(EReference eReference,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ConsistentKeys constraint of 'EReference' |
boolean |
validateEReference_ConsistentOpposite(EReference eReference,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ConsistentOpposite constraint of 'EReference' |
boolean |
validateEReference_SingleContainer(EReference eReference,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the SingleContainer constraint of 'EReference' |
boolean |
validateEReference(EReference eReference,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEResource(Resource eResource,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEResourceSet(ResourceSet eResourceSet,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEShort(short eShort,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEShortObject(java.lang.Short eShortObject,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEString(java.lang.String eString,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEStringToStringMapEntry(java.util.Map.Entry<?,?> eStringToStringMapEntry,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateEStructuralFeature_ValidDefaultValueLiteral(EStructuralFeature eStructuralFeature,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ValidDefaultValueLiteral constraint of 'EStructural Feature' |
boolean |
validateEStructuralFeature(EStructuralFeature eStructuralFeature,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateETreeIterator(TreeIterator<?> eTreeIterator,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateETypedElement_ConsistentBounds(ETypedElement eTypedElement,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ConsistentBounds constraint of 'ETyped Element' |
boolean |
validateETypedElement_ValidLowerBound(ETypedElement eTypedElement,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ValidLowerBound constraint of 'ETyped Element' |
boolean |
validateETypedElement_ValidType(ETypedElement eTypedElement,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ValidType constraint of 'ETyped Element' |
boolean |
validateETypedElement_ValidUpperBound(ETypedElement eTypedElement,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the ValidUpperBound constraint of 'ETyped Element' |
boolean |
validateETypedElement(ETypedElement eTypedElement,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateETypeParameter(ETypeParameter eTypeParameter,
DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final EcoreValidator INSTANCE
public static final java.lang.String STRICT_NAMED_ELEMENT_NAMES
context
maps to indicate that stricter validation should be performed
to ensure that the name of each named element is a well formed Java identifier.
The value of the entry must be a Boolean
.
The default value is Boolean.TRUE
.
EValidator.validate(EObject, DiagnosticChain, Map)
,
validateENamedElement_WellFormedName(ENamedElement, DiagnosticChain, Map)
,
Constant Field Valuespublic static final java.lang.String DIAGNOSTIC_SOURCE
source
of diagnostic codes
from this package.
Diagnostic.getSource()
,
Diagnostic.getCode()
,
Constant Field Valuespublic static final int AT_MOST_ONE_ID
validateEClass_AtMostOneID(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_ARGUMENTS_INCORRECT_NUMBER
validateEGenericType_ConsistentArguments(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_ARGUMENTS_INVALID_SUBSTITUTION
validateEGenericType_ConsistentArguments(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_ARGUMENTS_NONE
validateEGenericType_ConsistentArguments(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_ARGUMENTS_NONE_ALLOWED
validateEGenericType_ConsistentArguments(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_BOUNDS
validateETypedElement_ConsistentBounds(ETypedElement, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_BOUNDS_NOT_ALLOWED
validateEGenericType_ConsistentBounds(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_BOUNDS_NO_BOUNDS_WITH_TYPE_PARAMETER_OR_CLASSIFIER
validateEGenericType_ConsistentBounds(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_BOUNDS_NO_LOWER_AND_UPPER
validateEGenericType_ConsistentBounds(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_KEYS
validateEReference_ConsistentKeys(EReference, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_OPPOSITE_BAD_TRANSIENT
validateEReference_ConsistentOpposite(EReference, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_OPPOSITE_BOTH_CONTAINMENT
validateEReference_ConsistentOpposite(EReference, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_OPPOSITE_NOT_FROM_TYPE
validateEReference_ConsistentOpposite(EReference, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_OPPOSITE_NOT_MATCHING
validateEReference_ConsistentOpposite(EReference, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_SUPER_TYPES_CONFLICT
validateEClass_ConsistentSuperTypes(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_SUPER_TYPES_DUPLICATE
validateEClass_ConsistentSuperTypes(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_TRANSIENT
validateEAttribute_ConsistentTransient(EAttribute, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_TYPE_CLASS_REQUIRED
validateEGenericType_ConsistentType(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_TYPE_CLASS_NOT_PERMITTED
validateEGenericType_ConsistentType(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_TYPE_DATA_TYPE_NOT_PERMITTED
validateEGenericType_ConsistentType(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_TYPE_NO_TYPE_PARAMETER_AND_CLASSIFIER
validateEGenericType_ConsistentType(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_TYPE_PRIMITIVE_TYPE_NOT_PERMITTED
validateEGenericType_ConsistentType(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_TYPE_TYPE_PARAMETER_NOT_IN_SCOPE
validateEGenericType_ConsistentType(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int CONSISTENT_TYPE_WILDCARD_NOT_PERMITTED
validateEGenericType_ConsistentType(EGenericType, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int INTERFACE_IS_ABSTRACT
validateEClass_InterfaceIsAbstract(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int NO_CIRCULAR_SUPER_TYPES
validateEClass_NoCircularSuperTypes(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int NO_REPEATING_VOID
validateEOperation_NoRepeatingVoid(EOperation, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int SINGLE_CONTAINER
validateEReference_SingleContainer(EReference, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_CLASSIFIER_NAMES
validateEPackage_UniqueClassifierNames(EPackage, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_ENUMERATOR_LITERALS
validateEEnum_UniqueEnumeratorNames(EEnum, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_ENUMERATOR_NAMES
validateEEnum_UniqueEnumeratorNames(EEnum, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_FEATURE_NAMES
validateEClass_UniqueFeatureNames(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_NS_URIS
validateEPackage_UniqueNsURIs(EPackage, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_OPERATION_SIGNATURES
validateEClass_UniqueOperationSignatures(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_PARAMETER_NAMES
validateEOperation_UniqueParameterNames(EOperation, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_SUBPACKAGE_NAMES
validateEPackage_UniqueSubpackageNames(EPackage, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int UNIQUE_TYPE_PARAMETER_NAMES
validateEOperation_UniqueParameterNames(EOperation, DiagnosticChain, Map)
,
validateEClassifier_UniqueTypeParameterNames(EClassifier, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int VALID_DEFAULT_VALUE_LITERAL
validateEStructuralFeature_ValidDefaultValueLiteral(EStructuralFeature, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int VALID_LOWER_BOUND
validateETypedElement_ValidLowerBound(ETypedElement, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int VALID_TYPE
validateETypedElement_ValidType(ETypedElement, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int VALID_UPPER_BOUND
validateETypedElement_ValidUpperBound(ETypedElement, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int WELL_FORMED_INSTANCE_TYPE_NAME
validateEClassifier_WellFormedInstanceTypeName(EClassifier, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int WELL_FORMED_MAP_ENTRY_CLASS
validateEClass_WellFormedMapEntryClass(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int WELL_FORMED_NAME
validateEClass_WellFormedMapEntryClass(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int WELL_FORMED_NS_PREFIX
validateEPackage_WellFormedNsPrefix(EPackage, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int WELL_FORMED_NS_URI
validateEPackage_WellFormedNsURI(EPackage, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int WELL_FORMED_SOURCE_URI
validateEAnnotation_WellFormedSourceURI(EAnnotation, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int DISJOINT_FEATURE_AND_OPERATION_SIGNATURES
validateEClass_DisjointFeatureAndOperationSignatures(EClass, DiagnosticChain, Map)
,
Constant Field Valuespublic static final int WELL_FORMED_MAP_ENTRY_NO_INSTANCE_CLASS_NAME
validateEClass_WellFormedMapEntryClass(EClass, DiagnosticChain, Map)
,
Constant Field Valuesprotected static final int DIAGNOSTIC_CODE_COUNT
protected XMLTypeValidator xmlTypeValidator
Constructor Detail |
---|
public EcoreValidator()
Method Detail |
---|
protected EPackage getEPackage()
getEPackage
in class EObjectValidator
protected boolean validate(int classifierID, java.lang.Object value, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
validateXXX
for the corresponding classifier of the model.
validate
in class EObjectValidator
public boolean validateEAttribute(EAttribute eAttribute, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEAttribute_ConsistentTransient(EAttribute eAttribute, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEAnnotation(EAnnotation eAnnotation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEAnnotation_WellFormedSourceURI(EAnnotation eAnnotation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
null
or well formed
.
protected static boolean isWellFormedURI(java.lang.String uri)
URI
,
ignoring the properly encoded characters,
and converting that to a string
,
must yield this URI string itself.
uri
- the URI string in question.
public boolean validateEClass(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClass_InterfaceIsAbstract(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClass_AtMostOneID(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClass_UniqueFeatureNames(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClass_UniqueOperationSignatures(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClass_NoCircularSuperTypes(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClass_WellFormedMapEntryClass(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClass_ConsistentSuperTypes(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClass_DisjointFeatureAndOperationSignatures(EClass eClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
validateEClass_UniqueOperationSignatures(EClass, DiagnosticChain, Map)
applies.
public boolean validateEClassifier(EClassifier eClassifier, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEClassifier_WellFormedInstanceTypeName(EClassifier eClassifier, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
well formed
when not null.
public boolean validateEClassifier_UniqueTypeParameterNames(EClassifier eClassifier, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEDataType(EDataType eDataType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEEnum(EEnum eEnum, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEEnum_UniqueEnumeratorNames(EEnum eEnum, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEEnum_UniqueEnumeratorLiterals(EEnum eEnum, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEEnumLiteral(EEnumLiteral eEnumLiteral, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEFactory(EFactory eFactory, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEModelElement(EModelElement eModelElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateENamedElement(ENamedElement eNamedElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateENamedElement_WellFormedName(ENamedElement eNamedElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Java identifier start character
,
that is followed by zero or more Java identifier part characters
.
This constraint is only enforced in a STRICT_NAMED_ELEMENT_NAMES
context.
public boolean validateEObject(EObject eObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEOperation(EOperation eOperation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEOperation_UniqueParameterNames(EOperation eOperation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEOperation_UniqueTypeParameterNames(EOperation eOperation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEOperation_NoRepeatingVoid(EOperation eOperation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEPackage(EPackage ePackage, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEPackage_WellFormedNsURI(EPackage ePackage, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
well formed
and may not be null
.
public boolean validateEPackage_WellFormedNsPrefix(EPackage ePackage, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
null
or a valid NCName
that does not start with the any case combination of the three letters
"xml".
public boolean validateEPackage_UniqueSubpackageNames(EPackage ePackage, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEPackage_UniqueClassifierNames(EPackage ePackage, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEPackage_UniqueNsURIs(EPackage ePackage, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEParameter(EParameter eParameter, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEReference(EReference eReference, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEReference_ConsistentOpposite(EReference eReference, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
opposite
is optional but if one exists,
it must be a feature of this references's type
,
it must have this reference as its opposite,
and, if this feature is transient
,
then the opposite must also be transient,
must not resolve proxies
.
or must be a containment
,
public boolean validateEReference_SingleContainer(EReference eReference, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
container
reference must have a upper bound of 1.
public boolean validateEReference_ConsistentKeys(EReference eReference, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
keys
of a reference must be features of the reference's ETypedElement.getEType()
.
public boolean validateEStructuralFeature(EStructuralFeature eStructuralFeature, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEStructuralFeature_ValidDefaultValueLiteral(EStructuralFeature eStructuralFeature, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
protected boolean isBuiltinEDataType(EDataType eDataType)
public boolean validateETypedElement(ETypedElement eTypedElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateETypedElement_ValidLowerBound(ETypedElement eTypedElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
lower bound
must be greater or equal to 0
public boolean validateETypedElement_ValidUpperBound(ETypedElement eTypedElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
upper bound
must be either
ETypedElement.UNBOUNDED_MULTIPLICITY
,
ETypedElement.UNSPECIFIED_MULTIPLICITY
,
or greater than 0.
public boolean validateETypedElement_ConsistentBounds(ETypedElement eTypedElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
lower bound
must be less than or equal to the upper bound
,
unless the upper bound is one of the two special values
ETypedElement.UNBOUNDED_MULTIPLICITY
or ETypedElement.UNSPECIFIED_MULTIPLICITY
.
public boolean validateETypedElement_ValidType(ETypedElement eTypedElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
type
may be null
only if this in an operation
.
public boolean validateEStringToStringMapEntry(java.util.Map.Entry<?,?> eStringToStringMapEntry, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEGenericType(EGenericType eGenericType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEGenericType_ConsistentType(EGenericType eGenericType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
classifier
and a type parameter
.
The referenced type parameter must be in scope, i.e.,
its EObject.eContainer()
must be an EcoreUtil.isAncestor(EObject, EObject)
of this generic type.
A generic type used as a generic super type
must have a classifier that refers to a class
.
A generic type used as a type argument
of a generic type used as a generic super type
must specify either a classifier or a type parameter, i.e., it can't be a wildcard.
A generic type may omit both the classifier and the type argument to act as a wildcard
only when used as a type argument of some generic type,
with the above exception.
If present, the classifier of generic type used as the type
of an attribute
must be a data type
.
If present, the classifier of generic type used as the type of a reference
must be a class.
public boolean validateEGenericType_ConsistentBounds(EGenericType eGenericType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
type argument
.
A generic type may not have both a lower
and an upper bound
.
A generic type may not have bounds
as well as a classifier
or a type parameter
.
public boolean validateEGenericType_ConsistentArguments(EGenericType eGenericType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
type arguments
only if it has a classifier
that specifies EClassifier.getETypeParameters()
;
the number of type arguments must match the number of type parameters.
It is only a warning for there to be no arguments when there are parameters, but any other mismatch is an error.
protected boolean isValidSubstitution(EGenericType eTypeArgument, ETypeParameter eTypeParameter, java.util.Map<ETypeParameter,EGenericType> substitutions)
bounded
by
every bound
of the type parameter.
It follows that for a type parameter without bounds, every type argument is a valid substitution.
eTypeArgument
- the generic type argument to consider.eTypeParameter
- the type parameter in question.
public static boolean isBounded(EGenericType eGenericType, EGenericType eBound, java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
match
.
A classifier is bounded by another classifier,
if they are the same classifier,
if both are classes and the first is a EClass.isSuperTypeOf(EClass)
the second,
or if both have an non-null instance class
for which the first is assignable from
the second,
or, failing all these, if they have non-null EClassifier.getInstanceTypeName()
that are equal.
If the bound references a classifier, and the generic type argument references a type parameter,
one of the bounds
of that type parameter must be bounded by bound.
If the bound has a lower bound
,
the generic type argument must be bounded by that lower bound.
If the bound has an upper bound
,
the generic type argument must be bounded by that upper bound.
If the bound references a type parameter,
the generic type argument must be bounded by every bound of that type parameter.
If the bound has a lower bound,
the generic type argument must be bounded by it.
If the bound has an upper bound,
the generic type argument must be bound that upper bound.
Failing all these cases, the bound is a wildcard with no constraint, and the type argument is bounded.
eGenericType
- the generic type in question.eBound
- the bound it's being assessed against.substitutions
- the map of substitutions that are in effect.
public static boolean matchingTypeArguments(EList<EGenericType> eTypeArguments1, EList<EGenericType> eTypeArguments2, java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
public static boolean isMatching(EGenericType eGenericType, EGenericType eBound, java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
public static boolean equalTypeArguments(EList<EGenericType> eTypeArguments1, EList<EGenericType> eTypeArguments2, java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
public static boolean equalTypeArguments(EGenericType eGenericType1, EGenericType eGenericType2, java.util.Map<? extends ETypeParameter,? extends EGenericType> substitutions)
public boolean validateETypeParameter(ETypeParameter eTypeParameter, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEBigDecimal(java.math.BigDecimal eBigDecimal, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEBigInteger(java.math.BigInteger eBigInteger, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEBoolean(boolean eBoolean, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEBooleanObject(java.lang.Boolean eBooleanObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEByte(byte eByte, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEByteArray(byte[] eByteArray, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEByteObject(java.lang.Byte eByteObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEChar(char eChar, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateECharacterObject(java.lang.Character eCharacterObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEDate(java.util.Date eDate, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEDiagnosticChain(DiagnosticChain eDiagnosticChain, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEDouble(double eDouble, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEDoubleObject(java.lang.Double eDoubleObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEEList(EList<?> eeList, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEEnumerator(Enumerator eEnumerator, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEFeatureMap(FeatureMap eFeatureMap, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEFeatureMapEntry(FeatureMap.Entry eFeatureMapEntry, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEFloat(float eFloat, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEFloatObject(java.lang.Float eFloatObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEInt(int eInt, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEIntegerObject(java.lang.Integer eIntegerObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEJavaClass(java.lang.Class<?> eJavaClass, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEJavaObject(java.lang.Object eJavaObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateELong(long eLong, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateELongObject(java.lang.Long eLongObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEMap(java.util.Map<?,?> eMap, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEResource(Resource eResource, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEResourceSet(ResourceSet eResourceSet, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEShort(short eShort, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEShortObject(java.lang.Short eShortObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEString(java.lang.String eString, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateETreeIterator(TreeIterator<?> eTreeIterator, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public ResourceLocator getResourceLocator()
getResourceLocator
in class EObjectValidator
protected void report(DiagnosticChain diagnostics, java.lang.String key, java.lang.Object[] substitutions, int index, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- the target for the new diagnostic.key
- the key for the message.substitutions
- the substitutions for the key; null
if there are no substitutions.index
- the index at which the problem occurred.EcoreValidator.EGenericTypeBuilder.report(DiagnosticChain, String, Object[], int)
|
Copyright 2001-2006 IBM Corporation and others. All Rights Reserved. |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |