|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.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 |
|---|
EObjectValidator.DynamicEDataTypeValidator |
| Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator |
|---|
EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider |
| 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 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 interface org.eclipse.emf.ecore.EValidator |
|---|
MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE |
| Constructor Summary | |
|---|---|
TypesValidator()
Creates an instance of the switch |
|
| Method Summary | |
|---|---|
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 |
protected boolean |
validate(int classifierID,
Object value,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Calls validateXXX for the corresponding classifier of the model |
boolean |
validateAnyType(AnyType<?> anyType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateBagType_checkCollectionTypeName(BagType<?,?> bagType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkCollectionTypeName constraint of 'Bag Type' |
boolean |
validateBagType(BagType<?,?> bagType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateCollectionType_checkCollectionTypeName(CollectionType<?,?> collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkCollectionTypeName constraint of 'Collection Type' |
boolean |
validateCollectionType_checkNoInvalidValues(CollectionType<?,?> collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkNoInvalidValues constraint of 'Collection Type' |
boolean |
validateCollectionType(CollectionType<?,?> collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateElementType(ElementType elementType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateInvalidType(InvalidType<?> invalidType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateMessageType_checkExclusiveSignature(MessageType<?,?,?> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkExclusiveSignature constraint of 'Message Type' |
boolean |
validateMessageType_checkOperationParameters(MessageType<?,?,?> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkOperationParameters constraint of 'Message Type' |
boolean |
validateMessageType_checkSignalAttributes(MessageType<?,?,?> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkSignalAttributes constraint of 'Message Type' |
boolean |
validateMessageType(MessageType<?,?,?> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateOrderedSetType_checkCollectionTypeName(OrderedSetType<?,?> orderedSetType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkCollectionTypeName constraint of 'Ordered Set Type' |
boolean |
validateOrderedSetType(OrderedSetType<?,?> orderedSetType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validatePrimitiveType(PrimitiveType<?> primitiveType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateSequenceType_checkCollectionTypeName(SequenceType<?,?> sequenceType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkCollectionTypeName constraint of 'Sequence Type' |
boolean |
validateSequenceType(SequenceType<?,?> sequenceType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateSetType_checkCollectionTypeName(SetType<?,?> setType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkCollectionTypeName constraint of 'Set Type' |
boolean |
validateSetType(SetType<?,?> setType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateTupleType_checkFeaturesOnlyProperties(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkFeaturesOnlyProperties constraint of 'Tuple Type' |
boolean |
validateTupleType_checkPartNamesUnique(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkPartNamesUnique constraint of 'Tuple Type' |
boolean |
validateTupleType_checkTupleTypeName(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkTupleTypeName constraint of 'Tuple Type' |
boolean |
validateTupleType(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateTypeType(TypeType<?,?> typeType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
|
boolean |
validateVoidType(VoidType<?> voidType,
DiagnosticChain diagnostics,
Map<Object,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 TypesValidator INSTANCE
public static final 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 EPackage getEPackage()
getEPackage in class EObjectValidator
protected boolean validate(int classifierID,
Object value,
DiagnosticChain diagnostics,
Map<Object,Object> context)
validateXXX for the corresponding classifier of the model.
validate in class EObjectValidator
public boolean validateAnyType(AnyType<?> anyType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateBagType(BagType<?,?> bagType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateBagType_checkCollectionTypeName(BagType<?,?> bagType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateCollectionType(CollectionType<?,?> collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateCollectionType_checkCollectionTypeName(CollectionType<?,?> collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateCollectionType_checkNoInvalidValues(CollectionType<?,?> collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateElementType(ElementType elementType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateInvalidType(InvalidType<?> invalidType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateMessageType(MessageType<?,?,?> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateMessageType_checkExclusiveSignature(MessageType<?,?,?> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateMessageType_checkOperationParameters(MessageType<?,?,?> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateMessageType_checkSignalAttributes(MessageType<?,?,?> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateOrderedSetType(OrderedSetType<?,?> orderedSetType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateOrderedSetType_checkCollectionTypeName(OrderedSetType<?,?> orderedSetType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validatePrimitiveType(PrimitiveType<?> primitiveType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateSequenceType(SequenceType<?,?> sequenceType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateSequenceType_checkCollectionTypeName(SequenceType<?,?> sequenceType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateSetType(SetType<?,?> setType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateSetType_checkCollectionTypeName(SetType<?,?> setType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateTupleType(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateTupleType_checkTupleTypeName(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateTupleType_checkPartNamesUnique(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateTupleType_checkFeaturesOnlyProperties(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateTypeType(TypeType<?,?> typeType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public boolean validateVoidType(VoidType<?> voidType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
public ResourceLocator getResourceLocator()
getResourceLocator in class EObjectValidator
|
Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||