public class PivotValidator
extends org.eclipse.emf.ecore.util.EObjectValidator
PivotPackageorg.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidatororg.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 |
BOOLEAN_LITERAL_EXP__VALIDATE_TYPE_IS_BOOLEAN
The
code for constraint 'Validate Type Is Boolean' of 'Boolean Literal Exp'. |
static int |
CALL_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Call Exp'. |
static int |
CLASS__VALIDATE_UNIQUE_INVARIANT_NAME
The
code for constraint 'Validate Unique Invariant Name' of 'Class'. |
static int |
COLLECTION_ITEM__VALIDATE_TYPE_IS_ITEM_TYPE
The
code for constraint 'Validate Type Is Item Type' of 'Collection Item'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_BAG_KIND_IS_BAG
The
code for constraint 'Validate Bag Kind Is Bag' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_COLLECTION_KIND_IS_CONCRETE
The
code for constraint 'Validate Collection Kind Is Concrete' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_ORDERED_SET_KIND_IS_ORDERED_SET
The
code for constraint 'Validate Ordered Set Kind Is Ordered Set' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_SEQUENCE_KIND_IS_SEQUENCE
The
code for constraint 'Validate Sequence Kind Is Sequence' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_SET_KIND_IS_SET
The
code for constraint 'Validate Set Kind Is Set' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_PART__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Collection Literal Part'. |
static int |
CONSTRAINT__VALIDATE_UNIQUE_NAME
The
code for constraint 'Validate Unique Name' of 'Constraint'. |
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 int |
ENUM_LITERAL_EXP__VALIDATE_TYPE_IS_ENUMERATION_TYPE
The
code for constraint 'Validate Type Is Enumeration Type' of 'Enum Literal Exp'. |
static int |
FEATURE__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Feature'. |
static int |
IF_EXP__VALIDATE_CONDITION_TYPE_IS_BOOLEAN
The
code for constraint 'Validate Condition Type Is Boolean' of 'If Exp'. |
static int |
IF_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'If Exp'. |
static PivotValidator |
INSTANCE
The cached model package
|
static int |
INTEGER_LITERAL_EXP__VALIDATE_TYPE_IS_INTEGER
The
code for constraint 'Validate Type Is Integer' of 'Integer Literal Exp'. |
static int |
ITERATE_EXP__VALIDATE_BODY_TYPE_CONFORMS_TO_RESULT_TYPE
The
code for constraint 'Validate Body Type Conforms To Result Type' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_ONE_INITIALIZER
The
code for constraint 'Validate One Initializer' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_SAFE_ITERATOR_IS_REQUIRED
The
code for constraint 'Validate Safe Iterator Is Required' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
The
code for constraint 'Validate Safe Source Can Be Null' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_TYPE_IS_RESULT_TYPE
The
code for constraint 'Validate Type Is Result Type' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
The
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Iterate Exp'. |
static int |
ITERATOR_EXP__VALIDATE_ANY_BODY_TYPE_IS_BOOLEAN
The
code for constraint 'Validate Any Body Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_ANY_HAS_ONE_ITERATOR
The
code for constraint 'Validate Any Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_ANY_TYPE_IS_SOURCE_ELEMENT_TYPE
The
code for constraint 'Validate Any Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_BODY_TYPE_IS_CONFORMANTTO_ITERATOR_TYPE
The
code for constraint 'Validate Closure Body Type Is Conformantto Iterator Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
The
code for constraint 'Validate Closure Element Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_HAS_ONE_ITERATOR
The
code for constraint 'Validate Closure Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_SOURCE_ELEMENT_TYPE_IS_BODY_ELEMENT_TYPE
The
code for constraint 'Validate Closure Source Element Type Is Body Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_TYPE_IS_UNIQUE_COLLECTION
The
code for constraint 'Validate Closure Type Is Unique Collection' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_COLLECT_ELEMENT_TYPE_IS_FLATTENED_BODY_TYPE
The
code for constraint 'Validate Collect Element Type Is Flattened Body Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_COLLECT_TYPE_IS_UNORDERED
The
code for constraint 'Validate Collect Type Is Unordered' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_ITERATOR_TYPE_IS_SOURCE_ELEMENT_TYPE
The
code for constraint 'Validate Iterator Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SAFE_ITERATOR_IS_REQUIRED
The
code for constraint 'Validate Safe Iterator Is Required' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
The
code for constraint 'Validate Safe Source Can Be Null' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SORTED_BY_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
The
code for constraint 'Validate Sorted By Element Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SORTED_BY_IS_ORDERED_IF_SOURCE_IS_ORDERED
The
code for constraint 'Validate Sorted By Is Ordered If Source Is Ordered' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SORTED_BY_ITERATOR_TYPE_IS_COMPARABLE
The
code for constraint 'Validate Sorted By Iterator Type Is Comparable' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
The
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Iterator Exp'. |
static int |
LET_EXP__VALIDATE_TYPE_IS_IN_TYPE
The
code for constraint 'Validate Type Is In Type' of 'Let Exp'. |
static int |
LET_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Let Exp'. |
static int |
LOOP_EXP__VALIDATE_NO_INITIALIZERS
The
code for constraint 'Validate No Initializers' of 'Loop Exp'. |
static int |
LOOP_EXP__VALIDATE_SOURCE_IS_COLLECTION
The
code for constraint 'Validate Source Is Collection' of 'Loop Exp'. |
static int |
MESSAGE_EXP__VALIDATE_ONE_CALL_OR_ONE_SEND
The
code for constraint 'Validate One Call Or One Send' of 'Message Exp'. |
static int |
MESSAGE_EXP__VALIDATE_TARGET_IS_NOT_ACOLLECTION
The
code for constraint 'Validate Target Is Not ACollection' of 'Message Exp'. |
static int |
OPERATION__VALIDATE_COMPATIBLE_RETURN
The
code for constraint 'Validate Compatible Return' of 'Operation'. |
static int |
OPERATION__VALIDATE_LOADABLE_IMPLEMENTATION
The
code for constraint 'Validate Loadable Implementation' of 'Operation'. |
static int |
OPERATION__VALIDATE_UNIQUE_POSTCONDITION_NAME
The
code for constraint 'Validate Unique Postcondition Name' of 'Operation'. |
static int |
OPERATION__VALIDATE_UNIQUE_PRECONDITION_NAME
The
code for constraint 'Validate Unique Precondition Name' of 'Operation'. |
static int |
OPERATION_CALL_EXP__VALIDATE_ARGUMENT_COUNT
The
code for constraint 'Validate Argument Count' of 'Operation Call Exp'. |
static int |
OPERATION_CALL_EXP__VALIDATE_ARGUMENT_TYPE_IS_CONFORMANT
The
code for constraint 'Validate Argument Type Is Conformant' of 'Operation Call Exp'. |
static int |
OPERATION_CALL_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
The
code for constraint 'Validate Safe Source Can Be Null' of 'Operation Call Exp'. |
static int |
PROPERTY__VALIDATE_COMPATIBLE_DEFAULT_EXPRESSION
The
code for constraint 'Validate Compatible Default Expression' of 'Property'. |
static int |
PROPERTY_CALL_EXP__VALIDATE_COMPATIBLE_RESULT_TYPE
The
code for constraint 'Validate Compatible Result Type' of 'Property Call Exp'. |
static int |
PROPERTY_CALL_EXP__VALIDATE_NON_STATIC_SOURCE_TYPE_IS_CONFORMANT
The
code for constraint 'Validate Non Static Source Type Is Conformant' of 'Property Call Exp'. |
static int |
PROPERTY_CALL_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
The
code for constraint 'Validate Safe Source Can Be Null' of 'Property Call Exp'. |
static int |
PROPERTY_CALL_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
The
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Property Call Exp'. |
static int |
SHADOW_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Shadow Exp'. |
static int |
SHADOW_PART__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Shadow Part'. |
static int |
STATE_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'State Exp'. |
static int |
VARIABLE__VALIDATE_COMPATIBLE_INITIALISER_TYPE
The
code for constraint 'Validate Compatible Initialiser Type' of 'Variable'. |
static int |
VARIABLE_DECLARATION__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Variable Declaration'. |
static int |
VARIABLE_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Variable Exp'. |
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 |
|---|
PivotValidator()
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 |
validateAnnotation(Annotation annotation,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateAnyType(AnyType anyType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateAssociationClass(AssociationClass associationClass,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateAssociativityKind(AssociativityKind associativityKind,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateBagType(BagType bagType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateBehavior(Behavior behavior,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateBoolean(boolean boolean_,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateBooleanLiteralExp_validateTypeIsBoolean(BooleanLiteralExp booleanLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsBoolean constraint of 'Boolean Literal Exp'.
|
boolean |
validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCallExp_validateTypeIsNotInvalid(CallExp callExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Call Exp'.
|
boolean |
validateCallExp(CallExp callExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCallOperationAction(CallOperationAction callOperationAction,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateClass_validateUniqueInvariantName(Class class_,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateUniqueInvariantName constraint of 'Class'.
|
boolean |
validateClass(Class class_,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCollectionItem_validateTypeIsItemType(CollectionItem collectionItem,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsItemType constraint of 'Collection Item'.
|
boolean |
validateCollectionItem(CollectionItem collectionItem,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCollectionKind(CollectionKind collectionKind,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCollectionLiteralExp_validateBagKindIsBag(CollectionLiteralExp collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateBagKindIsBag constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp_validateCollectionKindIsConcrete(CollectionLiteralExp collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCollectionKindIsConcrete constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp_validateOrderedSetKindIsOrderedSet(CollectionLiteralExp collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateOrderedSetKindIsOrderedSet constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp_validateSequenceKindIsSequence(CollectionLiteralExp collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSequenceKindIsSequence constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp_validateSetKindIsSet(CollectionLiteralExp collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSetKindIsSet constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCollectionLiteralPart_validateTypeIsNotInvalid(CollectionLiteralPart collectionLiteralPart,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Collection Literal Part'.
|
boolean |
validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCollectionRange(CollectionRange collectionRange,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCollectionType(CollectionType collectionType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateComment(Comment comment,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCompleteClass(CompleteClass completeClass,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCompleteEnvironment(CompleteEnvironment completeEnvironment,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCompleteModel(CompleteModel completeModel,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateCompletePackage(CompletePackage completePackage,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateConnectionPointReference(ConnectionPointReference connectionPointReference,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateConstraint_validateUniqueName(Constraint constraint,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateUniqueName constraint of 'Constraint'.
|
boolean |
validateConstraint(Constraint constraint,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateDataType(DataType dataType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateDetail(Detail detail,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateDynamicBehavior(DynamicBehavior dynamicBehavior,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateDynamicElement(DynamicElement dynamicElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateDynamicProperty(DynamicProperty dynamicProperty,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateDynamicType(DynamicType dynamicType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateDynamicValueSpecification(DynamicValueSpecification dynamicValueSpecification,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateElement(Element element,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateElementExtension(ElementExtension elementExtension,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateEnumeration(Enumeration enumeration,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateEnumerationLiteral(EnumerationLiteral enumerationLiteral,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateEnumLiteralExp_validateTypeIsEnumerationType(EnumLiteralExp enumLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsEnumerationType constraint of 'Enum Literal Exp'.
|
boolean |
validateEnumLiteralExp(EnumLiteralExp enumLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateExpressionInOCL(ExpressionInOCL expressionInOCL,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateFeature_validateTypeIsNotInvalid(Feature feature,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Feature'.
|
boolean |
validateFeature(Feature feature,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateFeatureCallExp(FeatureCallExp featureCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateFinalState(FinalState finalState,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateIfExp_validateConditionTypeIsBoolean(IfExp ifExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateConditionTypeIsBoolean constraint of 'If Exp'.
|
boolean |
validateIfExp_validateTypeIsNotInvalid(IfExp ifExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'If Exp'.
|
boolean |
validateIfExp(IfExp ifExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateImport(Import import_,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateInstanceSpecification(InstanceSpecification instanceSpecification,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateInteger(java.lang.Number integer,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateIntegerLiteralExp_validateTypeIsInteger(IntegerLiteralExp integerLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsInteger constraint of 'Integer Literal Exp'.
|
boolean |
validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp,
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 |
validateIterateExp_validateBodyTypeConformsToResultType(IterateExp iterateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateBodyTypeConformsToResultType constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateOneInitializer(IterateExp iterateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateOneInitializer constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateSafeIteratorIsRequired(IterateExp iterateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSafeIteratorIsRequired constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateSafeSourceCanBeNull(IterateExp iterateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSafeSourceCanBeNull constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateTypeIsResultType(IterateExp iterateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsResultType constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateUnsafeSourceCanNotBeNull(IterateExp iterateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateUnsafeSourceCanNotBeNull constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp(IterateExp iterateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateIteration(Iteration iteration,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateIteratorExp_validateAnyBodyTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateAnyBodyTypeIsBoolean constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateAnyHasOneIterator(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateAnyHasOneIterator constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateAnyTypeIsSourceElementType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateAnyTypeIsSourceElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureBodyTypeIsConformanttoIteratorType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateClosureBodyTypeIsConformanttoIteratorType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureElementTypeIsSourceElementType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateClosureElementTypeIsSourceElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureHasOneIterator(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateClosureHasOneIterator constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureSourceElementTypeIsBodyElementType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateClosureSourceElementTypeIsBodyElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureTypeIsUniqueCollection(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateClosureTypeIsUniqueCollection constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateCollectElementTypeIsFlattenedBodyType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCollectElementTypeIsFlattenedBodyType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateCollectTypeIsUnordered(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCollectTypeIsUnordered constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateIteratorTypeIsSourceElementType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateIteratorTypeIsSourceElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSafeIteratorIsRequired(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSafeIteratorIsRequired constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSafeSourceCanBeNull(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSafeSourceCanBeNull constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSortedByElementTypeIsSourceElementType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSortedByElementTypeIsSourceElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSortedByIsOrderedIfSourceIsOrdered(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSortedByIsOrderedIfSourceIsOrdered constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSortedByIteratorTypeIsComparable(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSortedByIteratorTypeIsComparable constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateUnsafeSourceCanNotBeNull(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateUnsafeSourceCanNotBeNull constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateLambdaType(LambdaType lambdaType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateLanguageExpression(LanguageExpression languageExpression,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateLetExp_validateTypeIsInType(LetExp letExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsInType constraint of 'Let Exp'.
|
boolean |
validateLetExp_validateTypeIsNotInvalid(LetExp letExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Let Exp'.
|
boolean |
validateLetExp(LetExp letExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateLibrary(Library library,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateLibraryFeature(LibraryFeature libraryFeature,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateLiteralExp(LiteralExp literalExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateLoopExp_validateNoInitializers(LoopExp loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateNoInitializers constraint of 'Loop Exp'.
|
boolean |
validateLoopExp_validateSourceIsCollection(LoopExp loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSourceIsCollection constraint of 'Loop Exp'.
|
boolean |
validateLoopExp(LoopExp loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateMapLiteralExp(MapLiteralExp mapLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateMapLiteralPart(MapLiteralPart mapLiteralPart,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateMapType(MapType mapType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateMessageExp_validateOneCallOrOneSend(MessageExp messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateOneCallOrOneSend constraint of 'Message Exp'.
|
boolean |
validateMessageExp_validateTargetIsNotACollection(MessageExp messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTargetIsNotACollection constraint of 'Message Exp'.
|
boolean |
validateMessageExp(MessageExp messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateMessageType(MessageType messageType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateModel(Model model,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateMorePivotable(MorePivotable morePivotable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateNameable(Nameable nameable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateNamedElement(NamedElement namedElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateNamespace(Namespace namespace,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateNavigationCallExp(NavigationCallExp navigationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateNullLiteralExp(NullLiteralExp nullLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateNumericLiteralExp(NumericLiteralExp numericLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateObject(java.lang.Object object,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateOCLExpression(OCLExpression oclExpression,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateOperation_validateCompatibleReturn(Operation operation,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCompatibleReturn constraint of 'Operation'.
|
boolean |
validateOperation_validateLoadableImplementation(Operation operation,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateLoadableImplementation constraint of 'Operation'.
|
boolean |
validateOperation_validateUniquePostconditionName(Operation operation,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateUniquePostconditionName constraint of 'Operation'.
|
boolean |
validateOperation_validateUniquePreconditionName(Operation operation,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateUniquePreconditionName constraint of 'Operation'.
|
boolean |
validateOperation(Operation operation,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateOperationCallExp_validateArgumentCount(OperationCallExp operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateArgumentCount constraint of 'Operation Call Exp'.
|
boolean |
validateOperationCallExp_validateArgumentTypeIsConformant(OperationCallExp operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateArgumentTypeIsConformant constraint of 'Operation Call Exp'.
|
boolean |
validateOperationCallExp_validateSafeSourceCanBeNull(OperationCallExp operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSafeSourceCanBeNull constraint of 'Operation Call Exp'.
|
boolean |
validateOperationCallExp(OperationCallExp operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateOppositePropertyCallExp(OppositePropertyCallExp oppositePropertyCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateOrderedSetType(OrderedSetType orderedSetType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateOrphanCompletePackage(OrphanCompletePackage orphanCompletePackage,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePackage(Package package_,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateParameter(Parameter parameter,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePivotable(Pivotable pivotable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePrecedence(Precedence precedence,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePrimitiveCompletePackage(PrimitiveCompletePackage primitiveCompletePackage,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp,
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 |
validateProfile(Profile profile,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateProfileApplication(ProfileApplication profileApplication,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateProperty_validateCompatibleDefaultExpression(Property property,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCompatibleDefaultExpression constraint of 'Property'.
|
boolean |
validateProperty(Property property,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePropertyCallExp_validateCompatibleResultType(PropertyCallExp propertyCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCompatibleResultType constraint of 'Property Call Exp'.
|
boolean |
validatePropertyCallExp_validateNonStaticSourceTypeIsConformant(PropertyCallExp propertyCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateNonStaticSourceTypeIsConformant constraint of 'Property Call Exp'.
|
boolean |
validatePropertyCallExp_validateSafeSourceCanBeNull(PropertyCallExp propertyCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSafeSourceCanBeNull constraint of 'Property Call Exp'.
|
boolean |
validatePropertyCallExp_validateUnsafeSourceCanNotBeNull(PropertyCallExp propertyCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateUnsafeSourceCanNotBeNull constraint of 'Property Call Exp'.
|
boolean |
validatePropertyCallExp(PropertyCallExp propertyCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePseudostate(Pseudostate pseudostate,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validatePseudostateKind(PseudostateKind pseudostateKind,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateReal(java.lang.Number real,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateRealLiteralExp(RealLiteralExp realLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateReferringElement(ReferringElement referringElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateRegion(Region region,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateSelfType(SelfType selfType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateSendSignalAction(SendSignalAction sendSignalAction,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateSequenceType(SequenceType sequenceType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateSetType(SetType setType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateShadowExp_validateTypeIsNotInvalid(ShadowExp shadowExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Shadow Exp'.
|
boolean |
validateShadowExp(ShadowExp shadowExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateShadowPart_validateTypeIsNotInvalid(ShadowPart shadowPart,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Shadow Part'.
|
boolean |
validateShadowPart(ShadowPart shadowPart,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateSignal(Signal signal,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateSlot(Slot slot,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateStandardLibrary(StandardLibrary standardLibrary,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateState(State state,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateStateExp_validateTypeIsNotInvalid(StateExp stateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'State Exp'.
|
boolean |
validateStateExp(StateExp stateExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateStateMachine(StateMachine stateMachine,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateStereotype(Stereotype stereotype,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateStereotypeExtender(StereotypeExtender stereotypeExtender,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateString(java.lang.String string,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateStringLiteralExp(StringLiteralExp stringLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTemplateableElement(TemplateableElement templateableElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTemplateBinding(TemplateBinding templateBinding,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTemplateParameter(TemplateParameter templateParameter,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTemplateSignature(TemplateSignature templateSignature,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateThrowable(java.lang.Throwable throwable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTransition(Transition transition,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTransitionKind(TransitionKind transitionKind,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTrigger(Trigger trigger,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTupleType(TupleType tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateType(Type type,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTypedElement(TypedElement typedElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateTypeExp(TypeExp typeExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateUnlimitedNatural(java.lang.Number unlimitedNatural,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateValueSpecification(ValueSpecification valueSpecification,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateVariable_validateCompatibleInitialiserType(Variable variable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCompatibleInitialiserType constraint of 'Variable'.
|
boolean |
validateVariable(Variable variable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateVariableDeclaration_validateTypeIsNotInvalid(VariableDeclaration variableDeclaration,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Variable Declaration'.
|
boolean |
validateVariableDeclaration(VariableDeclaration variableDeclaration,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateVariableExp_validateTypeIsNotInvalid(VariableExp variableExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Variable Exp'.
|
boolean |
validateVariableExp(VariableExp variableExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateVertex(Vertex vertex,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateVisitable(Visitable visitable,
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) |
boolean |
validateWildcardType(WildcardType wildcardType,
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, wrapEnumerationValuespublic static final PivotValidator 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 BOOLEAN_LITERAL_EXP__VALIDATE_TYPE_IS_BOOLEAN
code for constraint 'Validate Type Is Boolean' of 'Boolean Literal Exp'.
public static final int CALL_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'Call Exp'.
public static final int CLASS__VALIDATE_UNIQUE_INVARIANT_NAME
code for constraint 'Validate Unique Invariant Name' of 'Class'.
public static final int COLLECTION_ITEM__VALIDATE_TYPE_IS_ITEM_TYPE
code for constraint 'Validate Type Is Item Type' of 'Collection Item'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_BAG_KIND_IS_BAG
code for constraint 'Validate Bag Kind Is Bag' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_COLLECTION_KIND_IS_CONCRETE
code for constraint 'Validate Collection Kind Is Concrete' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_ORDERED_SET_KIND_IS_ORDERED_SET
code for constraint 'Validate Ordered Set Kind Is Ordered Set' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_SEQUENCE_KIND_IS_SEQUENCE
code for constraint 'Validate Sequence Kind Is Sequence' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_SET_KIND_IS_SET
code for constraint 'Validate Set Kind Is Set' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_PART__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'Collection Literal Part'.
public static final int CONSTRAINT__VALIDATE_UNIQUE_NAME
code for constraint 'Validate Unique Name' of 'Constraint'.
public static final int ENUM_LITERAL_EXP__VALIDATE_TYPE_IS_ENUMERATION_TYPE
code for constraint 'Validate Type Is Enumeration Type' of 'Enum Literal Exp'.
public static final int FEATURE__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'Feature'.
public static final int IF_EXP__VALIDATE_CONDITION_TYPE_IS_BOOLEAN
code for constraint 'Validate Condition Type Is Boolean' of 'If Exp'.
public static final int IF_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'If Exp'.
public static final int INTEGER_LITERAL_EXP__VALIDATE_TYPE_IS_INTEGER
code for constraint 'Validate Type Is Integer' of 'Integer Literal Exp'.
public static final int ITERATE_EXP__VALIDATE_BODY_TYPE_CONFORMS_TO_RESULT_TYPE
code for constraint 'Validate Body Type Conforms To Result Type' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_ONE_INITIALIZER
code for constraint 'Validate One Initializer' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_SAFE_ITERATOR_IS_REQUIRED
code for constraint 'Validate Safe Iterator Is Required' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
code for constraint 'Validate Safe Source Can Be Null' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_TYPE_IS_RESULT_TYPE
code for constraint 'Validate Type Is Result Type' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Iterate Exp'.
public static final int ITERATOR_EXP__VALIDATE_ANY_BODY_TYPE_IS_BOOLEAN
code for constraint 'Validate Any Body Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_ANY_HAS_ONE_ITERATOR
code for constraint 'Validate Any Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_ANY_TYPE_IS_SOURCE_ELEMENT_TYPE
code for constraint 'Validate Any Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_BODY_TYPE_IS_CONFORMANTTO_ITERATOR_TYPE
code for constraint 'Validate Closure Body Type Is Conformantto Iterator Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
code for constraint 'Validate Closure Element Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_HAS_ONE_ITERATOR
code for constraint 'Validate Closure Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_SOURCE_ELEMENT_TYPE_IS_BODY_ELEMENT_TYPE
code for constraint 'Validate Closure Source Element Type Is Body Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_TYPE_IS_UNIQUE_COLLECTION
code for constraint 'Validate Closure Type Is Unique Collection' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_COLLECT_ELEMENT_TYPE_IS_FLATTENED_BODY_TYPE
code for constraint 'Validate Collect Element Type Is Flattened Body Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_COLLECT_TYPE_IS_UNORDERED
code for constraint 'Validate Collect Type Is Unordered' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_ITERATOR_TYPE_IS_SOURCE_ELEMENT_TYPE
code for constraint 'Validate Iterator Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SAFE_ITERATOR_IS_REQUIRED
code for constraint 'Validate Safe Iterator Is Required' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
code for constraint 'Validate Safe Source Can Be Null' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SORTED_BY_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
code for constraint 'Validate Sorted By Element Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SORTED_BY_IS_ORDERED_IF_SOURCE_IS_ORDERED
code for constraint 'Validate Sorted By Is Ordered If Source Is Ordered' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SORTED_BY_ITERATOR_TYPE_IS_COMPARABLE
code for constraint 'Validate Sorted By Iterator Type Is Comparable' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Iterator Exp'.
public static final int LET_EXP__VALIDATE_TYPE_IS_IN_TYPE
code for constraint 'Validate Type Is In Type' of 'Let Exp'.
public static final int LET_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'Let Exp'.
public static final int LOOP_EXP__VALIDATE_NO_INITIALIZERS
code for constraint 'Validate No Initializers' of 'Loop Exp'.
public static final int LOOP_EXP__VALIDATE_SOURCE_IS_COLLECTION
code for constraint 'Validate Source Is Collection' of 'Loop Exp'.
public static final int MESSAGE_EXP__VALIDATE_ONE_CALL_OR_ONE_SEND
code for constraint 'Validate One Call Or One Send' of 'Message Exp'.
public static final int MESSAGE_EXP__VALIDATE_TARGET_IS_NOT_ACOLLECTION
code for constraint 'Validate Target Is Not ACollection' of 'Message Exp'.
public static final int OPERATION__VALIDATE_COMPATIBLE_RETURN
code for constraint 'Validate Compatible Return' of 'Operation'.
public static final int OPERATION__VALIDATE_LOADABLE_IMPLEMENTATION
code for constraint 'Validate Loadable Implementation' of 'Operation'.
public static final int OPERATION__VALIDATE_UNIQUE_POSTCONDITION_NAME
code for constraint 'Validate Unique Postcondition Name' of 'Operation'.
public static final int OPERATION__VALIDATE_UNIQUE_PRECONDITION_NAME
code for constraint 'Validate Unique Precondition Name' of 'Operation'.
public static final int OPERATION_CALL_EXP__VALIDATE_ARGUMENT_COUNT
code for constraint 'Validate Argument Count' of 'Operation Call Exp'.
public static final int OPERATION_CALL_EXP__VALIDATE_ARGUMENT_TYPE_IS_CONFORMANT
code for constraint 'Validate Argument Type Is Conformant' of 'Operation Call Exp'.
public static final int OPERATION_CALL_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
code for constraint 'Validate Safe Source Can Be Null' of 'Operation Call Exp'.
public static final int PROPERTY__VALIDATE_COMPATIBLE_DEFAULT_EXPRESSION
code for constraint 'Validate Compatible Default Expression' of 'Property'.
public static final int PROPERTY_CALL_EXP__VALIDATE_COMPATIBLE_RESULT_TYPE
code for constraint 'Validate Compatible Result Type' of 'Property Call Exp'.
public static final int PROPERTY_CALL_EXP__VALIDATE_NON_STATIC_SOURCE_TYPE_IS_CONFORMANT
code for constraint 'Validate Non Static Source Type Is Conformant' of 'Property Call Exp'.
public static final int PROPERTY_CALL_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
code for constraint 'Validate Safe Source Can Be Null' of 'Property Call Exp'.
public static final int PROPERTY_CALL_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Property Call Exp'.
public static final int SHADOW_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'Shadow Exp'.
public static final int SHADOW_PART__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'Shadow Part'.
public static final int STATE_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'State Exp'.
public static final int VARIABLE__VALIDATE_COMPATIBLE_INITIALISER_TYPE
code for constraint 'Validate Compatible Initialiser Type' of 'Variable'.
public static final int VARIABLE_DECLARATION__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'Variable Declaration'.
public static final int VARIABLE_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code for constraint 'Validate Type Is Not Invalid' of 'Variable Exp'.
protected static final int DIAGNOSTIC_CODE_COUNT
public PivotValidator()
protected org.eclipse.emf.ecore.EPackage getEPackage()
getEPackage in class org.eclipse.emf.ecore.util.EObjectValidatorprotected 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.EObjectValidatorpublic boolean validateAnnotation(Annotation annotation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateAnyType(AnyType anyType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateType(Type type, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateNamedElement(NamedElement namedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateNamespace(Namespace namespace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateElement(Element element, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateElementExtension(ElementExtension elementExtension, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateClass(Class class_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateClass_validateUniqueInvariantName(Class class_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateProperty(Property property, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateProperty_validateCompatibleDefaultExpression(Property property, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTypedElement(TypedElement typedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePrecedence(Precedence precedence, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePrimitiveCompletePackage(PrimitiveCompletePackage primitiveCompletePackage, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTemplateParameter(TemplateParameter templateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTemplateSignature(TemplateSignature templateSignature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTemplateableElement(TemplateableElement templateableElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTransition(Transition transition, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTrigger(Trigger trigger, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTemplateBinding(TemplateBinding templateBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateAssociationClass(AssociationClass associationClass, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperation(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperation_validateCompatibleReturn(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperation_validateLoadableImplementation(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperation_validateUniquePreconditionName(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperation_validateUniquePostconditionName(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateParameter(Parameter parameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePivotable(Pivotable pivotable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOppositePropertyCallExp(OppositePropertyCallExp oppositePropertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateComment(Comment comment, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCompleteClass(CompleteClass completeClass, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCompleteEnvironment(CompleteEnvironment completeEnvironment, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCompleteModel(CompleteModel completeModel, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCompletePackage(CompletePackage completePackage, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateConnectionPointReference(ConnectionPointReference connectionPointReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateConstraint(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateConstraint_validateUniqueName(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePackage(Package package_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateNavigationCallExp(NavigationCallExp navigationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateFeatureCallExp(FeatureCallExp featureCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateFinalState(FinalState finalState, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCallExp(CallExp callExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCallExp_validateTypeIsNotInvalid(CallExp callExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCallOperationAction(CallOperationAction callOperationAction, 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 validateBehavior(Behavior behavior, 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 validateDataType(DataType dataType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDetail(Detail detail, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDynamicBehavior(DynamicBehavior dynamicBehavior, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDynamicElement(DynamicElement dynamicElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDynamicProperty(DynamicProperty dynamicProperty, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDynamicType(DynamicType dynamicType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDynamicValueSpecification(DynamicValueSpecification dynamicValueSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateBooleanLiteralExp_validateTypeIsBoolean(BooleanLiteralExp booleanLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLiteralExp(LiteralExp literalExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionItem(CollectionItem collectionItem, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionItem_validateTypeIsItemType(CollectionItem collectionItem, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionLiteralPart_validateTypeIsNotInvalid(CollectionLiteralPart collectionLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionLiteralExp_validateBagKindIsBag(CollectionLiteralExp collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionLiteralExp_validateSequenceKindIsSequence(CollectionLiteralExp collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionLiteralExp_validateOrderedSetKindIsOrderedSet(CollectionLiteralExp collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionLiteralExp_validateSetKindIsSet(CollectionLiteralExp collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionLiteralExp_validateCollectionKindIsConcrete(CollectionLiteralExp collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionRange(CollectionRange collectionRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEnumLiteralExp(EnumLiteralExp enumLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEnumLiteralExp_validateTypeIsEnumerationType(EnumLiteralExp enumLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEnumerationLiteral(EnumerationLiteral enumerationLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateExpressionInOCL(ExpressionInOCL expressionInOCL, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateEnumeration(Enumeration enumeration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateFeature(Feature feature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateFeature_validateTypeIsNotInvalid(Feature feature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVariable(Variable variable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVariable_validateCompatibleInitialiserType(Variable variable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVariableDeclaration(VariableDeclaration variableDeclaration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVariableDeclaration_validateTypeIsNotInvalid(VariableDeclaration variableDeclaration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIfExp(IfExp ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIfExp_validateConditionTypeIsBoolean(IfExp ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIfExp_validateTypeIsNotInvalid(IfExp ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateImport(Import import_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateInstanceSpecification(InstanceSpecification instanceSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIntegerLiteralExp_validateTypeIsInteger(IntegerLiteralExp integerLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateNumericLiteralExp(NumericLiteralExp numericLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOCLExpression(OCLExpression oclExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp, 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 validateIterateExp(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIterateExp_validateOneInitializer(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIterateExp_validateSafeIteratorIsRequired(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIterateExp_validateSafeSourceCanBeNull(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIterateExp_validateBodyTypeConformsToResultType(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIterateExp_validateTypeIsResultType(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIterateExp_validateUnsafeSourceCanNotBeNull(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteration(Iteration iteration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateClosureBodyTypeIsConformanttoIteratorType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateSortedByIteratorTypeIsComparable(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateUnsafeSourceCanNotBeNull(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateIteratorTypeIsSourceElementType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateSafeIteratorIsRequired(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateSafeSourceCanBeNull(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateSortedByElementTypeIsSourceElementType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateSortedByIsOrderedIfSourceIsOrdered(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateCollectTypeIsUnordered(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateClosureElementTypeIsSourceElementType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateClosureSourceElementTypeIsBodyElementType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateClosureTypeIsUniqueCollection(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateCollectElementTypeIsFlattenedBodyType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateClosureHasOneIterator(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateAnyBodyTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateAnyTypeIsSourceElementType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateAnyHasOneIterator(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLambdaType(LambdaType lambdaType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLanguageExpression(LanguageExpression languageExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLoopExp(LoopExp loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLoopExp_validateNoInitializers(LoopExp loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLoopExp_validateSourceIsCollection(LoopExp loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMapLiteralExp(MapLiteralExp mapLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMapLiteralPart(MapLiteralPart mapLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMapType(MapType mapType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLetExp(LetExp letExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLetExp_validateTypeIsInType(LetExp letExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLetExp_validateTypeIsNotInvalid(LetExp letExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLibrary(Library library, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMessageExp(MessageExp messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMessageExp_validateTargetIsNotACollection(MessageExp messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMessageExp_validateOneCallOrOneSend(MessageExp messageExp, 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 validateModel(Model model, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateMorePivotable(MorePivotable morePivotable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateNameable(Nameable nameable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSignal(Signal signal, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSlot(Slot slot, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateStandardLibrary(StandardLibrary standardLibrary, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateNullLiteralExp(NullLiteralExp nullLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperationCallExp(OperationCallExp operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperationCallExp_validateArgumentTypeIsConformant(OperationCallExp operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperationCallExp_validateSafeSourceCanBeNull(OperationCallExp operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOperationCallExp_validateArgumentCount(OperationCallExp operationCallExp, 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 validateOrphanCompletePackage(OrphanCompletePackage orphanCompletePackage, 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 validateProfile(Profile profile, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateProfileApplication(ProfileApplication profileApplication, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePropertyCallExp(PropertyCallExp propertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePropertyCallExp_validateNonStaticSourceTypeIsConformant(PropertyCallExp propertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePropertyCallExp_validateSafeSourceCanBeNull(PropertyCallExp propertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePropertyCallExp_validateUnsafeSourceCanNotBeNull(PropertyCallExp propertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePropertyCallExp_validateCompatibleResultType(PropertyCallExp propertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePseudostate(Pseudostate pseudostate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateRealLiteralExp(RealLiteralExp realLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateReferringElement(ReferringElement referringElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateRegion(Region region, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSelfType(SelfType selfType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSendSignalAction(SendSignalAction sendSignalAction, 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 validateSetType(SetType setType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateShadowExp(ShadowExp shadowExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateShadowExp_validateTypeIsNotInvalid(ShadowExp shadowExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateShadowPart(ShadowPart shadowPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateShadowPart_validateTypeIsNotInvalid(ShadowPart shadowPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateState(State state, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateStateExp(StateExp stateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateStateExp_validateTypeIsNotInvalid(StateExp stateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateStateMachine(StateMachine stateMachine, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateStereotype(Stereotype stereotype, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateStereotypeExtender(StereotypeExtender stereotypeExtender, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateStringLiteralExp(StringLiteralExp stringLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart, 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 validateTypeExp(TypeExp typeExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateValueSpecification(ValueSpecification valueSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVariableExp(VariableExp variableExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVariableExp_validateTypeIsNotInvalid(VariableExp variableExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVertex(Vertex vertex, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVisitable(Visitable visitable, 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 validateWildcardType(WildcardType wildcardType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateAssociativityKind(AssociativityKind associativityKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCollectionKind(CollectionKind collectionKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validatePseudostateKind(PseudostateKind pseudostateKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTransitionKind(TransitionKind transitionKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateBoolean(boolean boolean_,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateInteger(java.lang.Number integer,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLibraryFeature(LibraryFeature libraryFeature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateObject(java.lang.Object object,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateReal(java.lang.Number real,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateString(java.lang.String string,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateThrowable(java.lang.Throwable throwable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateUnlimitedNatural(java.lang.Number unlimitedNatural,
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