|
||||||||||
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.ocl.types.util.TypesValidator
public class TypesValidator
The Validator for the model.
TypesPackage
Nested Class Summary |
---|
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 | |
---|---|
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'. |
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, 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 |
Fields inherited from interface org.eclipse.emf.ecore.EValidator |
---|
MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE |
Constructor Summary | |
---|---|
TypesValidator()
Creates an instance of the switch. |
Method Summary | |
---|---|
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)
|
Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator |
---|
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 |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
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
Constructor Detail |
---|
public TypesValidator()
Method Detail |
---|
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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |