public class TypesValidator
extends org.eclipse.emf.ecore.util.EObjectValidator
TypesPackage
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 |
---|---|
static int |
BAG_TYPE__COLLECTION_TYPE_NAME
The
code for constraint 'Check Collection Type Name' of 'Bag Type'. |
static int |
COLLECTION_TYPE__COLLECTION_TYPE_NAME
The
code for constraint 'Check Collection Type Name' of 'Collection Type'. |
static int |
COLLECTION_TYPE__NO_INVALID_VALUES
The
code for constraint 'Check No Invalid Values' of 'Collection Type'. |
protected static int |
DIAGNOSTIC_CODE_COUNT
A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
|
static java.lang.String |
DIAGNOSTIC_SOURCE
A constant for the
source of diagnostic codes from this package. |
static TypesValidator |
INSTANCE
The cached model package
|
static int |
MESSAGE_TYPE__EXCLUSIVE_SIGNATURE
The
code for constraint 'Check Exclusive Signature' of 'Message Type'. |
static int |
MESSAGE_TYPE__OPERATION_PARAMETERS
The
code for constraint 'Check Operation Parameters' of 'Message Type'. |
static int |
MESSAGE_TYPE__SIGNAL_ATTRIBUTES
The
code for constraint 'Check Signal Attributes' of 'Message Type'. |
static int |
ORDERED_SET_TYPE__COLLECTION_TYPE_NAME
The
code for constraint 'Check Collection Type Name' of 'Ordered Set Type'. |
static int |
SEQUENCE_TYPE__COLLECTION_TYPE_NAME
The
code for constraint 'Check Collection Type Name' of 'Sequence Type'. |
static int |
SET_TYPE__COLLECTION_TYPE_NAME
The
code for constraint 'Check Collection Type Name' of 'Set Type'. |
static int |
TUPLE_TYPE__FEATURES_ONLY_PROPERTIES
The
code for constraint 'Check Features Only Properties' of 'Tuple Type'. |
static int |
TUPLE_TYPE__PART_NAMES_UNIQUE
The
code for constraint 'Check Part Names Unique' of 'Tuple Type'. |
static int |
TUPLE_TYPE__TUPLE_TYPE_NAME
The
code for constraint 'Check Tuple Type Name' of 'Tuple Type'. |
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, 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 |
---|
TypesValidator()
Creates an instance of the switch.
|
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.emf.ecore.EPackage |
getEPackage()
Returns the package of this validator switch.
|
org.eclipse.emf.common.util.ResourceLocator |
getResourceLocator()
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
|
protected boolean |
validate(int classifierID,
java.lang.Object value,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Calls
validateXXX for the corresponding classifier of the model. |
boolean |
validateAnyType(AnyType<?> anyType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateBagType_checkCollectionTypeName(BagType<?,?> bagType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkCollectionTypeName constraint of 'Bag Type'.
|
boolean |
validateBagType(BagType<?,?> bagType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCollectionType_checkCollectionTypeName(CollectionType<?,?> collectionType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkCollectionTypeName constraint of 'Collection Type'.
|
boolean |
validateCollectionType_checkNoInvalidValues(CollectionType<?,?> collectionType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkNoInvalidValues constraint of 'Collection Type'.
|
boolean |
validateCollectionType(CollectionType<?,?> collectionType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateElementType(ElementType elementType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateInvalidType(InvalidType<?> invalidType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateMessageType_checkExclusiveSignature(MessageType<?,?,?> messageType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkExclusiveSignature constraint of 'Message Type'.
|
boolean |
validateMessageType_checkOperationParameters(MessageType<?,?,?> messageType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkOperationParameters constraint of 'Message Type'.
|
boolean |
validateMessageType_checkSignalAttributes(MessageType<?,?,?> messageType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSignalAttributes constraint of 'Message Type'.
|
boolean |
validateMessageType(MessageType<?,?,?> messageType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateOrderedSetType_checkCollectionTypeName(OrderedSetType<?,?> orderedSetType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkCollectionTypeName constraint of 'Ordered Set Type'.
|
boolean |
validateOrderedSetType(OrderedSetType<?,?> orderedSetType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePrimitiveType(PrimitiveType<?> primitiveType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateSequenceType_checkCollectionTypeName(SequenceType<?,?> sequenceType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkCollectionTypeName constraint of 'Sequence Type'.
|
boolean |
validateSequenceType(SequenceType<?,?> sequenceType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateSetType_checkCollectionTypeName(SetType<?,?> setType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkCollectionTypeName constraint of 'Set Type'.
|
boolean |
validateSetType(SetType<?,?> setType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTemplateParameterType(TemplateParameterType<?> templateParameterType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTupleType_checkFeaturesOnlyProperties(TupleType<?,?> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkFeaturesOnlyProperties constraint of 'Tuple Type'.
|
boolean |
validateTupleType_checkPartNamesUnique(TupleType<?,?> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkPartNamesUnique constraint of 'Tuple Type'.
|
boolean |
validateTupleType_checkTupleTypeName(TupleType<?,?> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkTupleTypeName constraint of 'Tuple Type'.
|
boolean |
validateTupleType(TupleType<?,?> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTypeType(TypeType<?,?> typeType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateVoidType(VoidType<?> voidType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
createBadDataValueDiagnostic, createDiagnostic, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, 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, validate, validatePattern, wrapEnumerationValues
public static final TypesValidator INSTANCE
public static final java.lang.String DIAGNOSTIC_SOURCE
source
of diagnostic codes
from this package.
Diagnostic.getSource()
,
Diagnostic.getCode()
,
Constant Field Valuespublic static final int BAG_TYPE__COLLECTION_TYPE_NAME
code
for constraint 'Check Collection Type Name' of 'Bag Type'.
public static final int COLLECTION_TYPE__COLLECTION_TYPE_NAME
code
for constraint 'Check Collection Type Name' of 'Collection Type'.
public static final int COLLECTION_TYPE__NO_INVALID_VALUES
code
for constraint 'Check No Invalid Values' of 'Collection Type'.
public static final int MESSAGE_TYPE__EXCLUSIVE_SIGNATURE
code
for constraint 'Check Exclusive Signature' of 'Message Type'.
public static final int MESSAGE_TYPE__OPERATION_PARAMETERS
code
for constraint 'Check Operation Parameters' of 'Message Type'.
public static final int MESSAGE_TYPE__SIGNAL_ATTRIBUTES
code
for constraint 'Check Signal Attributes' of 'Message Type'.
public static final int ORDERED_SET_TYPE__COLLECTION_TYPE_NAME
code
for constraint 'Check Collection Type Name' of 'Ordered Set Type'.
public static final int SEQUENCE_TYPE__COLLECTION_TYPE_NAME
code
for constraint 'Check Collection Type Name' of 'Sequence Type'.
public static final int SET_TYPE__COLLECTION_TYPE_NAME
code
for constraint 'Check Collection Type Name' of 'Set Type'.
public static final int TUPLE_TYPE__TUPLE_TYPE_NAME
code
for constraint 'Check Tuple Type Name' of 'Tuple Type'.
public static final int TUPLE_TYPE__PART_NAMES_UNIQUE
code
for constraint 'Check Part Names Unique' of 'Tuple Type'.
public static final int TUPLE_TYPE__FEATURES_ONLY_PROPERTIES
code
for constraint 'Check Features Only Properties' of 'Tuple Type'.
protected static final int DIAGNOSTIC_CODE_COUNT
public TypesValidator()
protected org.eclipse.emf.ecore.EPackage getEPackage()
getEPackage
in class org.eclipse.emf.ecore.util.EObjectValidator
protected boolean validate(int classifierID, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
validateXXX
for the corresponding classifier of the model.
validate
in class org.eclipse.emf.ecore.util.EObjectValidator
public boolean validateAnyType(AnyType<?> anyType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateBagType(BagType<?,?> bagType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateBagType_checkCollectionTypeName(BagType<?,?> bagType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionType(CollectionType<?,?> collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionType_checkCollectionTypeName(CollectionType<?,?> collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionType_checkNoInvalidValues(CollectionType<?,?> collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateElementType(ElementType elementType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateInvalidType(InvalidType<?> invalidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMessageType(MessageType<?,?,?> messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMessageType_checkExclusiveSignature(MessageType<?,?,?> messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMessageType_checkOperationParameters(MessageType<?,?,?> messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMessageType_checkSignalAttributes(MessageType<?,?,?> messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOrderedSetType(OrderedSetType<?,?> orderedSetType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOrderedSetType_checkCollectionTypeName(OrderedSetType<?,?> orderedSetType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePrimitiveType(PrimitiveType<?> primitiveType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSequenceType(SequenceType<?,?> sequenceType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSequenceType_checkCollectionTypeName(SequenceType<?,?> sequenceType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSetType(SetType<?,?> setType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSetType_checkCollectionTypeName(SetType<?,?> setType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTupleType(TupleType<?,?> tupleType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTupleType_checkTupleTypeName(TupleType<?,?> tupleType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTupleType_checkPartNamesUnique(TupleType<?,?> tupleType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTupleType_checkFeaturesOnlyProperties(TupleType<?,?> tupleType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTypeType(TypeType<?,?> typeType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVoidType(VoidType<?> voidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTemplateParameterType(TemplateParameterType<?> templateParameterType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()
getResourceLocator
in class org.eclipse.emf.ecore.util.EObjectValidator