ExpressionsValidator (Eclipse OCL 3.1.0.v20110913-1213 API)

java.lang.Object
- EObjectValidator
- - org.eclipse.ocl.expressions.util.ExpressionsValidator

public class ExpressionsValidator
extends EObjectValidator

The Validator for the model.

See Also:: ExpressionsPackage

Field Summary

Fields
Modifier and Type	Field and Description
`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 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'.

Constructor Summary

Constructors
Constructor and Description

ExpressionsValidator()
Creates an instance of the switch.

Constructors
Constructor and Description
`ExpressionsValidator()` Creates an instance of the switch.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected EPackage`	`getEPackage()` Returns the package of this validator switch.
`ResourceLocator`	`getResourceLocator()` Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
`protected boolean`	`validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object,Object> context)` Calls `validateXXX` for the corresponding classifier of the model.
`boolean`	`validateAssociationClassCallExp(AssociationClassCallExp<?,?> associationClassCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateBooleanLiteralExp_checkBooleanType(BooleanLiteralExp<?> booleanLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkBooleanType constraint of 'Boolean Literal Exp'.
`boolean`	`validateBooleanLiteralExp(BooleanLiteralExp<?> booleanLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateCallExp(CallExp<?> callExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateCollectionItem_checkItemType(CollectionItem<?> collectionItem, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkItemType constraint of 'Collection Item'.
`boolean`	`validateCollectionItem(CollectionItem<?> collectionItem, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateCollectionKind(CollectionKind collectionKind, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateCollectionLiteralExp_checkBagKind(CollectionLiteralExp<?> collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkBagKind constraint of 'Collection Literal Exp'.
`boolean`	`validateCollectionLiteralExp_checkElementType(CollectionLiteralExp<?> collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkElementType constraint of 'Collection Literal Exp'.
`boolean`	`validateCollectionLiteralExp_checkNoCollectionInstances(CollectionLiteralExp<?> collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkNoCollectionInstances constraint of 'Collection Literal Exp'.
`boolean`	`validateCollectionLiteralExp_checkSequenceKind(CollectionLiteralExp<?> collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkSequenceKind constraint of 'Collection Literal Exp'.
`boolean`	`validateCollectionLiteralExp_checkSetKind(CollectionLiteralExp<?> collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkSetKind constraint of 'Collection Literal Exp'.
`boolean`	`validateCollectionLiteralExp(CollectionLiteralExp<?> collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateCollectionLiteralPart(CollectionLiteralPart<?> collectionLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateCollectionRange_checkRangeType(CollectionRange<?> collectionRange, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkRangeType constraint of 'Collection Range'.
`boolean`	`validateCollectionRange(CollectionRange<?> collectionRange, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateEnumLiteralExp_checkEnumType(EnumLiteralExp<?,?> enumLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkEnumType constraint of 'Enum Literal Exp'.
`boolean`	`validateEnumLiteralExp(EnumLiteralExp<?,?> enumLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateFeatureCallExp(FeatureCallExp<?> featureCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateIfExp_checkBooleanCondition(IfExp<?> ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkBooleanCondition constraint of 'If Exp'.
`boolean`	`validateIfExp_checkIfType(IfExp<?> ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkIfType constraint of 'If Exp'.
`boolean`	`validateIfExp(IfExp<?> ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateIntegerLiteralExp_checkIntegerType(IntegerLiteralExp<?> integerLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkIntegerType constraint of 'Integer Literal Exp'.
`boolean`	`validateIntegerLiteralExp(IntegerLiteralExp<?> integerLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateInvalidLiteralExp(InvalidLiteralExp<?> invalidLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateIterateExp_checkBodyType(IterateExp<?,?> iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkBodyType constraint of 'Iterate Exp'.
`boolean`	`validateIterateExp_checkIterateType(IterateExp<?,?> iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkIterateType constraint of 'Iterate Exp'.
`boolean`	`validateIterateExp_checkResultInit(IterateExp<?,?> iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkResultInit constraint of 'Iterate Exp'.
`boolean`	`validateIterateExp(IterateExp<?,?> iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateIteratorExp_checkBooleanBodyType(IteratorExp<?,?> iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkBooleanBodyType constraint of 'Iterator Exp'.
`boolean`	`validateIteratorExp_checkBooleanType(IteratorExp<?,?> iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkBooleanType constraint of 'Iterator Exp'.
`boolean`	`validateIteratorExp_checkCollectType(IteratorExp<?,?> iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkCollectType constraint of 'Iterator Exp'.
`boolean`	`validateIteratorExp_checkSelectRejectType(IteratorExp<?,?> iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkSelectRejectType constraint of 'Iterator Exp'.
`boolean`	`validateIteratorExp(IteratorExp<?,?> iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateLetExp_checkLetType(LetExp<?,?> letExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkLetType constraint of 'Let Exp'.
`boolean`	`validateLetExp(LetExp<?,?> letExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateLiteralExp(LiteralExp<?> literalExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateLoopExp_checkLoopVariableInit(LoopExp<?,?> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkLoopVariableInit constraint of 'Loop Exp'.
`boolean`	`validateLoopExp_checkLoopVariableType(LoopExp<?,?> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkLoopVariableType constraint of 'Loop Exp'.
`boolean`	`validateLoopExp_checkSourceCollection(LoopExp<?,?> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkSourceCollection constraint of 'Loop Exp'.
`boolean`	`validateLoopExp(LoopExp<?,?> loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateMessageExp_checkHasOperationOrSignal(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkHasOperationOrSignal constraint of 'Message Exp'.
`boolean`	`validateMessageExp_checkOperationArguments(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkOperationArguments constraint of 'Message Exp'.
`boolean`	`validateMessageExp_checkSignalArguments(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkSignalArguments constraint of 'Message Exp'.
`boolean`	`validateMessageExp_checkTargetDefinesOperation(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkTargetDefinesOperation constraint of 'Message Exp'.
`boolean`	`validateMessageExp_checkTargetNotCollection(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkTargetNotCollection constraint of 'Message Exp'.
`boolean`	`validateMessageExp(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateNavigationCallExp(NavigationCallExp<?,?> navigationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateNullLiteralExp(NullLiteralExp<?> nullLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateNumericLiteralExp(NumericLiteralExp<?> numericLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateOCLExpression(OCLExpression<?> oclExpression, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateOperationCallExp_checkArgumentCount(OperationCallExp<?,?> operationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkArgumentCount constraint of 'Operation Call Exp'.
`boolean`	`validateOperationCallExp_checkArgumentsConform(OperationCallExp<?,?> operationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkArgumentsConform constraint of 'Operation Call Exp'.
`boolean`	`validateOperationCallExp(OperationCallExp<?,?> operationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validatePrimitiveLiteralExp(PrimitiveLiteralExp<?> primitiveLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validatePropertyCallExp_checkPropertyType(PropertyCallExp<?,?> propertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkPropertyType constraint of 'Property Call Exp'.
`boolean`	`validatePropertyCallExp(PropertyCallExp<?,?> propertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateRealLiteralExp_checkRealType(RealLiteralExp<?> realLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkRealType constraint of 'Real Literal Exp'.
`boolean`	`validateRealLiteralExp(RealLiteralExp<?> realLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateStateExp(StateExp<?,?> stateExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateStringLiteralExp_checkStringType(StringLiteralExp<?> stringLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkStringType constraint of 'String Literal Exp'.
`boolean`	`validateStringLiteralExp(StringLiteralExp<?> stringLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateTupleLiteralExp_checkPartsUnique(TupleLiteralExp<?,?> tupleLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkPartsUnique constraint of 'Tuple Literal Exp'.
`boolean`	`validateTupleLiteralExp_checkTupleType(TupleLiteralExp<?,?> tupleLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkTupleType constraint of 'Tuple Literal Exp'.
`boolean`	`validateTupleLiteralExp(TupleLiteralExp<?,?> tupleLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateTupleLiteralPart_checkValueType(TupleLiteralPart<?,?> tupleLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkValueType constraint of 'Tuple Literal Part'.
`boolean`	`validateTupleLiteralPart(TupleLiteralPart<?,?> tupleLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateTypeExp(TypeExp<?> typeExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateUnlimitedNaturalLiteralExp_checkNaturalType(UnlimitedNaturalLiteralExp<?> unlimitedNaturalLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkNaturalType constraint of 'Unlimited Natural Literal Exp'.
`boolean`	`validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<?> unlimitedNaturalLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateUnspecifiedValueExp(UnspecifiedValueExp<?> unspecifiedValueExp, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateVariable_checkInitType(Variable<?,?> variable, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkInitType constraint of 'Variable'.
`boolean`	`validateVariable(Variable<?,?> variable, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateVariableExp_checkVarType(VariableExp<?,?> variableExp, DiagnosticChain diagnostics, Map<Object,Object> context)` Validates the checkVarType constraint of 'Variable Exp'.
`boolean`	`validateVariableExp(VariableExp<?,?> variableExp, DiagnosticChain diagnostics, Map<Object,Object> context)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail
- INSTANCE
```
public static final ExpressionsValidator INSTANCE
```
  The cached model package
- DIAGNOSTIC_SOURCE
```
public static final String DIAGNOSTIC_SOURCE
```
  A constant for the source of diagnostic codes from this package.
  
  See Also:
  
  org.eclipse.emf.common.util.Diagnostic#getSource(), org.eclipse.emf.common.util.Diagnostic#getCode(), Constant Field Values
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- VARIABLE__INIT_TYPE
```
public static final int VARIABLE__INIT_TYPE
```
  The code for constraint 'Check Init Type' of 'Variable'.
  
  See Also:
  
  Constant Field Values
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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

Constructor Detail
- ExpressionsValidator
```
public ExpressionsValidator()
```
  Creates an instance of the switch.

Method Detail

getEPackage
```
protected EPackage getEPackage()
```
Returns the package of this validator switch.

validate

protected boolean validate(int classifierID,
                           Object value,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Calls validateXXX for the corresponding classifier of the model.

validateAssociationClassCallExp

public boolean validateAssociationClassCallExp(AssociationClassCallExp<?,?> associationClassCallExp,
                                               DiagnosticChain diagnostics,
                                               Map<Object,Object> context)

validateNavigationCallExp

public boolean validateNavigationCallExp(NavigationCallExp<?,?> navigationCallExp,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

validateFeatureCallExp

public boolean validateFeatureCallExp(FeatureCallExp<?> featureCallExp,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

validateCallExp

public boolean validateCallExp(CallExp<?> callExp,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

validateOCLExpression

public boolean validateOCLExpression(OCLExpression<?> oclExpression,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

validateBooleanLiteralExp

public boolean validateBooleanLiteralExp(BooleanLiteralExp<?> booleanLiteralExp,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

validateBooleanLiteralExp_checkBooleanType

public boolean validateBooleanLiteralExp_checkBooleanType(BooleanLiteralExp<?> booleanLiteralExp,
                                                          DiagnosticChain diagnostics,
                                                          Map<Object,Object> context)

Validates the checkBooleanType constraint of 'Boolean Literal Exp'.

validatePrimitiveLiteralExp

public boolean validatePrimitiveLiteralExp(PrimitiveLiteralExp<?> primitiveLiteralExp,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

validateLiteralExp

public boolean validateLiteralExp(LiteralExp<?> literalExp,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

validateCollectionItem

public boolean validateCollectionItem(CollectionItem<?> collectionItem,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

validateCollectionItem_checkItemType

public boolean validateCollectionItem_checkItemType(CollectionItem<?> collectionItem,
                                                    DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

Validates the checkItemType constraint of 'Collection Item'.

validateCollectionLiteralPart

public boolean validateCollectionLiteralPart(CollectionLiteralPart<?> collectionLiteralPart,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

validateCollectionLiteralExp

public boolean validateCollectionLiteralExp(CollectionLiteralExp<?> collectionLiteralExp,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

validateCollectionLiteralExp_checkNoCollectionInstances

public boolean validateCollectionLiteralExp_checkNoCollectionInstances(CollectionLiteralExp<?> collectionLiteralExp,
                                                                       DiagnosticChain diagnostics,
                                                                       Map<Object,Object> context)

Validates the checkNoCollectionInstances constraint of 'Collection Literal Exp'.

validateCollectionLiteralExp_checkSetKind

public boolean validateCollectionLiteralExp_checkSetKind(CollectionLiteralExp<?> collectionLiteralExp,
                                                         DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Validates the checkSetKind constraint of 'Collection Literal Exp'.

validateCollectionLiteralExp_checkSequenceKind

public boolean validateCollectionLiteralExp_checkSequenceKind(CollectionLiteralExp<?> collectionLiteralExp,
                                                              DiagnosticChain diagnostics,
                                                              Map<Object,Object> context)

Validates the checkSequenceKind constraint of 'Collection Literal Exp'.

validateCollectionLiteralExp_checkBagKind

public boolean validateCollectionLiteralExp_checkBagKind(CollectionLiteralExp<?> collectionLiteralExp,
                                                         DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Validates the checkBagKind constraint of 'Collection Literal Exp'.

validateCollectionLiteralExp_checkElementType

public boolean validateCollectionLiteralExp_checkElementType(CollectionLiteralExp<?> collectionLiteralExp,
                                                             DiagnosticChain diagnostics,
                                                             Map<Object,Object> context)

Validates the checkElementType constraint of 'Collection Literal Exp'.

validateCollectionRange

public boolean validateCollectionRange(CollectionRange<?> collectionRange,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

validateCollectionRange_checkRangeType

public boolean validateCollectionRange_checkRangeType(CollectionRange<?> collectionRange,
                                                      DiagnosticChain diagnostics,
                                                      Map<Object,Object> context)

Validates the checkRangeType constraint of 'Collection Range'.

validateEnumLiteralExp

public boolean validateEnumLiteralExp(EnumLiteralExp<?,?> enumLiteralExp,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

validateEnumLiteralExp_checkEnumType

public boolean validateEnumLiteralExp_checkEnumType(EnumLiteralExp<?,?> enumLiteralExp,
                                                    DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

Validates the checkEnumType constraint of 'Enum Literal Exp'.

validateIfExp

public boolean validateIfExp(IfExp<?> ifExp,
                             DiagnosticChain diagnostics,
                             Map<Object,Object> context)

validateIfExp_checkBooleanCondition

public boolean validateIfExp_checkBooleanCondition(IfExp<?> ifExp,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Validates the checkBooleanCondition constraint of 'If Exp'.

validateIfExp_checkIfType

public boolean validateIfExp_checkIfType(IfExp<?> ifExp,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Validates the checkIfType constraint of 'If Exp'.

validateIntegerLiteralExp

public boolean validateIntegerLiteralExp(IntegerLiteralExp<?> integerLiteralExp,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

validateIntegerLiteralExp_checkIntegerType

public boolean validateIntegerLiteralExp_checkIntegerType(IntegerLiteralExp<?> integerLiteralExp,
                                                          DiagnosticChain diagnostics,
                                                          Map<Object,Object> context)

Validates the checkIntegerType constraint of 'Integer Literal Exp'.

validateNumericLiteralExp

public boolean validateNumericLiteralExp(NumericLiteralExp<?> numericLiteralExp,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

validateUnlimitedNaturalLiteralExp

public boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<?> unlimitedNaturalLiteralExp,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

validateUnlimitedNaturalLiteralExp_checkNaturalType

public boolean validateUnlimitedNaturalLiteralExp_checkNaturalType(UnlimitedNaturalLiteralExp<?> unlimitedNaturalLiteralExp,
                                                                   DiagnosticChain diagnostics,
                                                                   Map<Object,Object> context)

Validates the checkNaturalType constraint of 'Unlimited Natural Literal Exp'.

validateInvalidLiteralExp

public boolean validateInvalidLiteralExp(InvalidLiteralExp<?> invalidLiteralExp,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

validateIterateExp

public boolean validateIterateExp(IterateExp<?,?> iterateExp,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

validateIterateExp_checkIterateType

public boolean validateIterateExp_checkIterateType(IterateExp<?,?> iterateExp,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Validates the checkIterateType constraint of 'Iterate Exp'.

validateIterateExp_checkBodyType

public boolean validateIterateExp_checkBodyType(IterateExp<?,?> iterateExp,
                                                DiagnosticChain diagnostics,
                                                Map<Object,Object> context)

Validates the checkBodyType constraint of 'Iterate Exp'.

validateIterateExp_checkResultInit

public boolean validateIterateExp_checkResultInit(IterateExp<?,?> iterateExp,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Validates the checkResultInit constraint of 'Iterate Exp'.

validateLoopExp

public boolean validateLoopExp(LoopExp<?,?> loopExp,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

validateLoopExp_checkSourceCollection

public boolean validateLoopExp_checkSourceCollection(LoopExp<?,?> loopExp,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Validates the checkSourceCollection constraint of 'Loop Exp'.

validateLoopExp_checkLoopVariableInit

public boolean validateLoopExp_checkLoopVariableInit(LoopExp<?,?> loopExp,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Validates the checkLoopVariableInit constraint of 'Loop Exp'.

validateLoopExp_checkLoopVariableType

public boolean validateLoopExp_checkLoopVariableType(LoopExp<?,?> loopExp,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Validates the checkLoopVariableType constraint of 'Loop Exp'.

validateVariable

public boolean validateVariable(Variable<?,?> variable,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

validateVariable_checkInitType

public boolean validateVariable_checkInitType(Variable<?,?> variable,
                                              DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Validates the checkInitType constraint of 'Variable'.

validateIteratorExp

public boolean validateIteratorExp(IteratorExp<?,?> iteratorExp,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

validateIteratorExp_checkBooleanType

public boolean validateIteratorExp_checkBooleanType(IteratorExp<?,?> iteratorExp,
                                                    DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

Validates the checkBooleanType constraint of 'Iterator Exp'.

validateIteratorExp_checkCollectType

public boolean validateIteratorExp_checkCollectType(IteratorExp<?,?> iteratorExp,
                                                    DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

Validates the checkCollectType constraint of 'Iterator Exp'.

validateIteratorExp_checkSelectRejectType

public boolean validateIteratorExp_checkSelectRejectType(IteratorExp<?,?> iteratorExp,
                                                         DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Validates the checkSelectRejectType constraint of 'Iterator Exp'.

validateIteratorExp_checkBooleanBodyType

public boolean validateIteratorExp_checkBooleanBodyType(IteratorExp<?,?> iteratorExp,
                                                        DiagnosticChain diagnostics,
                                                        Map<Object,Object> context)

Validates the checkBooleanBodyType constraint of 'Iterator Exp'.

validateLetExp

public boolean validateLetExp(LetExp<?,?> letExp,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

validateLetExp_checkLetType

public boolean validateLetExp_checkLetType(LetExp<?,?> letExp,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

Validates the checkLetType constraint of 'Let Exp'.

validateMessageExp

public boolean validateMessageExp(MessageExp<?,?,?> messageExp,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

validateMessageExp_checkOperationArguments

public boolean validateMessageExp_checkOperationArguments(MessageExp<?,?,?> messageExp,
                                                          DiagnosticChain diagnostics,
                                                          Map<Object,Object> context)

Validates the checkOperationArguments constraint of 'Message Exp'.

validateMessageExp_checkSignalArguments

public boolean validateMessageExp_checkSignalArguments(MessageExp<?,?,?> messageExp,
                                                       DiagnosticChain diagnostics,
                                                       Map<Object,Object> context)

Validates the checkSignalArguments constraint of 'Message Exp'.

validateMessageExp_checkTargetDefinesOperation

public boolean validateMessageExp_checkTargetDefinesOperation(MessageExp<?,?,?> messageExp,
                                                              DiagnosticChain diagnostics,
                                                              Map<Object,Object> context)

Validates the checkTargetDefinesOperation constraint of 'Message Exp'.

validateMessageExp_checkHasOperationOrSignal

public boolean validateMessageExp_checkHasOperationOrSignal(MessageExp<?,?,?> messageExp,
                                                            DiagnosticChain diagnostics,
                                                            Map<Object,Object> context)

Validates the checkHasOperationOrSignal constraint of 'Message Exp'.

validateMessageExp_checkTargetNotCollection

public boolean validateMessageExp_checkTargetNotCollection(MessageExp<?,?,?> messageExp,
                                                           DiagnosticChain diagnostics,
                                                           Map<Object,Object> context)

Validates the checkTargetNotCollection constraint of 'Message Exp'.

validateNullLiteralExp

public boolean validateNullLiteralExp(NullLiteralExp<?> nullLiteralExp,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

validateOperationCallExp

public boolean validateOperationCallExp(OperationCallExp<?,?> operationCallExp,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

validateOperationCallExp_checkArgumentsConform

public boolean validateOperationCallExp_checkArgumentsConform(OperationCallExp<?,?> operationCallExp,
                                                              DiagnosticChain diagnostics,
                                                              Map<Object,Object> context)

Validates the checkArgumentsConform constraint of 'Operation Call Exp'.

validateOperationCallExp_checkArgumentCount

public boolean validateOperationCallExp_checkArgumentCount(OperationCallExp<?,?> operationCallExp,
                                                           DiagnosticChain diagnostics,
                                                           Map<Object,Object> context)

Validates the checkArgumentCount constraint of 'Operation Call Exp'.

validatePropertyCallExp

public boolean validatePropertyCallExp(PropertyCallExp<?,?> propertyCallExp,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

validatePropertyCallExp_checkPropertyType

public boolean validatePropertyCallExp_checkPropertyType(PropertyCallExp<?,?> propertyCallExp,
                                                         DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Validates the checkPropertyType constraint of 'Property Call Exp'.

validateRealLiteralExp

public boolean validateRealLiteralExp(RealLiteralExp<?> realLiteralExp,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

validateRealLiteralExp_checkRealType

public boolean validateRealLiteralExp_checkRealType(RealLiteralExp<?> realLiteralExp,
                                                    DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

Validates the checkRealType constraint of 'Real Literal Exp'.

validateStateExp

public boolean validateStateExp(StateExp<?,?> stateExp,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

validateStringLiteralExp

public boolean validateStringLiteralExp(StringLiteralExp<?> stringLiteralExp,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

validateStringLiteralExp_checkStringType

public boolean validateStringLiteralExp_checkStringType(StringLiteralExp<?> stringLiteralExp,
                                                        DiagnosticChain diagnostics,
                                                        Map<Object,Object> context)

Validates the checkStringType constraint of 'String Literal Exp'.

validateTupleLiteralExp

public boolean validateTupleLiteralExp(TupleLiteralExp<?,?> tupleLiteralExp,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

validateTupleLiteralExp_checkTupleType

public boolean validateTupleLiteralExp_checkTupleType(TupleLiteralExp<?,?> tupleLiteralExp,
                                                      DiagnosticChain diagnostics,
                                                      Map<Object,Object> context)

Validates the checkTupleType constraint of 'Tuple Literal Exp'.

validateTupleLiteralExp_checkPartsUnique

public boolean validateTupleLiteralExp_checkPartsUnique(TupleLiteralExp<?,?> tupleLiteralExp,
                                                        DiagnosticChain diagnostics,
                                                        Map<Object,Object> context)

Validates the checkPartsUnique constraint of 'Tuple Literal Exp'.

validateTupleLiteralPart

public boolean validateTupleLiteralPart(TupleLiteralPart<?,?> tupleLiteralPart,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

validateTupleLiteralPart_checkValueType

public boolean validateTupleLiteralPart_checkValueType(TupleLiteralPart<?,?> tupleLiteralPart,
                                                       DiagnosticChain diagnostics,
                                                       Map<Object,Object> context)

Validates the checkValueType constraint of 'Tuple Literal Part'.

validateTypeExp

public boolean validateTypeExp(TypeExp<?> typeExp,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

validateUnspecifiedValueExp

public boolean validateUnspecifiedValueExp(UnspecifiedValueExp<?> unspecifiedValueExp,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

validateVariableExp

public boolean validateVariableExp(VariableExp<?,?> variableExp,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

validateVariableExp_checkVarType

public boolean validateVariableExp_checkVarType(VariableExp<?,?> variableExp,
                                                DiagnosticChain diagnostics,
                                                Map<Object,Object> context)

Validates the checkVarType constraint of 'Variable Exp'.

validateCollectionKind

public boolean validateCollectionKind(CollectionKind collectionKind,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

getResourceLocator
```
public ResourceLocator getResourceLocator()
```
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Class ExpressionsValidator

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

INSTANCE

DIAGNOSTIC_SOURCE

BOOLEAN_LITERAL_EXP__BOOLEAN_TYPE

COLLECTION_ITEM__ITEM_TYPE

COLLECTION_LITERAL_EXP__NO_COLLECTION_INSTANCES

COLLECTION_LITERAL_EXP__SET_KIND

COLLECTION_LITERAL_EXP__SEQUENCE_KIND

COLLECTION_LITERAL_EXP__BAG_KIND

COLLECTION_LITERAL_EXP__ELEMENT_TYPE

COLLECTION_RANGE__RANGE_TYPE

ENUM_LITERAL_EXP__ENUM_TYPE

IF_EXP__BOOLEAN_CONDITION

IF_EXP__IF_TYPE

INTEGER_LITERAL_EXP__INTEGER_TYPE

UNLIMITED_NATURAL_LITERAL_EXP__NATURAL_TYPE

ITERATE_EXP__ITERATE_TYPE

ITERATE_EXP__BODY_TYPE

ITERATE_EXP__RESULT_INIT

LOOP_EXP__SOURCE_COLLECTION

LOOP_EXP__LOOP_VARIABLE_INIT

LOOP_EXP__LOOP_VARIABLE_TYPE

VARIABLE__INIT_TYPE

ITERATOR_EXP__BOOLEAN_TYPE

ITERATOR_EXP__COLLECT_TYPE

ITERATOR_EXP__SELECT_REJECT_TYPE

ITERATOR_EXP__BOOLEAN_BODY_TYPE

LET_EXP__LET_TYPE

MESSAGE_EXP__OPERATION_ARGUMENTS

MESSAGE_EXP__SIGNAL_ARGUMENTS

MESSAGE_EXP__TARGET_DEFINES_OPERATION

MESSAGE_EXP__HAS_OPERATION_OR_SIGNAL

MESSAGE_EXP__TARGET_NOT_COLLECTION

OPERATION_CALL_EXP__ARGUMENTS_CONFORM

OPERATION_CALL_EXP__ARGUMENT_COUNT

PROPERTY_CALL_EXP__PROPERTY_TYPE

REAL_LITERAL_EXP__REAL_TYPE

STRING_LITERAL_EXP__STRING_TYPE

TUPLE_LITERAL_EXP__TUPLE_TYPE

TUPLE_LITERAL_EXP__PARTS_UNIQUE

TUPLE_LITERAL_PART__VALUE_TYPE

VARIABLE_EXP__VAR_TYPE

DIAGNOSTIC_CODE_COUNT

Constructor Detail

ExpressionsValidator