org.eclipse.ocl.ecore.util
Class EcoreValidator

java.lang.Object
  extended by EObjectValidator
      extended by org.eclipse.ocl.ecore.util.EcoreValidator

public class EcoreValidator
extends EObjectValidator

The Validator for the model.

See Also:
EcorePackage

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  org.eclipse.emf.ecore.util.EcoreValidator ecoreValidator
          The cached base package validator
protected  ExpressionsValidator expressionsValidator
          The cached base package validator
static EcoreValidator INSTANCE
          The cached model package
protected  TypesValidator typesValidator
          The cached base package validator
 
Constructor Summary
EcoreValidator()
          Creates an instance of the switch
 
Method Summary
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, java.lang.Object value, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Calls validateXXX for the corresponding classifier of the model
 boolean validateAnyType_WellFormedInstanceTypeName(AnyType anyType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Any Type'
 boolean validateAnyType_WellFormedName(AnyType anyType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Any Type'
 boolean validateAnyType(AnyType anyType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBagType(BagType bagType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCallExp(CallExp callExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCallOperationAction(CallOperationAction callOperationAction, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionItem(CollectionItem collectionItem, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionLiteralPart_WellFormedName(CollectionLiteralPart collectionLiteralPart, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Collection Literal Part'
 boolean validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionRange(CollectionRange collectionRange, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCollectionType_WellFormedInstanceTypeName(CollectionType collectionType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Collection Type'
 boolean validateCollectionType_WellFormedName(CollectionType collectionType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Collection Type'
 boolean validateCollectionType(CollectionType collectionType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateConstraint_WellFormedName(Constraint constraint, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Constraint'
 boolean validateConstraint(Constraint constraint, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateElementType_WellFormedInstanceTypeName(ElementType elementType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Element Type'
 boolean validateElementType_WellFormedName(ElementType elementType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Element Type'
 boolean validateElementType(ElementType elementType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEnumLiteralExp(EnumLiteralExp enumLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateExpressionInOCL(ExpressionInOCL expressionInOCL, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureCallExp(FeatureCallExp featureCallExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIfExp(IfExp ifExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateInvalidType_WellFormedInstanceTypeName(InvalidType invalidType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Invalid Type'
 boolean validateInvalidType_WellFormedName(InvalidType invalidType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Invalid Type'
 boolean validateInvalidType(InvalidType invalidType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIterateExp(IterateExp iterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIteratorExp(IteratorExp iteratorExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateLetExp(LetExp letExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateLiteralExp(LiteralExp literalExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateLoopExp(LoopExp loopExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMessageExp(MessageExp messageExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMessageType_WellFormedInstanceTypeName(MessageType messageType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Message Type'
 boolean validateMessageType_WellFormedName(MessageType messageType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Message Type'
 boolean validateMessageType(MessageType messageType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNavigationCallExp(NavigationCallExp navigationCallExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNullLiteralExp(NullLiteralExp nullLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNumericLiteralExp(NumericLiteralExp numericLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOCLExpression_WellFormedName(OCLExpression oclExpression, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'OCL Expression'
 boolean validateOCLExpression(OCLExpression oclExpression, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOperationCallExp(OperationCallExp operationCallExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOrderedSetType(OrderedSetType orderedSetType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePrimitiveType_WellFormedInstanceTypeName(PrimitiveType primitiveType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Primitive Type'
 boolean validatePrimitiveType_WellFormedName(PrimitiveType primitiveType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Primitive Type'
 boolean validatePrimitiveType(PrimitiveType primitiveType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyCallExp(PropertyCallExp propertyCallExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRealLiteralExp(RealLiteralExp realLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSendSignalAction(SendSignalAction sendSignalAction, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSequenceType(SequenceType sequenceType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSetType(SetType setType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateStateExp(StateExp stateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateStringLiteralExp(StringLiteralExp stringLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTemplateParameterType_WellFormedInstanceTypeName(TemplateParameterType templateParameterType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Template Parameter Type'
 boolean validateTemplateParameterType_WellFormedName(TemplateParameterType templateParameterType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Template Parameter Type'
 boolean validateTemplateParameterType(TemplateParameterType templateParameterType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTupleLiteralPart_WellFormedName(TupleLiteralPart tupleLiteralPart, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Tuple Literal Part'
 boolean validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTupleType_WellFormedInstanceTypeName(TupleType tupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Tuple Type'
 boolean validateTupleType_WellFormedName(TupleType tupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Tuple Type'
 boolean validateTupleType(TupleType tupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTypeExp(TypeExp typeExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTypeType_WellFormedInstanceTypeName(TypeType typeType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Type Type'
 boolean validateTypeType_WellFormedName(TypeType typeType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Type Type'
 boolean validateTypeType(TypeType typeType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVariable_WellFormedName(Variable variable, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Variable'
 boolean validateVariable(Variable variable, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVariableExp(VariableExp variableExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVoidType_WellFormedInstanceTypeName(VoidType voidType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedInstanceTypeName constraint of 'Void Type'
 boolean validateVoidType_WellFormedName(VoidType voidType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Void Type'
 boolean validateVoidType(VoidType voidType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.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 EcoreValidator INSTANCE
The cached model package


DIAGNOSTIC_SOURCE

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

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

ecoreValidator

protected org.eclipse.emf.ecore.util.EcoreValidator ecoreValidator
The cached base package validator.


typesValidator

protected TypesValidator typesValidator
The cached base package validator.


expressionsValidator

protected ExpressionsValidator expressionsValidator
The cached base package validator.

Constructor Detail

EcoreValidator

public EcoreValidator()
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,
                           java.lang.Object value,
                           DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)
Calls validateXXX for the corresponding classifier of the model.


validateAnyType

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


validateAnyType_WellFormedName

public boolean validateAnyType_WellFormedName(AnyType anyType,
                                              DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Any Type'.


validateAnyType_WellFormedInstanceTypeName

public boolean validateAnyType_WellFormedInstanceTypeName(AnyType anyType,
                                                          DiagnosticChain diagnostics,
                                                          java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Any Type'.

Since:
1.3

validateBagType

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


validateCollectionType

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


validateCollectionType_WellFormedName

public boolean validateCollectionType_WellFormedName(CollectionType collectionType,
                                                     DiagnosticChain diagnostics,
                                                     java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Collection Type'.


validateCollectionType_WellFormedInstanceTypeName

public boolean validateCollectionType_WellFormedInstanceTypeName(CollectionType collectionType,
                                                                 DiagnosticChain diagnostics,
                                                                 java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Collection Type'.

Since:
1.3

validateElementType

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


validateElementType_WellFormedName

public boolean validateElementType_WellFormedName(ElementType elementType,
                                                  DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Element Type'.


validateElementType_WellFormedInstanceTypeName

public boolean validateElementType_WellFormedInstanceTypeName(ElementType elementType,
                                                              DiagnosticChain diagnostics,
                                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Element Type'.

Since:
1.3

validateInvalidType

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


validateInvalidType_WellFormedName

public boolean validateInvalidType_WellFormedName(InvalidType invalidType,
                                                  DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Invalid Type'.


validateInvalidType_WellFormedInstanceTypeName

public boolean validateInvalidType_WellFormedInstanceTypeName(InvalidType invalidType,
                                                              DiagnosticChain diagnostics,
                                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Invalid Type'.

Since:
1.3

validateMessageType

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


validateMessageType_WellFormedName

public boolean validateMessageType_WellFormedName(MessageType messageType,
                                                  DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Message Type'.


validateMessageType_WellFormedInstanceTypeName

public boolean validateMessageType_WellFormedInstanceTypeName(MessageType messageType,
                                                              DiagnosticChain diagnostics,
                                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Message Type'.

Since:
1.3

validateOrderedSetType

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


validatePrimitiveType

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


validatePrimitiveType_WellFormedName

public boolean validatePrimitiveType_WellFormedName(PrimitiveType primitiveType,
                                                    DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Primitive Type'.


validatePrimitiveType_WellFormedInstanceTypeName

public boolean validatePrimitiveType_WellFormedInstanceTypeName(PrimitiveType primitiveType,
                                                                DiagnosticChain diagnostics,
                                                                java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Primitive Type'.

Since:
1.3

validateSequenceType

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


validateSetType

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


validateTemplateParameterType

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

Since:
3.0

validateTemplateParameterType_WellFormedName

public boolean validateTemplateParameterType_WellFormedName(TemplateParameterType templateParameterType,
                                                            DiagnosticChain diagnostics,
                                                            java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Template Parameter Type'.

Since:
3.0

validateTemplateParameterType_WellFormedInstanceTypeName

public boolean validateTemplateParameterType_WellFormedInstanceTypeName(TemplateParameterType templateParameterType,
                                                                        DiagnosticChain diagnostics,
                                                                        java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Template Parameter Type'.

Since:
3.0

validateTupleType

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


validateTupleType_WellFormedName

public boolean validateTupleType_WellFormedName(TupleType tupleType,
                                                DiagnosticChain diagnostics,
                                                java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Tuple Type'.


validateTupleType_WellFormedInstanceTypeName

public boolean validateTupleType_WellFormedInstanceTypeName(TupleType tupleType,
                                                            DiagnosticChain diagnostics,
                                                            java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Tuple Type'.

Since:
1.3

validateTypeType

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


validateTypeType_WellFormedName

public boolean validateTypeType_WellFormedName(TypeType typeType,
                                               DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Type Type'.


validateTypeType_WellFormedInstanceTypeName

public boolean validateTypeType_WellFormedInstanceTypeName(TypeType typeType,
                                                           DiagnosticChain diagnostics,
                                                           java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Type Type'.

Since:
1.3

validateVoidType

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


validateVoidType_WellFormedName

public boolean validateVoidType_WellFormedName(VoidType voidType,
                                               DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Void Type'.


validateVoidType_WellFormedInstanceTypeName

public boolean validateVoidType_WellFormedInstanceTypeName(VoidType voidType,
                                                           DiagnosticChain diagnostics,
                                                           java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Void Type'.

Since:
1.3

validateCallOperationAction

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


validateConstraint

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


validateConstraint_WellFormedName

public boolean validateConstraint_WellFormedName(Constraint constraint,
                                                 DiagnosticChain diagnostics,
                                                 java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Constraint'.


validateSendSignalAction

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


validateExpressionInOCL

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


validateAssociationClassCallExp

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


validateBooleanLiteralExp

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


validateCallExp

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


validateCollectionItem

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


validateCollectionLiteralExp

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


validateCollectionLiteralPart

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


validateCollectionLiteralPart_WellFormedName

public boolean validateCollectionLiteralPart_WellFormedName(CollectionLiteralPart collectionLiteralPart,
                                                            DiagnosticChain diagnostics,
                                                            java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Collection Literal Part'.


validateCollectionRange

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


validateEnumLiteralExp

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


validateFeatureCallExp

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


validateIfExp

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


validateIntegerLiteralExp

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


validateUnlimitedNaturalLiteralExp

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


validateInvalidLiteralExp

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


validateIterateExp

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


validateIteratorExp

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


validateLetExp

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


validateLiteralExp

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


validateLoopExp

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


validateMessageExp

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


validateNavigationCallExp

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


validateNullLiteralExp

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


validateNumericLiteralExp

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


validateOCLExpression

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


validateOCLExpression_WellFormedName

public boolean validateOCLExpression_WellFormedName(OCLExpression oclExpression,
                                                    DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'OCL Expression'.


validateOperationCallExp

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


validatePrimitiveLiteralExp

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


validatePropertyCallExp

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


validateRealLiteralExp

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


validateStateExp

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


validateStringLiteralExp

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


validateTupleLiteralExp

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


validateTupleLiteralPart

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


validateTupleLiteralPart_WellFormedName

public boolean validateTupleLiteralPart_WellFormedName(TupleLiteralPart tupleLiteralPart,
                                                       DiagnosticChain diagnostics,
                                                       java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Tuple Literal Part'.


validateTypeExp

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


validateUnspecifiedValueExp

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


validateVariable

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


validateVariable_WellFormedName

public boolean validateVariable_WellFormedName(Variable variable,
                                               DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Variable'.


validateVariableExp

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


getResourceLocator

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


Copyright 2002, 2007 IBM Corporation and others.
All Rights Reserved.