|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectEObjectValidator
org.eclipse.m2m.qvt.oml.ecore.ImperativeOCL.util.ImperativeOCLValidator
public class ImperativeOCLValidator
The Validator for the model.
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 |
---|
public static final ImperativeOCLValidator INSTANCE
public static final java.lang.String DIAGNOSTIC_SOURCE
source
of diagnostic codes
from this package.
org.eclipse.emf.common.util.Diagnostic#getSource()
,
org.eclipse.emf.common.util.Diagnostic#getCode()
,
Constant Field Valuesprotected static final int DIAGNOSTIC_CODE_COUNT
protected EcoreValidator ecoreValidator
protected org.eclipse.ocl.ecore.util.EcoreValidator ecore_1Validator
protected TypesValidator typesValidator
protected ExpressionsValidator expressionsValidator
Constructor Detail |
---|
public ImperativeOCLValidator()
Method Detail |
---|
protected EPackage getEPackage()
protected boolean validate(int classifierID, java.lang.Object value, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
validateXXX
for the corresponding classifier of the model.
public boolean validateAltExp(AltExp altExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateAssertExp(AssertExp assertExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateAssignExp(AssignExp assignExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateAssignExp_WellFormedLeftExp(AssignExp assignExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateAssignExp_checkLeftAndValueExpConformance(AssignExp assignExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateBlockExp(BlockExp blockExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateBreakExp(BreakExp breakExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateCatchExp(CatchExp catchExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateComputeExp(ComputeExp computeExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateContinueExp(ContinueExp continueExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDictLiteralExp(DictLiteralExp dictLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDictLiteralPart(DictLiteralPart dictLiteralPart, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateDictionaryType(DictionaryType dictionaryType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateForExp(ForExp forExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateImperativeExpression(ImperativeExpression imperativeExpression, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateImperativeIterateExp(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateImperativeIterateExp_WellFormedName(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateImperativeIterateExp_WellFormedTargetVar(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateImperativeIterateExp_WellFormedBody(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateImperativeIterateExp_WellFormedCondition(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateImperativeLoopExp(ImperativeLoopExp imperativeLoopExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateInstantiationExp(InstantiationExp instantiationExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateListLiteralExp(ListLiteralExp listLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateListType(ListType listType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateLogExp(LogExp logExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOrderedTupleLiteralExp(OrderedTupleLiteralExp orderedTupleLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOrderedTupleLiteralPart(OrderedTupleLiteralPart orderedTupleLiteralPart, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOrderedTupleType(OrderedTupleType orderedTupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateOrderedTupleType_WellFormedName(OrderedTupleType orderedTupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateRaiseExp(RaiseExp raiseExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateReturnExp(ReturnExp returnExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSwitchExp(SwitchExp switchExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTryExp(TryExp tryExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateTypedef(Typedef typedef, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateUnlinkExp(UnlinkExp unlinkExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateUnpackExp(UnpackExp unpackExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateVariableInitExp(VariableInitExp variableInitExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateWhileExp(WhileExp whileExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public boolean validateSeverityKind(SeverityKind severityKind, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
public ResourceLocator getResourceLocator()
|
Copyright 2008 Borland Software Corporation and others. All Rights Reserved. |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |