org.eclipse.m2m.qvt.oml.ecore.ImperativeOCL.util
Class ImperativeOCLValidator

java.lang.Object
  extended by EObjectValidator
      extended by org.eclipse.m2m.qvt.oml.ecore.ImperativeOCL.util.ImperativeOCLValidator

public class ImperativeOCLValidator
extends EObjectValidator

The Validator for the model.

See Also:
ImperativeOCLPackage

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.ocl.ecore.util.EcoreValidator ecore_1Validator
          The cached base package validator
protected  EcoreValidator ecoreValidator
          The cached base package validator
protected  ExpressionsValidator expressionsValidator
          The cached base package validator
static ImperativeOCLValidator INSTANCE
          The cached model package
protected  TypesValidator typesValidator
          The cached base package validator
 
Constructor Summary
ImperativeOCLValidator()
          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 validateAltExp(AltExp altExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAssertExp(AssertExp assertExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAssignExp_checkLeftAndValueExpConformance(AssignExp assignExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the checkLeftAndValueExpConformance constraint of 'Assign Exp'
 boolean validateAssignExp_WellFormedLeftExp(AssignExp assignExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedLeftExp constraint of 'Assign Exp'
 boolean validateAssignExp(AssignExp assignExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBlockExp(BlockExp blockExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBreakExp(BreakExp breakExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCatchExp(CatchExp catchExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComputeExp(ComputeExp computeExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateContinueExp(ContinueExp continueExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDictionaryType(DictionaryType dictionaryType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDictLiteralExp(DictLiteralExp dictLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDictLiteralPart(DictLiteralPart dictLiteralPart, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateForExp(ForExp forExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateImperativeExpression(ImperativeExpression imperativeExpression, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateImperativeIterateExp_WellFormedBody(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedBody constraint of 'Imperative Iterate Exp'
 boolean validateImperativeIterateExp_WellFormedCondition(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedCondition constraint of 'Imperative Iterate Exp'
 boolean validateImperativeIterateExp_WellFormedName(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Imperative Iterate Exp'
 boolean validateImperativeIterateExp_WellFormedTargetVar(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedTargetVar constraint of 'Imperative Iterate Exp'
 boolean validateImperativeIterateExp(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateImperativeLoopExp(ImperativeLoopExp imperativeLoopExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateInstantiationExp(InstantiationExp instantiationExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateListLiteralExp(ListLiteralExp listLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateListType(ListType listType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateLogExp(LogExp logExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOrderedTupleLiteralExp(OrderedTupleLiteralExp orderedTupleLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOrderedTupleLiteralPart(OrderedTupleLiteralPart orderedTupleLiteralPart, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOrderedTupleType_WellFormedName(OrderedTupleType orderedTupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the WellFormedName constraint of 'Ordered Tuple Type'
 boolean validateOrderedTupleType(OrderedTupleType orderedTupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRaiseExp(RaiseExp raiseExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateReturnExp(ReturnExp returnExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSeverityKind(SeverityKind severityKind, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSwitchExp(SwitchExp switchExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTryExp(TryExp tryExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTypedef(Typedef typedef, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnlinkExp(UnlinkExp unlinkExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnpackExp(UnpackExp unpackExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVariableInitExp(VariableInitExp variableInitExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateWhileExp(WhileExp whileExp, 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 ImperativeOCLValidator 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 EcoreValidator ecoreValidator
The cached base package validator.


ecore_1Validator

protected org.eclipse.ocl.ecore.util.EcoreValidator ecore_1Validator
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

ImperativeOCLValidator

public ImperativeOCLValidator()
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.


validateAltExp

public boolean validateAltExp(AltExp altExp,
                              DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)


validateAssertExp

public boolean validateAssertExp(AssertExp assertExp,
                                 DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)


validateAssignExp

public boolean validateAssignExp(AssignExp assignExp,
                                 DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)


validateAssignExp_WellFormedLeftExp

public boolean validateAssignExp_WellFormedLeftExp(AssignExp assignExp,
                                                   DiagnosticChain diagnostics,
                                                   java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedLeftExp constraint of 'Assign Exp'.


validateAssignExp_checkLeftAndValueExpConformance

public boolean validateAssignExp_checkLeftAndValueExpConformance(AssignExp assignExp,
                                                                 DiagnosticChain diagnostics,
                                                                 java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkLeftAndValueExpConformance constraint of 'Assign Exp'.


validateBlockExp

public boolean validateBlockExp(BlockExp blockExp,
                                DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)


validateBreakExp

public boolean validateBreakExp(BreakExp breakExp,
                                DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)


validateCatchExp

public boolean validateCatchExp(CatchExp catchExp,
                                DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)


validateComputeExp

public boolean validateComputeExp(ComputeExp computeExp,
                                  DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)


validateContinueExp

public boolean validateContinueExp(ContinueExp continueExp,
                                   DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)


validateDictLiteralExp

public boolean validateDictLiteralExp(DictLiteralExp dictLiteralExp,
                                      DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)


validateDictLiteralPart

public boolean validateDictLiteralPart(DictLiteralPart dictLiteralPart,
                                       DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)


validateDictionaryType

public boolean validateDictionaryType(DictionaryType dictionaryType,
                                      DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)


validateForExp

public boolean validateForExp(ForExp forExp,
                              DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)


validateImperativeExpression

public boolean validateImperativeExpression(ImperativeExpression imperativeExpression,
                                            DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)


validateImperativeIterateExp

public boolean validateImperativeIterateExp(ImperativeIterateExp imperativeIterateExp,
                                            DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)


validateImperativeIterateExp_WellFormedName

public boolean validateImperativeIterateExp_WellFormedName(ImperativeIterateExp imperativeIterateExp,
                                                           DiagnosticChain diagnostics,
                                                           java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Imperative Iterate Exp'.


validateImperativeIterateExp_WellFormedTargetVar

public boolean validateImperativeIterateExp_WellFormedTargetVar(ImperativeIterateExp imperativeIterateExp,
                                                                DiagnosticChain diagnostics,
                                                                java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedTargetVar constraint of 'Imperative Iterate Exp'.


validateImperativeIterateExp_WellFormedBody

public boolean validateImperativeIterateExp_WellFormedBody(ImperativeIterateExp imperativeIterateExp,
                                                           DiagnosticChain diagnostics,
                                                           java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedBody constraint of 'Imperative Iterate Exp'.


validateImperativeIterateExp_WellFormedCondition

public boolean validateImperativeIterateExp_WellFormedCondition(ImperativeIterateExp imperativeIterateExp,
                                                                DiagnosticChain diagnostics,
                                                                java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedCondition constraint of 'Imperative Iterate Exp'.


validateImperativeLoopExp

public boolean validateImperativeLoopExp(ImperativeLoopExp imperativeLoopExp,
                                         DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)


validateInstantiationExp

public boolean validateInstantiationExp(InstantiationExp instantiationExp,
                                        DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)


validateListLiteralExp

public boolean validateListLiteralExp(ListLiteralExp listLiteralExp,
                                      DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Since:
3.0

validateListType

public boolean validateListType(ListType listType,
                                DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)


validateLogExp

public boolean validateLogExp(LogExp logExp,
                              DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)


validateOrderedTupleLiteralExp

public boolean validateOrderedTupleLiteralExp(OrderedTupleLiteralExp orderedTupleLiteralExp,
                                              DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)


validateOrderedTupleLiteralPart

public boolean validateOrderedTupleLiteralPart(OrderedTupleLiteralPart orderedTupleLiteralPart,
                                               DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)


validateOrderedTupleType

public boolean validateOrderedTupleType(OrderedTupleType orderedTupleType,
                                        DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)


validateOrderedTupleType_WellFormedName

public boolean validateOrderedTupleType_WellFormedName(OrderedTupleType orderedTupleType,
                                                       DiagnosticChain diagnostics,
                                                       java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'Ordered Tuple Type'.


validateRaiseExp

public boolean validateRaiseExp(RaiseExp raiseExp,
                                DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)


validateReturnExp

public boolean validateReturnExp(ReturnExp returnExp,
                                 DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)


validateSwitchExp

public boolean validateSwitchExp(SwitchExp switchExp,
                                 DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)


validateTryExp

public boolean validateTryExp(TryExp tryExp,
                              DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)


validateTypedef

public boolean validateTypedef(Typedef typedef,
                               DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)


validateUnlinkExp

public boolean validateUnlinkExp(UnlinkExp unlinkExp,
                                 DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)


validateUnpackExp

public boolean validateUnpackExp(UnpackExp unpackExp,
                                 DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)


validateVariableInitExp

public boolean validateVariableInitExp(VariableInitExp variableInitExp,
                                       DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)


validateWhileExp

public boolean validateWhileExp(WhileExp whileExp,
                                DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)


validateSeverityKind

public boolean validateSeverityKind(SeverityKind severityKind,
                                    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 2008 Borland Software Corporation and others.
All Rights Reserved.