public class OCLVMEvaluationVisitor extends AbstractMergedVisitor<java.lang.Object,Executor> implements VMEvaluationVisitor, EvaluationVisitor.EvaluationVisitorExtension
EvaluationVisitor.EvaluationVisitorExtension
Modifier and Type | Field and Description |
---|---|
protected EvaluationVisitor |
evaluationVisitor |
protected VMEvaluationStepper |
vmEvaluationStepper |
context
Modifier | Constructor and Description |
---|---|
protected |
OCLVMEvaluationVisitor(VMEvaluationStepper vmEvaluationStepper,
EvaluationVisitor nestedEvaluationVisitor) |
Modifier and Type | Method and Description |
---|---|
EvaluationVisitor |
createNestedEvaluator()
Deprecated.
Evaluator no longer nests
|
void |
dispose()
Deprecated.
Evaluator no longer nests
|
java.lang.Object |
evaluate(OCLExpression body) |
CompleteEnvironment |
getCompleteEnvironment()
Deprecated.
moved to Evaluator
|
int |
getDiagnosticSeverity(int severityPreference,
java.lang.Object resultValue)
Deprecated.
moved to Evaluator
|
EnvironmentFactory |
getEnvironmentFactory()
Obtains the environment factory that created me.
|
EvaluationEnvironment |
getEvaluationEnvironment()
Obtains the evaluation environment that keeps track of variable values
and knows how to call operations, navigate properties, etc.
|
EvaluationVisitor |
getEvaluator()
Deprecated.
Moved to Evaluator
|
Executor |
getExecutor() |
IdResolver |
getIdResolver()
Deprecated.
moved to Evaluator
|
EvaluationLogger |
getLogger()
Deprecated.
moved to Evaluator
|
MetamodelManager |
getMetamodelManager()
Deprecated.
moved to Executor
|
ModelManager |
getModelManager()
Deprecated.
moved to Evaluator
|
org.eclipse.emf.common.util.Monitor |
getMonitor() |
java.util.regex.Pattern |
getRegexPattern(java.lang.String regex)
Deprecated.
moved to Evaluator
|
int |
getSeverity(java.lang.Object validationKey)
Deprecated.
moved to Evaluator
|
StandardLibrary |
getStandardLibrary()
Deprecated.
moved to Evaluator
|
Class |
getStaticTypeOf(java.lang.Object value)
Deprecated.
moved to Evaluator
|
Class |
getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
Deprecated.
moved to Evaluator
|
Class |
getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
Deprecated.
moved to Evaluator
|
OCLVMEvaluationEnvironment |
getVMEvaluationEnvironment() |
VMEvaluationStepper |
getVMEvaluationStepper() |
boolean |
isCanceled()
Return true if the evaluation has been canceled.
|
void |
setCanceled(boolean isCanceled)
Request cancelation of the current the evaluation, or reset the request for a new evaluation.
|
void |
setLogger(EvaluationLogger logger)
Deprecated.
moved to Evaluator
|
void |
setMonitor(org.eclipse.emf.common.util.Monitor monitor) |
void |
setUndecoratedVisitor(EvaluationVisitor evaluationVisitor)
Configures the specified decorated visitor to correctly handle the
invocation of recursive
visitXxx(...) calls. |
java.lang.String |
toString() |
java.lang.Object |
visiting(Visitable visitable)
Return the result of visiting a visitable for which no more specific pivot type method
is available.
|
java.lang.Object |
visitVariable(Variable vd) |
visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitClass, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitConstraint, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLambdaType, visitLanguageExpression, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOperationCallExp, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowExp, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStereotypeExtender, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTupleType, visitType, visitTypedElement, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType, visitWildcardType
getAdapter, safeVisit, visit
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
visit
getAdapter, visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitClass, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitConstraint, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLambdaType, visitLanguageExpression, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperation, visitOperationCallExp, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowExp, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStereotypeExtender, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTupleType, visitType, visitTypedElement, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType, visitWildcardType
@NonNull protected final EvaluationVisitor evaluationVisitor
@NonNull protected final VMEvaluationStepper vmEvaluationStepper
protected OCLVMEvaluationVisitor(@NonNull VMEvaluationStepper vmEvaluationStepper, @NonNull EvaluationVisitor nestedEvaluationVisitor)
@Deprecated @NonNull public EvaluationVisitor createNestedEvaluator()
createNestedEvaluator
in interface EvaluationVisitor
createNestedEvaluator
in interface Evaluator
@Deprecated public void dispose()
@Nullable public java.lang.Object evaluate(@NonNull OCLExpression body)
evaluate
in interface EvaluationVisitor
evaluate
in interface Evaluator
@Deprecated @NonNull public CompleteEnvironment getCompleteEnvironment()
getCompleteEnvironment
in interface Evaluator
@Deprecated public int getDiagnosticSeverity(int severityPreference, @Nullable java.lang.Object resultValue)
Evaluator
getDiagnosticSeverity
in interface Evaluator
@NonNull public EnvironmentFactory getEnvironmentFactory()
EvaluationVisitor
getEnvironmentFactory
in interface EvaluationVisitor
@NonNull public EvaluationEnvironment getEvaluationEnvironment()
EvaluationVisitor
getEvaluationEnvironment
in interface EvaluationVisitor
getEvaluationEnvironment
in interface Evaluator
@Deprecated @NonNull public EvaluationVisitor getEvaluator()
getEvaluator
in interface EvaluationVisitor
@NonNull public Executor getExecutor()
getExecutor
in interface EvaluationVisitor.EvaluationVisitorExtension
@Deprecated @NonNull public IdResolver getIdResolver()
getIdResolver
in interface Evaluator
@Deprecated @Nullable public EvaluationLogger getLogger()
Evaluator
@Deprecated @NonNull public MetamodelManager getMetamodelManager()
getMetamodelManager
in interface EvaluationVisitor
@Deprecated @NonNull public ModelManager getModelManager()
Evaluator
getModelManager
in interface EvaluationVisitor
getModelManager
in interface Evaluator
@Nullable public org.eclipse.emf.common.util.Monitor getMonitor()
getMonitor
in interface EvaluationVisitor
@Deprecated @NonNull public java.util.regex.Pattern getRegexPattern(@NonNull java.lang.String regex)
Evaluator
getRegexPattern
in interface Evaluator
@Deprecated public int getSeverity(@Nullable java.lang.Object validationKey)
Evaluator
StatusCodes.OK severity suppresses the validation altogether.
StatusCodes.Warning is returned for any null or unknown key.
getSeverity
in interface Evaluator
@Deprecated @NonNull public StandardLibrary getStandardLibrary()
getStandardLibrary
in interface EvaluationVisitor
getStandardLibrary
in interface Evaluator
@Deprecated public Class getStaticTypeOf(@Nullable java.lang.Object value)
getStaticTypeOf
in interface Evaluator
@Deprecated public Class getStaticTypeOf(@Nullable java.lang.Object value, @NonNull java.lang.Object... values)
getStaticTypeOf
in interface Evaluator
@Deprecated public Class getStaticTypeOf(@Nullable java.lang.Object value, @NonNull java.lang.Iterable<?> values)
getStaticTypeOf
in interface Evaluator
@NonNull public OCLVMEvaluationEnvironment getVMEvaluationEnvironment()
@NonNull public VMEvaluationStepper getVMEvaluationStepper()
getVMEvaluationStepper
in interface VMEvaluationVisitor
public boolean isCanceled()
Evaluator
isCanceled
in interface EvaluationVisitor
isCanceled
in interface Evaluator
public void setCanceled(boolean isCanceled)
Evaluator
EvaluationHaltedException
when an expression,
operation or iteration is next invoked.setCanceled
in interface EvaluationVisitor
setCanceled
in interface Evaluator
@Deprecated public void setLogger(@Nullable EvaluationLogger logger)
Evaluator
public void setMonitor(@Nullable org.eclipse.emf.common.util.Monitor monitor)
setMonitor
in interface EvaluationVisitor
public void setUndecoratedVisitor(@NonNull EvaluationVisitor evaluationVisitor)
EvaluationVisitor
visitXxx(...)
calls. In particular,
the tail of a chain of decorators is informed (if it is an
AbstractEvaluationVisitor
of the head decorator of the chain,
so that recursive visitation follows the entire decorator chain at
every step.setUndecoratedVisitor
in interface EvaluationVisitor
evaluationVisitor
- the evaluationVisitor that is not decorated/public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.Object visitVariable(@NonNull Variable vd)
visitVariable
in interface Visitor<java.lang.Object>
visitVariable
in class AbstractMergedVisitor<java.lang.Object,Executor>