org.eclipse.ocl.expressions.util
Class ExpressionsValidator

java.lang.Object
  extended by org.eclipse.emf.ecore.util.EObjectValidator
      extended by org.eclipse.ocl.expressions.util.ExpressionsValidator
All Implemented Interfaces:
org.eclipse.emf.ecore.EValidator

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

The Validator for the model.

See Also:
ExpressionsPackage
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__BOOLEAN_TYPE
          The code for constraint 'Check Boolean Type' of 'Boolean Literal Exp'.
static int COLLECTION_ITEM__ITEM_TYPE
          The code for constraint 'Check Item Type' of 'Collection Item'.
static int COLLECTION_LITERAL_EXP__BAG_KIND
          The code for constraint 'Check Bag Kind' of 'Collection Literal Exp'.
static int COLLECTION_LITERAL_EXP__ELEMENT_TYPE
          The code for constraint 'Check Element Type' of 'Collection Literal Exp'.
static int COLLECTION_LITERAL_EXP__NO_COLLECTION_INSTANCES
          The code for constraint 'Check No Collection Instances' of 'Collection Literal Exp'.
static int COLLECTION_LITERAL_EXP__SEQUENCE_KIND
          The code for constraint 'Check Sequence Kind' of 'Collection Literal Exp'.
static int COLLECTION_LITERAL_EXP__SET_KIND
          The code for constraint 'Check Set Kind' of 'Collection Literal Exp'.
static int COLLECTION_RANGE__RANGE_TYPE
          The code for constraint 'Check Range Type' of 'Collection Range'.
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__ENUM_TYPE
          The code for constraint 'Check Enum Type' of 'Enum Literal Exp'.
static int IF_EXP__BOOLEAN_CONDITION
          The code for constraint 'Check Boolean Condition' of 'If Exp'.
static int IF_EXP__IF_TYPE
          The code for constraint 'Check If Type' of 'If Exp'.
static ExpressionsValidator INSTANCE
          The cached model package
static int INTEGER_LITERAL_EXP__INTEGER_TYPE
          The code for constraint 'Check Integer Type' of 'Integer Literal Exp'.
static int ITERATE_EXP__BODY_TYPE
          The code for constraint 'Check Body Type' of 'Iterate Exp'.
static int ITERATE_EXP__ITERATE_TYPE
          The code for constraint 'Check Iterate Type' of 'Iterate Exp'.
static int ITERATE_EXP__RESULT_INIT
          The code for constraint 'Check Result Init' of 'Iterate Exp'.
static int ITERATOR_EXP__BOOLEAN_BODY_TYPE
          The code for constraint 'Check Boolean Body Type' of 'Iterator Exp'.
static int ITERATOR_EXP__BOOLEAN_TYPE
          The code for constraint 'Check Boolean Type' of 'Iterator Exp'.
static int ITERATOR_EXP__COLLECT_TYPE
          The code for constraint 'Check Collect Type' of 'Iterator Exp'.
static int ITERATOR_EXP__SELECT_REJECT_TYPE
          The code for constraint 'Check Select Reject Type' of 'Iterator Exp'.
static int LET_EXP__LET_TYPE
          The code for constraint 'Check Let Type' of 'Let Exp'.
static int LOOP_EXP__LOOP_VARIABLE_INIT
          The code for constraint 'Check Loop Variable Init' of 'Loop Exp'.
static int LOOP_EXP__LOOP_VARIABLE_TYPE
          The code for constraint 'Check Loop Variable Type' of 'Loop Exp'.
static int LOOP_EXP__SOURCE_COLLECTION
          The code for constraint 'Check Source Collection' of 'Loop Exp'.
static int MESSAGE_EXP__HAS_OPERATION_OR_SIGNAL
          The code for constraint 'Check Has Operation Or Signal' of 'Message Exp'.
static int MESSAGE_EXP__OPERATION_ARGUMENTS
          The code for constraint 'Check Operation Arguments' of 'Message Exp'.
static int MESSAGE_EXP__SIGNAL_ARGUMENTS
          The code for constraint 'Check Signal Arguments' of 'Message Exp'.
static int MESSAGE_EXP__TARGET_DEFINES_OPERATION
          The code for constraint 'Check Target Defines Operation' of 'Message Exp'.
static int MESSAGE_EXP__TARGET_NOT_COLLECTION
          The code for constraint 'Check Target Not Collection' of 'Message Exp'.
static int OPERATION_CALL_EXP__ARGUMENT_COUNT
          The code for constraint 'Check Argument Count' of 'Operation Call Exp'.
static int OPERATION_CALL_EXP__ARGUMENTS_CONFORM
          The code for constraint 'Check Arguments Conform' of 'Operation Call Exp'.
static int PROPERTY_CALL_EXP__PROPERTY_TYPE
          The code for constraint 'Check Property Type' of 'Property Call Exp'.
static int REAL_LITERAL_EXP__REAL_TYPE
          The code for constraint 'Check Real Type' of 'Real Literal Exp'.
static int STRING_LITERAL_EXP__STRING_TYPE
          The code for constraint 'Check String Type' of 'String Literal Exp'.
static int TUPLE_LITERAL_EXP__PARTS_UNIQUE
          The code for constraint 'Check Parts Unique' of 'Tuple Literal Exp'.
static int TUPLE_LITERAL_EXP__TUPLE_TYPE
          The code for constraint 'Check Tuple Type' of 'Tuple Literal Exp'.
static int TUPLE_LITERAL_PART__VALUE_TYPE
          The code for constraint 'Check Value Type' of 'Tuple Literal Part'.
static int UNLIMITED_NATURAL_LITERAL_EXP__NATURAL_TYPE
          The code for constraint 'Check Natural Type' of 'Unlimited Natural Literal Exp'.
static int VARIABLE__INIT_TYPE
          The code for constraint 'Check Init Type' of 'Variable'.
static int VARIABLE_EXP__VAR_TYPE
          The code for constraint 'Check Var Type' of 'Variable Exp'.
 
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
ExpressionsValidator()
          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 validateAssociationClassCallExp(AssociationClassCallExp<?,?> associationClassCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBooleanLiteralExp_checkBooleanType(BooleanLiteralExp<?> booleanLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkBooleanType 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 validateCollectionItem_checkItemType(CollectionItem<?> collectionItem, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkItemType 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_checkBagKind(CollectionLiteralExp<?> collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkBagKind constraint of 'Collection Literal Exp'.
 boolean validateCollectionLiteralExp_checkElementType(CollectionLiteralExp<?> collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkElementType constraint of 'Collection Literal Exp'.
 boolean validateCollectionLiteralExp_checkNoCollectionInstances(CollectionLiteralExp<?> collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkNoCollectionInstances constraint of 'Collection Literal Exp'.
 boolean validateCollectionLiteralExp_checkSequenceKind(CollectionLiteralExp<?> collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkSequenceKind constraint of 'Collection Literal Exp'.
 boolean validateCollectionLiteralExp_checkSetKind(CollectionLiteralExp<?> collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkSetKind 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_checkRangeType(CollectionRange<?> collectionRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkRangeType constraint of 'Collection Range'.
 boolean validateCollectionRange(CollectionRange<?> collectionRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEnumLiteralExp_checkEnumType(EnumLiteralExp<?,?> enumLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkEnumType 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 validateFeatureCallExp(FeatureCallExp<?> featureCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIfExp_checkBooleanCondition(IfExp<?> ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkBooleanCondition constraint of 'If Exp'.
 boolean validateIfExp_checkIfType(IfExp<?> ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkIfType 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 validateIntegerLiteralExp_checkIntegerType(IntegerLiteralExp<?> integerLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkIntegerType 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 validateIterateExp_checkBodyType(IterateExp<?,?> iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkBodyType constraint of 'Iterate Exp'.
 boolean validateIterateExp_checkIterateType(IterateExp<?,?> iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkIterateType constraint of 'Iterate Exp'.
 boolean validateIterateExp_checkResultInit(IterateExp<?,?> iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkResultInit 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 validateIteratorExp_checkBooleanBodyType(IteratorExp<?,?> iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkBooleanBodyType constraint of 'Iterator Exp'.
 boolean validateIteratorExp_checkBooleanType(IteratorExp<?,?> iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkBooleanType constraint of 'Iterator Exp'.
 boolean validateIteratorExp_checkCollectType(IteratorExp<?,?> iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkCollectType constraint of 'Iterator Exp'.
 boolean validateIteratorExp_checkSelectRejectType(IteratorExp<?,?> iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkSelectRejectType 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 validateLetExp_checkLetType(LetExp<?,?> letExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkLetType 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 validateLiteralExp(LiteralExp<?> literalExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateLoopExp_checkLoopVariableInit(LoopExp<?,?> loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkLoopVariableInit constraint of 'Loop Exp'.
 boolean validateLoopExp_checkLoopVariableType(LoopExp<?,?> loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkLoopVariableType constraint of 'Loop Exp'.
 boolean validateLoopExp_checkSourceCollection(LoopExp<?,?> loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkSourceCollection 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_checkHasOperationOrSignal(MessageExp<?,?,?> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkHasOperationOrSignal constraint of 'Message Exp'.
 boolean validateMessageExp_checkOperationArguments(MessageExp<?,?,?> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkOperationArguments constraint of 'Message Exp'.
 boolean validateMessageExp_checkSignalArguments(MessageExp<?,?,?> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkSignalArguments constraint of 'Message Exp'.
 boolean validateMessageExp_checkTargetDefinesOperation(MessageExp<?,?,?> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkTargetDefinesOperation constraint of 'Message Exp'.
 boolean validateMessageExp_checkTargetNotCollection(MessageExp<?,?,?> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkTargetNotCollection 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 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 validateOCLExpression(OCLExpression<?> oclExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOperationCallExp_checkArgumentCount(OperationCallExp<?,?> operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkArgumentCount constraint of 'Operation Call Exp'.
 boolean validateOperationCallExp_checkArgumentsConform(OperationCallExp<?,?> operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkArgumentsConform 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 validatePrimitiveLiteralExp(PrimitiveLiteralExp<?> primitiveLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyCallExp_checkPropertyType(PropertyCallExp<?,?> propertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkPropertyType 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 validateRealLiteralExp_checkRealType(RealLiteralExp<?> realLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkRealType constraint of 'Real Literal Exp'.
 boolean validateRealLiteralExp(RealLiteralExp<?> realLiteralExp, 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 validateStringLiteralExp_checkStringType(StringLiteralExp<?> stringLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkStringType constraint of 'String Literal Exp'.
 boolean validateStringLiteralExp(StringLiteralExp<?> stringLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTupleLiteralExp_checkPartsUnique(TupleLiteralExp<?,?> tupleLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkPartsUnique constraint of 'Tuple Literal Exp'.
 boolean validateTupleLiteralExp_checkTupleType(TupleLiteralExp<?,?> tupleLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkTupleType constraint of 'Tuple Literal Exp'.
 boolean validateTupleLiteralExp(TupleLiteralExp<?,?> tupleLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTupleLiteralPart_checkValueType(TupleLiteralPart<?,?> tupleLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkValueType constraint of 'Tuple Literal Part'.
 boolean validateTupleLiteralPart(TupleLiteralPart<?,?> tupleLiteralPart, 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 validateUnlimitedNaturalLiteralExp_checkNaturalType(UnlimitedNaturalLiteralExp<?> unlimitedNaturalLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkNaturalType constraint of 'Unlimited Natural Literal Exp'.
 boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<?> unlimitedNaturalLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnspecifiedValueExp(UnspecifiedValueExp<?> unspecifiedValueExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVariable_checkInitType(Variable<?,?> variable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkInitType constraint of 'Variable'.
 boolean validateVariable(Variable<?,?> variable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVariableExp_checkVarType(VariableExp<?,?> variableExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkVarType constraint of 'Variable Exp'.
 boolean validateVariableExp(VariableExp<?,?> variableExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 
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 ExpressionsValidator 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__BOOLEAN_TYPE

public static final int BOOLEAN_LITERAL_EXP__BOOLEAN_TYPE
The code for constraint 'Check Boolean Type' of 'Boolean Literal Exp'.

See Also:
Constant Field Values
Generated

COLLECTION_ITEM__ITEM_TYPE

public static final int COLLECTION_ITEM__ITEM_TYPE
The code for constraint 'Check Item Type' of 'Collection Item'.

See Also:
Constant Field Values
Generated

COLLECTION_LITERAL_EXP__NO_COLLECTION_INSTANCES

public static final int COLLECTION_LITERAL_EXP__NO_COLLECTION_INSTANCES
The code for constraint 'Check No Collection Instances' of 'Collection Literal Exp'.

See Also:
Constant Field Values
Generated

COLLECTION_LITERAL_EXP__SET_KIND

public static final int COLLECTION_LITERAL_EXP__SET_KIND
The code for constraint 'Check Set Kind' of 'Collection Literal Exp'.

See Also:
Constant Field Values
Generated

COLLECTION_LITERAL_EXP__SEQUENCE_KIND

public static final int COLLECTION_LITERAL_EXP__SEQUENCE_KIND
The code for constraint 'Check Sequence Kind' of 'Collection Literal Exp'.

See Also:
Constant Field Values
Generated

COLLECTION_LITERAL_EXP__BAG_KIND

public static final int COLLECTION_LITERAL_EXP__BAG_KIND
The code for constraint 'Check Bag Kind' of 'Collection Literal Exp'.

See Also:
Constant Field Values
Generated

COLLECTION_LITERAL_EXP__ELEMENT_TYPE

public static final int COLLECTION_LITERAL_EXP__ELEMENT_TYPE
The code for constraint 'Check Element Type' of 'Collection Literal Exp'.

See Also:
Constant Field Values
Generated

COLLECTION_RANGE__RANGE_TYPE

public static final int COLLECTION_RANGE__RANGE_TYPE
The code for constraint 'Check Range Type' of 'Collection Range'.

See Also:
Constant Field Values
Generated

ENUM_LITERAL_EXP__ENUM_TYPE

public static final int ENUM_LITERAL_EXP__ENUM_TYPE
The code for constraint 'Check Enum Type' of 'Enum Literal Exp'.

See Also:
Constant Field Values
Generated

IF_EXP__BOOLEAN_CONDITION

public static final int IF_EXP__BOOLEAN_CONDITION
The code for constraint 'Check Boolean Condition' of 'If Exp'.

See Also:
Constant Field Values
Generated

IF_EXP__IF_TYPE

public static final int IF_EXP__IF_TYPE
The code for constraint 'Check If Type' of 'If Exp'.

See Also:
Constant Field Values
Generated

INTEGER_LITERAL_EXP__INTEGER_TYPE

public static final int INTEGER_LITERAL_EXP__INTEGER_TYPE
The code for constraint 'Check Integer Type' of 'Integer Literal Exp'.

See Also:
Constant Field Values
Generated

UNLIMITED_NATURAL_LITERAL_EXP__NATURAL_TYPE

public static final int UNLIMITED_NATURAL_LITERAL_EXP__NATURAL_TYPE
The code for constraint 'Check Natural Type' of 'Unlimited Natural Literal Exp'.

See Also:
Constant Field Values
Generated

ITERATE_EXP__ITERATE_TYPE

public static final int ITERATE_EXP__ITERATE_TYPE
The code for constraint 'Check Iterate Type' of 'Iterate Exp'.

See Also:
Constant Field Values
Generated

ITERATE_EXP__BODY_TYPE

public static final int ITERATE_EXP__BODY_TYPE
The code for constraint 'Check Body Type' of 'Iterate Exp'.

See Also:
Constant Field Values
Generated

ITERATE_EXP__RESULT_INIT

public static final int ITERATE_EXP__RESULT_INIT
The code for constraint 'Check Result Init' of 'Iterate Exp'.

See Also:
Constant Field Values
Generated

LOOP_EXP__SOURCE_COLLECTION

public static final int LOOP_EXP__SOURCE_COLLECTION
The code for constraint 'Check Source Collection' of 'Loop Exp'.

See Also:
Constant Field Values
Generated

LOOP_EXP__LOOP_VARIABLE_INIT

public static final int LOOP_EXP__LOOP_VARIABLE_INIT
The code for constraint 'Check Loop Variable Init' of 'Loop Exp'.

See Also:
Constant Field Values
Generated

LOOP_EXP__LOOP_VARIABLE_TYPE

public static final int LOOP_EXP__LOOP_VARIABLE_TYPE
The code for constraint 'Check Loop Variable Type' of 'Loop Exp'.

See Also:
Constant Field Values
Generated

VARIABLE__INIT_TYPE

public static final int VARIABLE__INIT_TYPE
The code for constraint 'Check Init Type' of 'Variable'.

See Also:
Constant Field Values
Generated

ITERATOR_EXP__BOOLEAN_TYPE

public static final int ITERATOR_EXP__BOOLEAN_TYPE
The code for constraint 'Check Boolean Type' of 'Iterator Exp'.

See Also:
Constant Field Values
Generated

ITERATOR_EXP__COLLECT_TYPE

public static final int ITERATOR_EXP__COLLECT_TYPE
The code for constraint 'Check Collect Type' of 'Iterator Exp'.

See Also:
Constant Field Values
Generated

ITERATOR_EXP__SELECT_REJECT_TYPE

public static final int ITERATOR_EXP__SELECT_REJECT_TYPE
The code for constraint 'Check Select Reject Type' of 'Iterator Exp'.

See Also:
Constant Field Values
Generated

ITERATOR_EXP__BOOLEAN_BODY_TYPE

public static final int ITERATOR_EXP__BOOLEAN_BODY_TYPE
The code for constraint 'Check Boolean Body Type' of 'Iterator Exp'.

See Also:
Constant Field Values
Generated

LET_EXP__LET_TYPE

public static final int LET_EXP__LET_TYPE
The code for constraint 'Check Let Type' of 'Let Exp'.

See Also:
Constant Field Values
Generated

MESSAGE_EXP__OPERATION_ARGUMENTS

public static final int MESSAGE_EXP__OPERATION_ARGUMENTS
The code for constraint 'Check Operation Arguments' of 'Message Exp'.

See Also:
Constant Field Values
Generated

MESSAGE_EXP__SIGNAL_ARGUMENTS

public static final int MESSAGE_EXP__SIGNAL_ARGUMENTS
The code for constraint 'Check Signal Arguments' of 'Message Exp'.

See Also:
Constant Field Values
Generated

MESSAGE_EXP__TARGET_DEFINES_OPERATION

public static final int MESSAGE_EXP__TARGET_DEFINES_OPERATION
The code for constraint 'Check Target Defines Operation' of 'Message Exp'.

See Also:
Constant Field Values
Generated

MESSAGE_EXP__HAS_OPERATION_OR_SIGNAL

public static final int MESSAGE_EXP__HAS_OPERATION_OR_SIGNAL
The code for constraint 'Check Has Operation Or Signal' of 'Message Exp'.

See Also:
Constant Field Values
Generated

MESSAGE_EXP__TARGET_NOT_COLLECTION

public static final int MESSAGE_EXP__TARGET_NOT_COLLECTION
The code for constraint 'Check Target Not Collection' of 'Message Exp'.

See Also:
Constant Field Values
Generated

OPERATION_CALL_EXP__ARGUMENTS_CONFORM

public static final int OPERATION_CALL_EXP__ARGUMENTS_CONFORM
The code for constraint 'Check Arguments Conform' 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 'Check Argument Count' of 'Operation Call Exp'.

See Also:
Constant Field Values
Generated

PROPERTY_CALL_EXP__PROPERTY_TYPE

public static final int PROPERTY_CALL_EXP__PROPERTY_TYPE
The code for constraint 'Check Property Type' of 'Property Call Exp'.

See Also:
Constant Field Values
Generated

REAL_LITERAL_EXP__REAL_TYPE

public static final int REAL_LITERAL_EXP__REAL_TYPE
The code for constraint 'Check Real Type' of 'Real Literal Exp'.

See Also:
Constant Field Values
Generated

STRING_LITERAL_EXP__STRING_TYPE

public static final int STRING_LITERAL_EXP__STRING_TYPE
The code for constraint 'Check String Type' of 'String Literal Exp'.

See Also:
Constant Field Values
Generated

TUPLE_LITERAL_EXP__TUPLE_TYPE

public static final int TUPLE_LITERAL_EXP__TUPLE_TYPE
The code for constraint 'Check Tuple Type' of 'Tuple Literal Exp'.

See Also:
Constant Field Values
Generated

TUPLE_LITERAL_EXP__PARTS_UNIQUE

public static final int TUPLE_LITERAL_EXP__PARTS_UNIQUE
The code for constraint 'Check Parts Unique' of 'Tuple Literal Exp'.

See Also:
Constant Field Values
Generated

TUPLE_LITERAL_PART__VALUE_TYPE

public static final int TUPLE_LITERAL_PART__VALUE_TYPE
The code for constraint 'Check Value Type' of 'Tuple Literal Part'.

See Also:
Constant Field Values
Generated

VARIABLE_EXP__VAR_TYPE

public static final int VARIABLE_EXP__VAR_TYPE
The code for constraint 'Check Var Type' of 'Variable Exp'.

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

ExpressionsValidator

public ExpressionsValidator()
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

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

validateCallExp

public boolean validateCallExp(CallExp<?> callExp,
                               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

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_checkBooleanType

public boolean validateBooleanLiteralExp_checkBooleanType(BooleanLiteralExp<?> booleanLiteralExp,
                                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                          java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBooleanType 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_checkItemType

public boolean validateCollectionItem_checkItemType(CollectionItem<?> collectionItem,
                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkItemType 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_checkNoCollectionInstances

public boolean validateCollectionLiteralExp_checkNoCollectionInstances(CollectionLiteralExp<?> collectionLiteralExp,
                                                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                       java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkNoCollectionInstances constraint of 'Collection Literal Exp'.

Generated

validateCollectionLiteralExp_checkSetKind

public boolean validateCollectionLiteralExp_checkSetKind(CollectionLiteralExp<?> collectionLiteralExp,
                                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                         java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSetKind constraint of 'Collection Literal Exp'.

Generated

validateCollectionLiteralExp_checkSequenceKind

public boolean validateCollectionLiteralExp_checkSequenceKind(CollectionLiteralExp<?> collectionLiteralExp,
                                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSequenceKind constraint of 'Collection Literal Exp'.

Generated

validateCollectionLiteralExp_checkBagKind

public boolean validateCollectionLiteralExp_checkBagKind(CollectionLiteralExp<?> collectionLiteralExp,
                                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                         java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBagKind constraint of 'Collection Literal Exp'.

Generated

validateCollectionLiteralExp_checkElementType

public boolean validateCollectionLiteralExp_checkElementType(CollectionLiteralExp<?> collectionLiteralExp,
                                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                             java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkElementType 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

validateCollectionRange_checkRangeType

public boolean validateCollectionRange_checkRangeType(CollectionRange<?> collectionRange,
                                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                      java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkRangeType constraint of 'Collection Range'.

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_checkEnumType

public boolean validateEnumLiteralExp_checkEnumType(EnumLiteralExp<?,?> enumLiteralExp,
                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkEnumType constraint of 'Enum Literal Exp'.

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_checkBooleanCondition

public boolean validateIfExp_checkBooleanCondition(IfExp<?> ifExp,
                                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                   java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBooleanCondition constraint of 'If Exp'.

Generated

validateIfExp_checkIfType

public boolean validateIfExp_checkIfType(IfExp<?> ifExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkIfType constraint of 'If Exp'.

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_checkIntegerType

public boolean validateIntegerLiteralExp_checkIntegerType(IntegerLiteralExp<?> integerLiteralExp,
                                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                          java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkIntegerType 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

validateUnlimitedNaturalLiteralExp

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

Generated

validateUnlimitedNaturalLiteralExp_checkNaturalType

public boolean validateUnlimitedNaturalLiteralExp_checkNaturalType(UnlimitedNaturalLiteralExp<?> unlimitedNaturalLiteralExp,
                                                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                   java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkNaturalType constraint of 'Unlimited Natural Literal Exp'.

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

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_checkIterateType

public boolean validateIterateExp_checkIterateType(IterateExp<?,?> iterateExp,
                                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                   java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkIterateType constraint of 'Iterate Exp'.

Generated

validateIterateExp_checkBodyType

public boolean validateIterateExp_checkBodyType(IterateExp<?,?> iterateExp,
                                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBodyType constraint of 'Iterate Exp'.

Generated

validateIterateExp_checkResultInit

public boolean validateIterateExp_checkResultInit(IterateExp<?,?> iterateExp,
                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkResultInit constraint of 'Iterate Exp'.

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_checkSourceCollection

public boolean validateLoopExp_checkSourceCollection(LoopExp<?,?> loopExp,
                                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                     java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSourceCollection constraint of 'Loop Exp'.

Generated

validateLoopExp_checkLoopVariableInit

public boolean validateLoopExp_checkLoopVariableInit(LoopExp<?,?> loopExp,
                                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                     java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkLoopVariableInit constraint of 'Loop Exp'.

Generated

validateLoopExp_checkLoopVariableType

public boolean validateLoopExp_checkLoopVariableType(LoopExp<?,?> loopExp,
                                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                     java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkLoopVariableType constraint of 'Loop Exp'.

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

validateVariable_checkInitType

public boolean validateVariable_checkInitType(Variable<?,?> variable,
                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkInitType constraint of 'Variable'.

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_checkBooleanType

public boolean validateIteratorExp_checkBooleanType(IteratorExp<?,?> iteratorExp,
                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBooleanType constraint of 'Iterator Exp'.

Generated

validateIteratorExp_checkCollectType

public boolean validateIteratorExp_checkCollectType(IteratorExp<?,?> iteratorExp,
                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkCollectType constraint of 'Iterator Exp'.

Generated

validateIteratorExp_checkSelectRejectType

public boolean validateIteratorExp_checkSelectRejectType(IteratorExp<?,?> iteratorExp,
                                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                         java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSelectRejectType constraint of 'Iterator Exp'.

Generated

validateIteratorExp_checkBooleanBodyType

public boolean validateIteratorExp_checkBooleanBodyType(IteratorExp<?,?> iteratorExp,
                                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                        java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBooleanBodyType constraint of 'Iterator 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_checkLetType

public boolean validateLetExp_checkLetType(LetExp<?,?> letExp,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkLetType constraint of 'Let Exp'.

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_checkOperationArguments

public boolean validateMessageExp_checkOperationArguments(MessageExp<?,?,?> messageExp,
                                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                          java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkOperationArguments constraint of 'Message Exp'.

Generated

validateMessageExp_checkSignalArguments

public boolean validateMessageExp_checkSignalArguments(MessageExp<?,?,?> messageExp,
                                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                       java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSignalArguments constraint of 'Message Exp'.

Generated

validateMessageExp_checkTargetDefinesOperation

public boolean validateMessageExp_checkTargetDefinesOperation(MessageExp<?,?,?> messageExp,
                                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkTargetDefinesOperation constraint of 'Message Exp'.

Generated

validateMessageExp_checkHasOperationOrSignal

public boolean validateMessageExp_checkHasOperationOrSignal(MessageExp<?,?,?> messageExp,
                                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                            java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkHasOperationOrSignal constraint of 'Message Exp'.

Generated

validateMessageExp_checkTargetNotCollection

public boolean validateMessageExp_checkTargetNotCollection(MessageExp<?,?,?> messageExp,
                                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                           java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkTargetNotCollection constraint of 'Message Exp'.

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_checkArgumentsConform

public boolean validateOperationCallExp_checkArgumentsConform(OperationCallExp<?,?> operationCallExp,
                                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkArgumentsConform constraint of 'Operation Call Exp'.

Generated

validateOperationCallExp_checkArgumentCount

public boolean validateOperationCallExp_checkArgumentCount(OperationCallExp<?,?> operationCallExp,
                                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                           java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkArgumentCount constraint of 'Operation Call Exp'.

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_checkPropertyType

public boolean validatePropertyCallExp_checkPropertyType(PropertyCallExp<?,?> propertyCallExp,
                                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                         java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkPropertyType constraint of 'Property Call Exp'.

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

validateRealLiteralExp_checkRealType

public boolean validateRealLiteralExp_checkRealType(RealLiteralExp<?> realLiteralExp,
                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkRealType constraint of 'Real Literal Exp'.

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

validateStringLiteralExp

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

Generated

validateStringLiteralExp_checkStringType

public boolean validateStringLiteralExp_checkStringType(StringLiteralExp<?> stringLiteralExp,
                                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                        java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkStringType constraint of 'String Literal Exp'.

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

validateTupleLiteralExp_checkTupleType

public boolean validateTupleLiteralExp_checkTupleType(TupleLiteralExp<?,?> tupleLiteralExp,
                                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                      java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkTupleType constraint of 'Tuple Literal Exp'.

Generated

validateTupleLiteralExp_checkPartsUnique

public boolean validateTupleLiteralExp_checkPartsUnique(TupleLiteralExp<?,?> tupleLiteralExp,
                                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                        java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkPartsUnique constraint of 'Tuple Literal Exp'.

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

validateTupleLiteralPart_checkValueType

public boolean validateTupleLiteralPart_checkValueType(TupleLiteralPart<?,?> tupleLiteralPart,
                                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                       java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkValueType constraint of 'Tuple Literal Part'.

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

validateVariableExp

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

Generated

validateVariableExp_checkVarType

public boolean validateVariableExp_checkVarType(VariableExp<?,?> variableExp,
                                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkVarType constraint of 'Variable Exp'.

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

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