org.eclipse.ocl.uml.util
Class UMLValidator

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

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

The Validator for the model.

See Also:
UMLPackage
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
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.
protected  ExpressionsValidator expressionsValidator
          The cached base package validator.
static UMLValidator INSTANCE
          The cached model package
protected  TypesValidator typesValidator
          The cached base package validator.
protected  org.eclipse.uml2.uml.util.UMLValidator umlValidator
          The cached base package validator.
 
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
UMLValidator()
          Creates an instance of the switch.
 
Method Summary
protected  org.eclipse.emf.ecore.EPackage getEPackage()
          Returns the package of this validator switch.
 org.eclipse.emf.common.util.ResourceLocator getResourceLocator()
          Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
protected  boolean validate(int classifierID, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Calls validateXXX for the corresponding classifier of the model.
 boolean validateAnyType(AnyType anyType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBagType(BagType bagType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 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(CollectionItem collectionItem, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionRange(CollectionRange collectionRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionType(CollectionType collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateElementType(ElementType elementType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEnumLiteralExp(EnumLiteralExp enumLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateExpressionInOCL(ExpressionInOCL expressionInOCL, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureCallExp(FeatureCallExp featureCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIfExp(IfExp ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateInvalidType(InvalidType invalidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIterateExp(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIteratorExp(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 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(LoopExp loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMessageExp(MessageExp messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMessageType(MessageType messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean 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_has_type(OCLExpression oclExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the has_type constraint of 'OCL Expression'.
 boolean validateOCLExpression(OCLExpression oclExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOperationCallExp(OperationCallExp operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOrderedSetType(OrderedSetType orderedSetType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePrimitiveType(PrimitiveType primitiveType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyCallExp(PropertyCallExp propertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRealLiteralExp(RealLiteralExp realLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSequenceType(SequenceType sequenceType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSetType(SetType setType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateStateExp(StateExp stateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateStringLiteralExp(StringLiteralExp stringLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTemplateParameterType(TemplateParameterType templateParameterType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTupleType(TupleType tupleType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTypeExp(TypeExp typeExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTypeType(TypeType typeType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVariable(Variable variable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVariableExp(VariableExp variableExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVoidType(VoidType voidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 
Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator
createBadDataValueDiagnostic, createDiagnostic, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, reportInvariantDelegateViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate_BidirectionalReferenceIsPaired, validate_DataValueConforms, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validate, validate, validate, validate, validate, validate, validatePattern, wrapEnumerationValues
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

public static final UMLValidator 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

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

umlValidator

protected org.eclipse.uml2.uml.util.UMLValidator umlValidator
The cached base package validator.

Generated

typesValidator

protected TypesValidator typesValidator
The cached base package validator.

Generated

expressionsValidator

protected ExpressionsValidator expressionsValidator
The cached base package validator.

Generated
Constructor Detail

UMLValidator

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

validateAnyType

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

Generated

validateVoidType

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

Generated

validateInvalidType

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

Generated

validateElementType

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

Generated

validateTypeType

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

Generated

validateMessageType

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

Generated

validatePrimitiveType

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

Generated

validateCollectionType

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

Generated

validateTupleType

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

Generated

validateBagType

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

Generated

validateSetType

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

Generated

validateOrderedSetType

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

Generated

validateSequenceType

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

Generated

validateExpressionInOCL

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

Generated

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

validateOCLExpression_has_type

public boolean validateOCLExpression_has_type(OCLExpression oclExpression,
                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the has_type constraint of 'OCL Expression'.

Generated
NOT

validateBooleanLiteralExp

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

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

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

validateCollectionRange

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

Generated

validateEnumLiteralExp

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

Generated

validateIfExp

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

Generated

validateIntegerLiteralExp

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

Generated

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

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

validateLoopExp

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

Generated

validateIteratorExp

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

Generated

validateLetExp

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

Generated

validateMessageExp

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

Generated

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

validatePropertyCallExp

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

Generated

validateRealLiteralExp

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

Generated

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

validateTupleLiteralExp

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

Generated

validateTupleLiteralPart

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

Generated

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

validateVariable

public boolean validateVariable(Variable variable,
                                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

validateTemplateParameterType

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

Since:
3.0
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