org.eclipse.ocl.examples.pivot.util
Class PivotValidator

java.lang.Object
  org.eclipse.emf.ecore.util.EObjectValidator
      org.eclipse.ocl.examples.pivot.util.PivotValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator

public class PivotValidator
extends org.eclipse.emf.ecore.util.EObjectValidator

The Validator for the model.

See Also:

PivotPackage

Generated

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'.

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	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	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	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(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

INSTANCE

public static final PivotValidator INSTANCE

The cached model package

Generated

DIAGNOSTIC_SOURCE

public static final java.lang.String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:

Diagnostic.getSource(), Diagnostic.getCode(), Constant Field Values

Generated

BOOLEAN_LITERAL_EXP__TYPE_IS_BOOLEAN

public static final int BOOLEAN_LITERAL_EXP__TYPE_IS_BOOLEAN

The code for constraint 'Validate Type Is Boolean' of 'Boolean Literal Exp'.

See Also:

Constant Field Values

Generated

COLLECTION_ITEM__TYPE_IS_ITEM_TYPE

public static final int COLLECTION_ITEM__TYPE_IS_ITEM_TYPE

The code for constraint 'Validate Type Is Item Type' of 'Collection Item'.

See Also:

Constant Field Values

Generated

COLLECTION_LITERAL_EXP__BAG_KIND_IS_BAG

public static final int COLLECTION_LITERAL_EXP__BAG_KIND_IS_BAG

The code for constraint 'Validate Bag Kind Is Bag' of 'Collection Literal Exp'.

See Also:

Constant Field Values

Generated

COLLECTION_LITERAL_EXP__SEQUENCE_KIND_IS_SEQUENCE

public static final int COLLECTION_LITERAL_EXP__SEQUENCE_KIND_IS_SEQUENCE

The code for constraint 'Validate Sequence Kind Is Sequence' of 'Collection Literal Exp'.

See Also:

Constant Field Values

Generated

COLLECTION_LITERAL_EXP__ORDERED_SET_KIND_IS_ORDERED_SET

public static final 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'.

See Also:

Constant Field Values

Generated

COLLECTION_LITERAL_EXP__SET_KIND_IS_SET

public static final int COLLECTION_LITERAL_EXP__SET_KIND_IS_SET

The code for constraint 'Validate Set Kind Is Set' of 'Collection Literal Exp'.

See Also:

Constant Field Values

Generated

COLLECTION_LITERAL_EXP__COLLECTION_KIND_IS_CONCRETE

public static final int COLLECTION_LITERAL_EXP__COLLECTION_KIND_IS_CONCRETE

The code for constraint 'Validate Collection Kind Is Concrete' of 'Collection Literal Exp'.

See Also:

Constant Field Values

Generated

CONSTRAINT__UNIQUE_NAME

public static final int CONSTRAINT__UNIQUE_NAME

The code for constraint 'Validate Unique Name' of 'Constraint'.

See Also:

Constant Field Values

Generated

ENUM_LITERAL_EXP__TYPE_IS_ENUMERATION_TYPE

public static final int ENUM_LITERAL_EXP__TYPE_IS_ENUMERATION_TYPE

The code for constraint 'Validate Type Is Enumeration Type' of 'Enum Literal Exp'.

See Also:

Constant Field Values

Generated

IF_EXP__CONDITION_TYPE_IS_BOOLEAN

public static final int IF_EXP__CONDITION_TYPE_IS_BOOLEAN

The code for constraint 'Validate Condition Type Is Boolean' of 'If Exp'.

See Also:

Constant Field Values

Generated

INTEGER_LITERAL_EXP__TYPE_IS_INTEGER

public static final int INTEGER_LITERAL_EXP__TYPE_IS_INTEGER

The code for constraint 'Validate Type Is Integer' of 'Integer Literal Exp'.

See Also:

Constant Field Values

Generated

ITERATE_EXP__ONE_INITIALIZER

public static final int ITERATE_EXP__ONE_INITIALIZER

The code for constraint 'Validate One Initializer' of 'Iterate Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__CLOSURE_BODY_TYPE_IS_CONFORMANTTO_ITERATOR_TYPE

public static final 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'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__SORTED_BY_ITERATOR_TYPE_IS_COMPARABLE

public static final int ITERATOR_EXP__SORTED_BY_ITERATOR_TYPE_IS_COMPARABLE

The code for constraint 'Validate Sorted By Iterator Type Is Comparable' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATE_EXP__BODY_TYPE_CONFORMS_TO_RESULT_TYPE

public static final int ITERATE_EXP__BODY_TYPE_CONFORMS_TO_RESULT_TYPE

The code for constraint 'Validate Body Type Conforms To Result Type' of 'Iterate Exp'.

See Also:

Constant Field Values

Generated

ITERATE_EXP__TYPE_IS_RESULT_TYPE

public static final int ITERATE_EXP__TYPE_IS_RESULT_TYPE

The code for constraint 'Validate Type Is Result Type' of 'Iterate Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__ITERATOR_TYPE_IS_SOURCE_ELEMENT_TYPE

public static final int ITERATOR_EXP__ITERATOR_TYPE_IS_SOURCE_ELEMENT_TYPE

The code for constraint 'Validate Iterator Type Is Source Element Type' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__SORTED_BY_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE

public static final 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'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__SORTED_BY_IS_ORDERED_IF_SOURCE_IS_ORDERED

public static final 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'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__SORTED_BY_HAS_ONE_ITERATOR

public static final int ITERATOR_EXP__SORTED_BY_HAS_ONE_ITERATOR

The code for constraint 'Validate Sorted By Has One Iterator' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__REJECT_OR_SELECT_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__REJECT_OR_SELECT_TYPE_IS_BOOLEAN

The code for constraint 'Validate Reject Or Select Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__REJECT_OR_SELECT_TYPE_IS_SOURCE_TYPE

public static final 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'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__REJECT_OR_SELECT_HAS_ONE_ITERATOR

public static final int ITERATOR_EXP__REJECT_OR_SELECT_HAS_ONE_ITERATOR

The code for constraint 'Validate Reject Or Select Has One Iterator' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__ONE_BODY_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__ONE_BODY_TYPE_IS_BOOLEAN

The code for constraint 'Validate One Body Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__ONE_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__ONE_TYPE_IS_BOOLEAN

The code for constraint 'Validate One Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__ONE_HAS_ONE_ITERATOR

public static final int ITERATOR_EXP__ONE_HAS_ONE_ITERATOR

The code for constraint 'Validate One Has One Iterator' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__IS_UNIQUE_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__IS_UNIQUE_TYPE_IS_BOOLEAN

The code for constraint 'Validate Is Unique Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__IS_UNIQUE_HAS_ONE_ITERATOR

public static final int ITERATOR_EXP__IS_UNIQUE_HAS_ONE_ITERATOR

The code for constraint 'Validate Is Unique Has One Iterator' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__FOR_ALL_BODY_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__FOR_ALL_BODY_TYPE_IS_BOOLEAN

The code for constraint 'Validate For All Body Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__FOR_ALL_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__FOR_ALL_TYPE_IS_BOOLEAN

The code for constraint 'Validate For All Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__EXISTS_BODY_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__EXISTS_BODY_TYPE_IS_BOOLEAN

The code for constraint 'Validate Exists Body Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__EXISTS_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__EXISTS_TYPE_IS_BOOLEAN

The code for constraint 'Validate Exists Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__COLLECT_NESTED_TYPE_IS_BODY_TYPE

public static final int ITERATOR_EXP__COLLECT_NESTED_TYPE_IS_BODY_TYPE

The code for constraint 'Validate Collect Nested Type Is Body Type' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__COLLECT_NESTED_TYPE_IS_BAG

public static final int ITERATOR_EXP__COLLECT_NESTED_TYPE_IS_BAG

The code for constraint 'Validate Collect Nested Type Is Bag' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__COLLECT_NESTED_HAS_ONE_ITERATOR

public static final int ITERATOR_EXP__COLLECT_NESTED_HAS_ONE_ITERATOR

The code for constraint 'Validate Collect Nested Has One Iterator' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__COLLECT_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE

public static final 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'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__COLLECT_TYPE_IS_UNORDERED

public static final int ITERATOR_EXP__COLLECT_TYPE_IS_UNORDERED

The code for constraint 'Validate Collect Type Is Unordered' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__COLLECT_HAS_ONE_ITERATOR

public static final int ITERATOR_EXP__COLLECT_HAS_ONE_ITERATOR

The code for constraint 'Validate Collect Has One Iterator' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__CLOSURE_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE

public static final 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'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__CLOSURE_SOURCE_ELEMENT_TYPE_IS_BODY_ELEMENT_TYPE

public static final 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'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__CLOSURE_TYPE_IS_UNIQUE_COLLECTION

public static final int ITERATOR_EXP__CLOSURE_TYPE_IS_UNIQUE_COLLECTION

The code for constraint 'Validate Closure Type Is Unique Collection' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__CLOSURE_HAS_ONE_ITERATOR

public static final int ITERATOR_EXP__CLOSURE_HAS_ONE_ITERATOR

The code for constraint 'Validate Closure Has One Iterator' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__ANY_BODY_TYPE_IS_BOOLEAN

public static final int ITERATOR_EXP__ANY_BODY_TYPE_IS_BOOLEAN

The code for constraint 'Validate Any Body Type Is Boolean' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__ANY_TYPE_IS_SOURCE_ELEMENT_TYPE

public static final int ITERATOR_EXP__ANY_TYPE_IS_SOURCE_ELEMENT_TYPE

The code for constraint 'Validate Any Type Is Source Element Type' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

ITERATOR_EXP__ANY_HAS_ONE_ITERATOR

public static final int ITERATOR_EXP__ANY_HAS_ONE_ITERATOR

The code for constraint 'Validate Any Has One Iterator' of 'Iterator Exp'.

See Also:

Constant Field Values

Generated

LET_EXP__TYPE_IS_IN_TYPE

public static final int LET_EXP__TYPE_IS_IN_TYPE

The code for constraint 'Validate Type Is In Type' of 'Let Exp'.

See Also:

Constant Field Values

Generated

LOOP_EXP__NO_INITIALIZERS

public static final int LOOP_EXP__NO_INITIALIZERS

The code for constraint 'Validate No Initializers' of 'Loop Exp'.

See Also:

Constant Field Values

Generated

LOOP_EXP__SOURCE_IS_COLLECTION

public static final int LOOP_EXP__SOURCE_IS_COLLECTION

The code for constraint 'Validate Source Is Collection' of 'Loop Exp'.

See Also:

Constant Field Values

Generated

MESSAGE_EXP__TARGET_IS_NOT_ACOLLECTION

public static final int MESSAGE_EXP__TARGET_IS_NOT_ACOLLECTION

The code for constraint 'Validate Target Is Not ACollection' of 'Message Exp'.

See Also:

Constant Field Values

Generated

OPERATION__COMPATIBLE_RETURN

public static final int OPERATION__COMPATIBLE_RETURN

The code for constraint 'Validate Compatible Return' of 'Operation'.

See Also:

Constant Field Values

Generated

MESSAGE_EXP__ONE_CALL_OR_ONE_SEND

public static final int MESSAGE_EXP__ONE_CALL_OR_ONE_SEND

The code for constraint 'Validate One Call Or One Send' of 'Message Exp'.

See Also:

Constant Field Values

Generated

OPERATION__LOADABLE_IMPLEMENTATION

public static final int OPERATION__LOADABLE_IMPLEMENTATION

The code for constraint 'Validate Loadable Implementation' of 'Operation'.

See Also:

Constant Field Values

Generated

OPERATION__UNIQUE_PRECONDITION_NAME

public static final int OPERATION__UNIQUE_PRECONDITION_NAME

The code for constraint 'Validate Unique Precondition Name' of 'Operation'.

See Also:

Constant Field Values

Generated

OPERATION__UNIQUE_POSTCONDITION_NAME

public static final int OPERATION__UNIQUE_POSTCONDITION_NAME

The code for constraint 'Validate Unique Postcondition Name' of 'Operation'.

See Also:

Constant Field Values

Generated

OPERATION_CALL_EXP__ARGUMENT_TYPE_IS_CONFORMANT

public static final int OPERATION_CALL_EXP__ARGUMENT_TYPE_IS_CONFORMANT

The code for constraint 'Validate Argument Type Is Conformant' of 'Operation Call Exp'.

See Also:

Constant Field Values

Generated

OPERATION_CALL_EXP__ARGUMENT_COUNT

public static final int OPERATION_CALL_EXP__ARGUMENT_COUNT

The code for constraint 'Validate Argument Count' of 'Operation Call Exp'.

See Also:

Constant Field Values

Generated

PROPERTY__COMPATIBLE_DEFAULT_EXPRESSION

public static final int PROPERTY__COMPATIBLE_DEFAULT_EXPRESSION

The code for constraint 'Validate Compatible Default Expression' of 'Property'.

See Also:

Constant Field Values

Generated

PROPERTY_CALL_EXP__NON_STATIC_SOURCE_TYPE_IS_CONFORMANT

public static final 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'.

See Also:

Constant Field Values

Generated

PROPERTY_CALL_EXP__COMPATIBLE_RESULT_TYPE

public static final int PROPERTY_CALL_EXP__COMPATIBLE_RESULT_TYPE

The code for constraint 'Validate Compatible Result Type' of 'Property Call Exp'.

See Also:

Constant Field Values

Generated

TYPE__UNIQUE_INVARIANT_NAME

public static final int TYPE__UNIQUE_INVARIANT_NAME

The code for constraint 'Validate Unique Invariant Name' of 'Type'.

See Also:

Constant Field Values

Generated

DIAGNOSTIC_CODE_COUNT

protected static final 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.

See Also:

Constant Field Values

Generated

Constructor Detail

PivotValidator

public PivotValidator()

Creates an instance of the switch.

Generated

Method Detail

getEPackage

protected org.eclipse.emf.ecore.EPackage getEPackage()

Returns the package of this validator switch.

Overrides:

getEPackage in class org.eclipse.emf.ecore.util.EObjectValidator

Generated

validate

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.

Overrides:

validate in class org.eclipse.emf.ecore.util.EObjectValidator

Generated

validateAnnotation

public boolean validateAnnotation(Annotation annotation,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateAnyType

public boolean validateAnyType(AnyType anyType,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateType

public boolean validateType(Type type,
                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateType_validateUniqueInvariantName

public 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'.

Generated

validateNamedElement

public boolean validateNamedElement(NamedElement namedElement,
                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNamespace

public boolean validateNamespace(Namespace namespace,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateElement

public boolean validateElement(Element element,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateElementExtension

public boolean validateElementExtension(ElementExtension elementExtension,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateClass

public boolean validateClass(Class class_,
                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateProperty

public boolean validateProperty(Property property,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateProperty_validateCompatibleDefaultExpression

public 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'.

Generated

validateTypedElement

public boolean validateTypedElement(TypedElement typedElement,
                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTypedMultiplicityElement

public boolean validateTypedMultiplicityElement(TypedMultiplicityElement typedMultiplicityElement,
                                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnlimitedNaturalLiteralExp

public boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp,
                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnspecifiedType

public boolean validateUnspecifiedType(UnspecifiedType unspecifiedType,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateParameterableElement

public boolean validateParameterableElement(ParameterableElement parameterableElement,
                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePivotable

public boolean validatePivotable(Pivotable pivotable,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePrecedence

public boolean validatePrecedence(Precedence precedence,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateParameter

public boolean validateTemplateParameter(TemplateParameter templateParameter,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateSignature

public boolean validateTemplateSignature(TemplateSignature templateSignature,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateableElement

public boolean validateTemplateableElement(TemplateableElement templateableElement,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTransition

public boolean validateTransition(Transition transition,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTrigger

public boolean validateTrigger(Trigger trigger,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateBinding

public boolean validateTemplateBinding(TemplateBinding templateBinding,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateParameterSubstitution

public boolean validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution,
                                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateAssociationClass

public boolean validateAssociationClass(AssociationClass associationClass,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperation

public boolean validateOperation(Operation operation,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperation_validateCompatibleReturn

public 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'.

Generated

validateOperation_validateLoadableImplementation

public 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'.

Generated

validateOperation_validateUniquePreconditionName

public 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'.

Generated

validateOperation_validateUniquePostconditionName

public 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'.

Generated

validateParameter

public boolean validateParameter(Parameter parameter,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperationTemplateParameter

public boolean validateOperationTemplateParameter(OperationTemplateParameter operationTemplateParameter,
                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateComment

public boolean validateComment(Comment comment,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateConnectionPointReference

public boolean validateConnectionPointReference(ConnectionPointReference connectionPointReference,
                                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateConstraint

public boolean validateConstraint(Constraint constraint,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateConstraint_validateUniqueName

public 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'.

Generated

validateConstructorExp

public boolean validateConstructorExp(ConstructorExp constructorExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateConstructorPart

public boolean validateConstructorPart(ConstructorPart constructorPart,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePackage

public boolean validatePackage(Package package_,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTypeTemplateParameter

public boolean validateTypeTemplateParameter(TypeTemplateParameter typeTemplateParameter,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateAssociationClassCallExp

public boolean validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp,
                                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNavigationCallExp

public boolean validateNavigationCallExp(NavigationCallExp navigationCallExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateFeatureCallExp

public boolean validateFeatureCallExp(FeatureCallExp featureCallExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateFinalState

public boolean validateFinalState(FinalState finalState,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCallExp

public boolean validateCallExp(CallExp callExp,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCallOperationAction

public boolean validateCallOperationAction(CallOperationAction callOperationAction,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateBagType

public boolean validateBagType(BagType bagType,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateBehavior

public boolean validateBehavior(Behavior behavior,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionType

public boolean validateCollectionType(CollectionType collectionType,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateDataType

public boolean validateDataType(DataType dataType,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateDetail

public boolean validateDetail(Detail detail,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateDynamicElement

public boolean validateDynamicElement(DynamicElement dynamicElement,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateDynamicProperty

public boolean validateDynamicProperty(DynamicProperty dynamicProperty,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateDynamicType

public boolean validateDynamicType(DynamicType dynamicType,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateBooleanLiteralExp

public boolean validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateBooleanLiteralExp_validateTypeIsBoolean

public 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'.

Generated

validatePrimitiveLiteralExp

public boolean validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLiteralExp

public boolean validateLiteralExp(LiteralExp literalExp,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionItem

public boolean validateCollectionItem(CollectionItem collectionItem,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionItem_validateTypeIsItemType

public 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'.

Generated

validateCollectionLiteralPart

public boolean validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionLiteralExp

public boolean validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp,
                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionLiteralExp_validateBagKindIsBag

public 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'.

Generated

validateCollectionLiteralExp_validateSequenceKindIsSequence

public 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'.

Generated

validateCollectionLiteralExp_validateOrderedSetKindIsOrderedSet

public 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'.

Generated

validateCollectionLiteralExp_validateSetKindIsSet

public 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'.

Generated

validateCollectionLiteralExp_validateCollectionKindIsConcrete

public 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'.

Generated

validateCollectionRange

public boolean validateCollectionRange(CollectionRange collectionRange,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateEnumLiteralExp

public boolean validateEnumLiteralExp(EnumLiteralExp enumLiteralExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateEnumLiteralExp_validateTypeIsEnumerationType

public 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'.

Generated

validateEnumerationLiteral

public boolean validateEnumerationLiteral(EnumerationLiteral enumerationLiteral,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateExpressionInOCL

public boolean validateExpressionInOCL(ExpressionInOCL expressionInOCL,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateEnumeration

public boolean validateEnumeration(Enumeration enumeration,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateFeature

public boolean validateFeature(Feature feature,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOpaqueExpression

public boolean validateOpaqueExpression(OpaqueExpression opaqueExpression,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVariable

public boolean validateVariable(Variable variable,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVariableDeclaration

public boolean validateVariableDeclaration(VariableDeclaration variableDeclaration,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIfExp

public boolean validateIfExp(IfExp ifExp,
                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIfExp_validateConditionTypeIsBoolean

public 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'.

Generated

validateImport

public boolean validateImport(Import import_,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIntegerLiteralExp

public boolean validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIntegerLiteralExp_validateTypeIsInteger

public 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'.

Generated

validateNumericLiteralExp

public boolean validateNumericLiteralExp(NumericLiteralExp numericLiteralExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOCLExpression

public boolean validateOCLExpression(OCLExpression oclExpression,
                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateInvalidLiteralExp

public boolean validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateInvalidType

public boolean validateInvalidType(InvalidType invalidType,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIterateExp

public boolean validateIterateExp(IterateExp iterateExp,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIterateExp_validateOneInitializer

public 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'.

Generated

validateIterateExp_validateBodyTypeConformsToResultType

public 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'.

Generated

validateIterateExp_validateTypeIsResultType

public 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'.

Generated

validateIteration

public boolean validateIteration(Iteration iteration,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIteratorExp

public boolean validateIteratorExp(IteratorExp iteratorExp,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIteratorExp_validateClosureBodyTypeIsConformanttoIteratorType

public 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'.

Generated

validateIteratorExp_validateSortedByIteratorTypeIsComparable

public 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'.

Generated

validateIteratorExp_validateIteratorTypeIsSourceElementType

public 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'.

Generated

validateIteratorExp_validateSortedByElementTypeIsSourceElementType

public 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'.

Generated

validateIteratorExp_validateSortedByIsOrderedIfSourceIsOrdered

public 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'.

Generated

validateIteratorExp_validateSortedByHasOneIterator

public 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'.

Generated

validateIteratorExp_validateRejectOrSelectTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateRejectOrSelectTypeIsSourceType

public 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'.

Generated

validateIteratorExp_validateRejectOrSelectHasOneIterator

public 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'.

Generated

validateIteratorExp_validateOneBodyTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateOneTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateOneHasOneIterator

public 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'.

Generated

validateIteratorExp_validateIsUniqueTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateIsUniqueHasOneIterator

public 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'.

Generated

validateIteratorExp_validateForAllBodyTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateForAllTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateExistsBodyTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateExistsTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateCollectNestedTypeIsBodyType

public 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'.

Generated

validateIteratorExp_validateCollectNestedTypeIsBag

public 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'.

Generated

validateIteratorExp_validateCollectNestedHasOneIterator

public 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'.

Generated

validateIteratorExp_validateCollectElementTypeIsSourceElementType

public 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'.

Generated

validateIteratorExp_validateCollectTypeIsUnordered

public 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'.

Generated

validateIteratorExp_validateCollectHasOneIterator

public 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'.

Generated

validateIteratorExp_validateClosureElementTypeIsSourceElementType

public 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'.

Generated

validateIteratorExp_validateClosureSourceElementTypeIsBodyElementType

public 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'.

Generated

validateIteratorExp_validateClosureTypeIsUniqueCollection

public 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'.

Generated

validateIteratorExp_validateClosureHasOneIterator

public 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'.

Generated

validateIteratorExp_validateAnyBodyTypeIsBoolean

public 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'.

Generated

validateIteratorExp_validateAnyTypeIsSourceElementType

public 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'.

Generated

validateIteratorExp_validateAnyHasOneIterator

public 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'.

Generated

validateLambdaType

public boolean validateLambdaType(LambdaType lambdaType,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLoopExp

public boolean validateLoopExp(LoopExp loopExp,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLoopExp_validateNoInitializers

public 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'.

Generated

validateLoopExp_validateSourceIsCollection

public 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'.

Generated

validateLetExp

public boolean validateLetExp(LetExp letExp,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLetExp_validateTypeIsInType

public 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'.

Generated

validateLibrary

public boolean validateLibrary(Library library,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMessageExp

public boolean validateMessageExp(MessageExp messageExp,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMessageExp_validateTargetIsNotACollection

public 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'.

Generated

validateMessageExp_validateOneCallOrOneSend

public 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'.

Generated

validateMessageType

public boolean validateMessageType(MessageType messageType,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMetaclass

public boolean validateMetaclass(Metaclass metaclass,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMorePivotable

public boolean validateMorePivotable(MorePivotable morePivotable,
                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNameable

public boolean validateNameable(Nameable nameable,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSignal

public boolean validateSignal(Signal signal,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNullLiteralExp

public boolean validateNullLiteralExp(NullLiteralExp nullLiteralExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperationCallExp

public boolean validateOperationCallExp(OperationCallExp operationCallExp,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperationCallExp_validateArgumentTypeIsConformant

public 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'.

Generated

validateOperationCallExp_validateArgumentCount

public 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'.

Generated

validateOrderedSetType

public boolean validateOrderedSetType(OrderedSetType orderedSetType,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePackageableElement

public boolean validatePackageableElement(PackageableElement packageableElement,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePrimitiveType

public boolean validatePrimitiveType(PrimitiveType primitiveType,
                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateProfile

public boolean validateProfile(Profile profile,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePropertyCallExp

public boolean validatePropertyCallExp(PropertyCallExp propertyCallExp,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePropertyCallExp_validateNonStaticSourceTypeIsConformant

public 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'.

Generated

validatePropertyCallExp_validateCompatibleResultType

public 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'.

Generated

validatePseudostate

public boolean validatePseudostate(Pseudostate pseudostate,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateRealLiteralExp

public boolean validateRealLiteralExp(RealLiteralExp realLiteralExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateReferringElement

public boolean validateReferringElement(ReferringElement referringElement,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateRegion

public boolean validateRegion(Region region,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateRoot

public boolean validateRoot(Root root,
                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSelfType

public boolean validateSelfType(SelfType selfType,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSendSignalAction

public boolean validateSendSignalAction(SendSignalAction sendSignalAction,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSequenceType

public boolean validateSequenceType(SequenceType sequenceType,
                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSetType

public boolean validateSetType(SetType setType,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateState

public boolean validateState(State state,
                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateStateExp

public boolean validateStateExp(StateExp stateExp,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateStateMachine

public boolean validateStateMachine(StateMachine stateMachine,
                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateStereotype

public boolean validateStereotype(Stereotype stereotype,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateStringLiteralExp

public boolean validateStringLiteralExp(StringLiteralExp stringLiteralExp,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateParameterType

public boolean validateTemplateParameterType(TemplateParameterType templateParameterType,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTupleLiteralExp

public boolean validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTupleLiteralPart

public boolean validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTupleType

public boolean validateTupleType(TupleType tupleType,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTypeExp

public boolean validateTypeExp(TypeExp typeExp,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnspecifiedValueExp

public boolean validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateValueSpecification

public boolean validateValueSpecification(ValueSpecification valueSpecification,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVariableExp

public boolean validateVariableExp(VariableExp variableExp,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVertex

public boolean validateVertex(Vertex vertex,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVisitable

public boolean validateVisitable(Visitable visitable,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVisitor

public boolean validateVisitor(Visitor<?> visitor,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVoidType

public boolean validateVoidType(VoidType voidType,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateAssociativityKind

public boolean validateAssociativityKind(AssociativityKind associativityKind,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionKind

public boolean validateCollectionKind(CollectionKind collectionKind,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePseudostateKind

public boolean validatePseudostateKind(PseudostateKind pseudostateKind,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTransitionKind

public boolean validateTransitionKind(TransitionKind transitionKind,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateBoolean

public boolean validateBoolean(boolean boolean_,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateInteger

public boolean validateInteger(java.lang.Number integer,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLibraryFeature

public boolean validateLibraryFeature(LibraryFeature libraryFeature,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateObject

public boolean validateObject(java.lang.Object object,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateReal

public boolean validateReal(java.lang.Number real,
                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateString

public boolean validateString(java.lang.String string,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateThrowable

public boolean validateThrowable(java.lang.Throwable throwable,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnlimitedNatural

public boolean validateUnlimitedNatural(java.lang.Number unlimitedNatural,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

getResourceLocator

public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Overrides:

getResourceLocator in class org.eclipse.emf.ecore.util.EObjectValidator

Generated