org.eclipse.ocl.expressions.util

Class ExpressionsValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

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

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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
protected org.eclipse.emf.ecore.EPackage	getEPackage() Returns the package of this validator switch.
org.eclipse.emf.common.util.ResourceLocator	getResourceLocator() Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
protected boolean	validate(int classifierID, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Calls validateXXX for the corresponding classifier of the model.
boolean	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