|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.emf.ecore.util.EObjectValidator org.eclipse.ocl.examples.pivot.util.PivotValidator
public class PivotValidator
The Validator for the model.
PivotPackage
Nested Class Summary |
---|
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator |
---|
org.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator |
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator |
---|
org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate |
Field Summary | |
---|---|
static int |
BOOLEAN_LITERAL_EXP__TYPE_IS_BOOLEAN
The code for constraint 'Validate Type Is Boolean' of 'Boolean Literal Exp'. |
static int |
COLLECTION_ITEM__TYPE_IS_ITEM_TYPE
The code for constraint 'Validate Type Is Item Type' of 'Collection Item'. |
static int |
COLLECTION_LITERAL_EXP__BAG_KIND_IS_BAG
The code for constraint 'Validate Bag Kind Is Bag' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__COLLECTION_KIND_IS_CONCRETE
The code for constraint 'Validate Collection Kind Is Concrete' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__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__SEQUENCE_KIND_IS_SEQUENCE
The code for constraint 'Validate Sequence Kind Is Sequence' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__SET_KIND_IS_SET
The code for constraint 'Validate Set Kind Is Set' of 'Collection Literal Exp'. |
static int |
CONSTRAINT__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__TYPE_IS_ENUMERATION_TYPE
The code for constraint 'Validate Type Is Enumeration Type' of 'Enum Literal Exp'. |
static int |
IF_EXP__CONDITION_TYPE_IS_BOOLEAN
The code for constraint 'Validate Condition Type Is Boolean' of 'If Exp'. |
static PivotValidator |
INSTANCE
The cached model package |
static int |
INTEGER_LITERAL_EXP__TYPE_IS_INTEGER
The code for constraint 'Validate Type Is Integer' of 'Integer Literal Exp'. |
static int |
ITERATE_EXP__BODY_TYPE_CONFORMS_TO_RESULT_TYPE
The code for constraint 'Validate Body Type Conforms To Result Type' of 'Iterate Exp'. |
static int |
ITERATE_EXP__ONE_INITIALIZER
The code for constraint 'Validate One Initializer' of 'Iterate Exp'. |
static int |
ITERATE_EXP__TYPE_IS_RESULT_TYPE
The code for constraint 'Validate Type Is Result Type' of 'Iterate Exp'. |
static int |
ITERATOR_EXP__ANY_BODY_TYPE_IS_BOOLEAN
The code for constraint 'Validate Any Body Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__ANY_HAS_ONE_ITERATOR
The code for constraint 'Validate Any Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__ANY_TYPE_IS_SOURCE_ELEMENT_TYPE
The code for constraint 'Validate Any Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__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__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__CLOSURE_HAS_ONE_ITERATOR
The code for constraint 'Validate Closure Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__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__CLOSURE_TYPE_IS_UNIQUE_COLLECTION
The code for constraint 'Validate Closure Type Is Unique Collection' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__COLLECT_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
The code for constraint 'Validate Collect Element Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__COLLECT_HAS_ONE_ITERATOR
The code for constraint 'Validate Collect Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__COLLECT_NESTED_HAS_ONE_ITERATOR
The code for constraint 'Validate Collect Nested Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__COLLECT_NESTED_TYPE_IS_BAG
The code for constraint 'Validate Collect Nested Type Is Bag' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__COLLECT_NESTED_TYPE_IS_BODY_TYPE
The code for constraint 'Validate Collect Nested Type Is Body Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__COLLECT_TYPE_IS_UNORDERED
The code for constraint 'Validate Collect Type Is Unordered' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__EXISTS_BODY_TYPE_IS_BOOLEAN
The code for constraint 'Validate Exists Body Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__EXISTS_TYPE_IS_BOOLEAN
The code for constraint 'Validate Exists Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__FOR_ALL_BODY_TYPE_IS_BOOLEAN
The code for constraint 'Validate For All Body Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__FOR_ALL_TYPE_IS_BOOLEAN
The code for constraint 'Validate For All Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__IS_UNIQUE_HAS_ONE_ITERATOR
The code for constraint 'Validate Is Unique Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__IS_UNIQUE_TYPE_IS_BOOLEAN
The code for constraint 'Validate Is Unique Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__ITERATOR_TYPE_IS_SOURCE_ELEMENT_TYPE
The code for constraint 'Validate Iterator Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__ONE_BODY_TYPE_IS_BOOLEAN
The code for constraint 'Validate One Body Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__ONE_HAS_ONE_ITERATOR
The code for constraint 'Validate One Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__ONE_TYPE_IS_BOOLEAN
The code for constraint 'Validate One Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__REJECT_OR_SELECT_HAS_ONE_ITERATOR
The code for constraint 'Validate Reject Or Select Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__REJECT_OR_SELECT_TYPE_IS_BOOLEAN
The code for constraint 'Validate Reject Or Select Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__REJECT_OR_SELECT_TYPE_IS_SOURCE_TYPE
The code for constraint 'Validate Reject Or Select Type Is Source Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__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__SORTED_BY_HAS_ONE_ITERATOR
The code for constraint 'Validate Sorted By Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__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__SORTED_BY_ITERATOR_TYPE_IS_COMPARABLE
The code for constraint 'Validate Sorted By Iterator Type Is Comparable' of 'Iterator Exp'. |
static int |
LET_EXP__TYPE_IS_IN_TYPE
The code for constraint 'Validate Type Is In Type' of 'Let Exp'. |
static int |
LOOP_EXP__NO_INITIALIZERS
The code for constraint 'Validate No Initializers' of 'Loop Exp'. |
static int |
LOOP_EXP__SOURCE_IS_COLLECTION
The code for constraint 'Validate Source Is Collection' of 'Loop Exp'. |
static int |
MESSAGE_EXP__ONE_CALL_OR_ONE_SEND
The code for constraint 'Validate One Call Or One Send' of 'Message Exp'. |
static int |
MESSAGE_EXP__TARGET_IS_NOT_ACOLLECTION
The code for constraint 'Validate Target Is Not ACollection' of 'Message Exp'. |
static int |
OPERATION__COMPATIBLE_RETURN
The code for constraint 'Validate Compatible Return' of 'Operation'. |
static int |
OPERATION__LOADABLE_IMPLEMENTATION
The code for constraint 'Validate Loadable Implementation' of 'Operation'. |
static int |
OPERATION__UNIQUE_POSTCONDITION_NAME
The code for constraint 'Validate Unique Postcondition Name' of 'Operation'. |
static int |
OPERATION__UNIQUE_PRECONDITION_NAME
The code for constraint 'Validate Unique Precondition Name' of 'Operation'. |
static int |
OPERATION_CALL_EXP__ARGUMENT_COUNT
The code for constraint 'Validate Argument Count' of 'Operation Call Exp'. |
static int |
OPERATION_CALL_EXP__ARGUMENT_TYPE_IS_CONFORMANT
The code for constraint 'Validate Argument Type Is Conformant' of 'Operation Call Exp'. |
static int |
PROPERTY__COMPATIBLE_DEFAULT_EXPRESSION
The code for constraint 'Validate Compatible Default Expression' of 'Property'. |
static int |
PROPERTY_CALL_EXP__COMPATIBLE_RESULT_TYPE
The code for constraint 'Validate Compatible Result Type' of 'Property Call Exp'. |
static int |
PROPERTY_CALL_EXP__NON_STATIC_SOURCE_TYPE_IS_CONFORMANT
The code for constraint 'Validate Non Static Source Type Is Conformant' of 'Property Call Exp'. |
static int |
TYPE__UNIQUE_INVARIANT_NAME
The code for constraint 'Validate Unique Invariant Name' of 'Type'. |
static int |
VARIABLE__COMPATIBLE_INITIALISER_TYPE
The code for constraint 'Validate Compatible Initialiser Type' of 'Variable'. |
Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator |
---|
DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, EOBJECT__EVERY_BIDIRECTIONAL_REFERENCE_IS_PAIRED, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT |
Fields inherited from interface org.eclipse.emf.ecore.EValidator |
---|
MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE |
Constructor Summary | |
---|---|
PivotValidator()
Creates an instance of the switch. |
Method Summary | |
---|---|
protected org.eclipse.emf.ecore.EPackage |
getEPackage()
Returns the package of this validator switch. |
org.eclipse.emf.common.util.ResourceLocator |
getResourceLocator()
Returns the resource locator that will be used to fetch messages for this validator's diagnostics. |
protected boolean |
validate(int classifierID,
java.lang.Object value,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Calls validateXXX for the corresponding classifier of the model. |
boolean |
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(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(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(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 |
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 |
validateConstructorExp(ConstructorExp constructorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateConstructorPart(ConstructorPart constructorPart,
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 |
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 |
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(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(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 |
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_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(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_validateCollectElementTypeIsSourceElementType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCollectElementTypeIsSourceElementType constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateCollectHasOneIterator(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCollectHasOneIterator constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateCollectNestedHasOneIterator(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCollectNestedHasOneIterator constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateCollectNestedTypeIsBag(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCollectNestedTypeIsBag constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateCollectNestedTypeIsBodyType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCollectNestedTypeIsBodyType 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_validateExistsBodyTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateExistsBodyTypeIsBoolean constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateExistsTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateExistsTypeIsBoolean constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateForAllBodyTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateForAllBodyTypeIsBoolean constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateForAllTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateForAllTypeIsBoolean constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateIsUniqueHasOneIterator(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateIsUniqueHasOneIterator constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateIsUniqueTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateIsUniqueTypeIsBoolean 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_validateOneBodyTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateOneBodyTypeIsBoolean constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateOneHasOneIterator(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateOneHasOneIterator constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateOneTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateOneTypeIsBoolean constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateRejectOrSelectHasOneIterator(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateRejectOrSelectHasOneIterator constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateRejectOrSelectTypeIsBoolean(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateRejectOrSelectTypeIsBoolean constraint of 'Iterator Exp'. |
boolean |
validateIteratorExp_validateRejectOrSelectTypeIsSourceType(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateRejectOrSelectTypeIsSourceType 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_validateSortedByHasOneIterator(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSortedByHasOneIterator 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(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 |
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(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 |
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 |
validateMetaclass(Metaclass<?> metaclass,
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 |
validateOpaqueExpression(OpaqueExpression opaqueExpression,
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(OperationCallExp operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateOperationTemplateParameter(OperationTemplateParameter operationTemplateParameter,
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 |
validatePackage(Package package_,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validatePackageableElement(PackageableElement packageableElement,
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 |
validateParameterableElement(ParameterableElement parameterableElement,
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 |
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(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 |
validateRoot(Root root,
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 |
validateSignal(Signal signal,
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(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 |
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 |
validateTemplateParameterType(TemplateParameterType templateParameterType,
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_validateUniqueInvariantName(Type type,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateUniqueInvariantName constraint of 'Type'. |
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 |
validateTypedMultiplicityElement(TypedMultiplicityElement typedMultiplicityElement,
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 |
validateTypeExtension(TypeExtension typeExtension,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateTypeTemplateParameter(TypeTemplateParameter typeTemplateParameter,
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 |
validateUnspecifiedType(UnspecifiedType unspecifiedType,
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(VariableDeclaration variableDeclaration,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
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 |
validateVisitor(Visitor<?> visitor,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
boolean |
validateVoidType(VoidType voidType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator |
---|
createBadDataValueDiagnostic, createDiagnostic, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, reportInvariantDelegateViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate_BidirectionalReferenceIsPaired, validate_DataValueConforms, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validate, validate, validate, validate, validate, validate, validatePattern, wrapEnumerationValues |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final 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__TYPE_IS_BOOLEAN
code
for constraint 'Validate Type Is Boolean' of 'Boolean Literal Exp'.
public static final int COLLECTION_ITEM__TYPE_IS_ITEM_TYPE
code
for constraint 'Validate Type Is Item Type' of 'Collection Item'.
public static final int COLLECTION_LITERAL_EXP__BAG_KIND_IS_BAG
code
for constraint 'Validate Bag Kind Is Bag' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__SEQUENCE_KIND_IS_SEQUENCE
code
for constraint 'Validate Sequence Kind Is Sequence' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__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__SET_KIND_IS_SET
code
for constraint 'Validate Set Kind Is Set' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__COLLECTION_KIND_IS_CONCRETE
code
for constraint 'Validate Collection Kind Is Concrete' of 'Collection Literal Exp'.
public static final int CONSTRAINT__UNIQUE_NAME
code
for constraint 'Validate Unique Name' of 'Constraint'.
public static final int ENUM_LITERAL_EXP__TYPE_IS_ENUMERATION_TYPE
code
for constraint 'Validate Type Is Enumeration Type' of 'Enum Literal Exp'.
public static final int IF_EXP__CONDITION_TYPE_IS_BOOLEAN
code
for constraint 'Validate Condition Type Is Boolean' of 'If Exp'.
public static final int INTEGER_LITERAL_EXP__TYPE_IS_INTEGER
code
for constraint 'Validate Type Is Integer' of 'Integer Literal Exp'.
public static final int ITERATE_EXP__ONE_INITIALIZER
code
for constraint 'Validate One Initializer' of 'Iterate Exp'.
public static final int ITERATOR_EXP__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__SORTED_BY_ITERATOR_TYPE_IS_COMPARABLE
code
for constraint 'Validate Sorted By Iterator Type Is Comparable' of 'Iterator Exp'.
public static final int ITERATE_EXP__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__TYPE_IS_RESULT_TYPE
code
for constraint 'Validate Type Is Result Type' of 'Iterate Exp'.
public static final int ITERATOR_EXP__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__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__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__SORTED_BY_HAS_ONE_ITERATOR
code
for constraint 'Validate Sorted By Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__REJECT_OR_SELECT_TYPE_IS_BOOLEAN
code
for constraint 'Validate Reject Or Select Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__REJECT_OR_SELECT_TYPE_IS_SOURCE_TYPE
code
for constraint 'Validate Reject Or Select Type Is Source Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__REJECT_OR_SELECT_HAS_ONE_ITERATOR
code
for constraint 'Validate Reject Or Select Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__ONE_BODY_TYPE_IS_BOOLEAN
code
for constraint 'Validate One Body Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__ONE_TYPE_IS_BOOLEAN
code
for constraint 'Validate One Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__ONE_HAS_ONE_ITERATOR
code
for constraint 'Validate One Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__IS_UNIQUE_TYPE_IS_BOOLEAN
code
for constraint 'Validate Is Unique Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__IS_UNIQUE_HAS_ONE_ITERATOR
code
for constraint 'Validate Is Unique Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__FOR_ALL_BODY_TYPE_IS_BOOLEAN
code
for constraint 'Validate For All Body Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__FOR_ALL_TYPE_IS_BOOLEAN
code
for constraint 'Validate For All Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__EXISTS_BODY_TYPE_IS_BOOLEAN
code
for constraint 'Validate Exists Body Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__EXISTS_TYPE_IS_BOOLEAN
code
for constraint 'Validate Exists Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__COLLECT_NESTED_TYPE_IS_BODY_TYPE
code
for constraint 'Validate Collect Nested Type Is Body Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__COLLECT_NESTED_TYPE_IS_BAG
code
for constraint 'Validate Collect Nested Type Is Bag' of 'Iterator Exp'.
public static final int ITERATOR_EXP__COLLECT_NESTED_HAS_ONE_ITERATOR
code
for constraint 'Validate Collect Nested Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__COLLECT_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
code
for constraint 'Validate Collect Element Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__COLLECT_TYPE_IS_UNORDERED
code
for constraint 'Validate Collect Type Is Unordered' of 'Iterator Exp'.
public static final int ITERATOR_EXP__COLLECT_HAS_ONE_ITERATOR
code
for constraint 'Validate Collect Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__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__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__CLOSURE_TYPE_IS_UNIQUE_COLLECTION
code
for constraint 'Validate Closure Type Is Unique Collection' of 'Iterator Exp'.
public static final int ITERATOR_EXP__CLOSURE_HAS_ONE_ITERATOR
code
for constraint 'Validate Closure Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__ANY_BODY_TYPE_IS_BOOLEAN
code
for constraint 'Validate Any Body Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__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__ANY_HAS_ONE_ITERATOR
code
for constraint 'Validate Any Has One Iterator' of 'Iterator Exp'.
public static final int LET_EXP__TYPE_IS_IN_TYPE
code
for constraint 'Validate Type Is In Type' of 'Let Exp'.
public static final int LOOP_EXP__NO_INITIALIZERS
code
for constraint 'Validate No Initializers' of 'Loop Exp'.
public static final int LOOP_EXP__SOURCE_IS_COLLECTION
code
for constraint 'Validate Source Is Collection' of 'Loop Exp'.
public static final int MESSAGE_EXP__TARGET_IS_NOT_ACOLLECTION
code
for constraint 'Validate Target Is Not ACollection' of 'Message Exp'.
public static final int OPERATION__COMPATIBLE_RETURN
code
for constraint 'Validate Compatible Return' of 'Operation'.
public static final int MESSAGE_EXP__ONE_CALL_OR_ONE_SEND
code
for constraint 'Validate One Call Or One Send' of 'Message Exp'.
public static final int OPERATION__LOADABLE_IMPLEMENTATION
code
for constraint 'Validate Loadable Implementation' of 'Operation'.
public static final int OPERATION__UNIQUE_PRECONDITION_NAME
code
for constraint 'Validate Unique Precondition Name' of 'Operation'.
public static final int OPERATION__UNIQUE_POSTCONDITION_NAME
code
for constraint 'Validate Unique Postcondition Name' of 'Operation'.
public static final int OPERATION_CALL_EXP__ARGUMENT_TYPE_IS_CONFORMANT
code
for constraint 'Validate Argument Type Is Conformant' of 'Operation Call Exp'.
public static final int OPERATION_CALL_EXP__ARGUMENT_COUNT
code
for constraint 'Validate Argument Count' of 'Operation Call Exp'.
public static final int PROPERTY__COMPATIBLE_DEFAULT_EXPRESSION
code
for constraint 'Validate Compatible Default Expression' of 'Property'.
public static final int PROPERTY_CALL_EXP__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__COMPATIBLE_RESULT_TYPE
code
for constraint 'Validate Compatible Result Type' of 'Property Call Exp'.
public static final int TYPE__UNIQUE_INVARIANT_NAME
code
for constraint 'Validate Unique Invariant Name' of 'Type'.
public static final int VARIABLE__COMPATIBLE_INITIALISER_TYPE
code
for constraint 'Validate Compatible Initialiser Type' of 'Variable'.
protected static final int DIAGNOSTIC_CODE_COUNT
Constructor Detail |
---|
public PivotValidator()
Method Detail |
---|
protected org.eclipse.emf.ecore.EPackage getEPackage()
getEPackage
in class org.eclipse.emf.ecore.util.EObjectValidator
protected boolean validate(int classifierID, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
validateXXX
for the corresponding classifier of the model.
validate
in class org.eclipse.emf.ecore.util.EObjectValidator
public boolean 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 validateType_validateUniqueInvariantName(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 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 validateTypedMultiplicityElement(TypedMultiplicityElement typedMultiplicityElement, 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 validateUnspecifiedType(UnspecifiedType unspecifiedType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateParameterableElement(ParameterableElement parameterableElement, 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 validatePrecedence(Precedence precedence, 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 validateOperationTemplateParameter(OperationTemplateParameter operationTemplateParameter, 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 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 validateConstructorExp(ConstructorExp constructorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateConstructorPart(ConstructorPart constructorPart, 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 validateTypeTemplateParameter(TypeTemplateParameter typeTemplateParameter, 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 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 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 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 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 validateOpaqueExpression(OpaqueExpression opaqueExpression, 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 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 validateImport(Import import_, 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_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 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_validateIteratorTypeIsSourceElementType(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_validateSortedByHasOneIterator(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateRejectOrSelectTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateRejectOrSelectTypeIsSourceType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateRejectOrSelectHasOneIterator(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateOneBodyTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateOneTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateOneHasOneIterator(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateIsUniqueTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateIsUniqueHasOneIterator(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateForAllBodyTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateForAllTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateExistsBodyTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateExistsTypeIsBoolean(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateCollectNestedTypeIsBodyType(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateCollectNestedTypeIsBag(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateCollectNestedHasOneIterator(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateIteratorExp_validateCollectElementTypeIsSourceElementType(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_validateCollectHasOneIterator(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_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 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 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 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 validateMetaclass(Metaclass<?> metaclass, 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 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_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 validatePackageableElement(PackageableElement packageableElement, 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_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 validateRoot(Root root, 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 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 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 validateStringLiteralExp(StringLiteralExp stringLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTemplateParameterType(TemplateParameterType templateParameterType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public 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 validateTypeExtension(TypeExtension typeExtension, 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 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 validateVisitor(Visitor<?> visitor, 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 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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |