org.eclipse.ocl.examples.xtext.console
Class OCLConsolePage.CancelableEvaluationVisitor

java.lang.Object
  org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C>
      org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<java.lang.Object,java.lang.Object>
          org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitor
              org.eclipse.ocl.examples.pivot.evaluation.EvaluationVisitorImpl
                  org.eclipse.ocl.examples.xtext.console.OCLConsolePage.CancelableEvaluationVisitor

All Implemented Interfaces:

DomainEvaluator, EvaluationVisitor, Visitor<java.lang.Object>

Enclosing class:

OCLConsolePage

protected static class OCLConsolePage.CancelableEvaluationVisitor
extends EvaluationVisitorImpl

CancelableEvaluationVisitor refines the EvaluationVisitor to poll the monitor for cancellation at a variety of significant evaluation events, such as feature visits and createNestedEvaluator().

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitor

environment, evaluationEnvironment, metaModelManager, modelManager, undecoratedVisitor

Fields inherited from class org.eclipse.ocl.examples.pivot.util.AbstractVisitor

context

Constructor Summary

protected

OCLConsolePage.CancelableEvaluationVisitor(org.eclipse.core.runtime.IProgressMonitor monitor, Environment env, EvaluationEnvironment evalEnv, DomainModelManager modelManager)

Method Summary

EvaluationVisitor

createNestedEvaluator()

Methods inherited from class org.eclipse.ocl.examples.pivot.evaluation.EvaluationVisitorImpl

createNestedUndecoratedEvaluator, dispose, evaluate, evaluate, evaluatePropertyCallExp, getEvaluator, isSimpleRange, lookupImplementation, safeVisit, visitAssociationClassCallExp, visitBooleanLiteralExp, visitCollectionItem, visitCollectionLiteralExp, visitCollectionRange, visitConstructorExp, visitEnumLiteralExp, visitExpressionInOCL, visitIfExp, visiting, visitIntegerLiteralExp, visitInvalidLiteralExp, visitIterateExp, visitIteratorExp, visitLetExp, visitMessageExp, visitNullLiteralExp, visitOperationCallExp, visitOppositePropertyCallExp, visitPropertyCallExp, visitRealLiteralExp, visitStateExp, visitStringLiteralExp, visitTupleLiteralExp, visitTupleLiteralPart, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitVariable, visitVariableExp

Methods inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitor

createRegexCache, getEnvironment, getEvaluationEnvironment, getIdResolver, getLogger, getMetaModelManager, getModelManager, getMonitor, getRegexPattern, getStandardLibrary, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, getUndecoratedVisitor, getVisitor, isCanceled, setCanceled, setLogger, setMonitor, setUndecoratedVisitor, toString, visitConstraint

Methods inherited from class org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor

visitAnnotation, visitAnyType, visitAssociationClass, visitBagType, visitBehavior, visitCallExp, visitCallOperationAction, visitClass, visitCollectionLiteralPart, visitCollectionType, visitComment, visitConnectionPointReference, visitConstructorPart, visitDataType, visitDetail, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitFeature, visitFeatureCallExp, visitFinalState, visitImport, visitInvalidType, visitIteration, visitLambdaType, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageType, visitMetaclass, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOCLExpression, visitOpaqueExpression, visitOperation, visitOperationTemplateParameter, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRegion, visitRoot, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateMachine, visitStereotype, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTransition, visitTrigger, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeExtension, visitTypeTemplateParameter, visitUnspecifiedType, visitValueSpecification, visitVariableDeclaration, visitVertex, visitVoidType

Methods inherited from class org.eclipse.ocl.examples.pivot.util.AbstractVisitor

getAdapter, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitor

getAdapter, visitAnnotation, visitAnyType, visitAssociationClass, visitBagType, visitBehavior, visitCallExp, visitCallOperationAction, visitClass, visitCollectionLiteralPart, visitCollectionType, visitComment, visitConnectionPointReference, visitConstructorPart, visitDataType, visitDetail, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitFeature, visitFeatureCallExp, visitFinalState, visitImport, visitInvalidType, visitIteration, visitLambdaType, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageType, visitMetaclass, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOCLExpression, visitOpaqueExpression, visitOperation, visitOperationTemplateParameter, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRegion, visitRoot, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateMachine, visitStereotype, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTransition, visitTrigger, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeExtension, visitTypeTemplateParameter, visitUnspecifiedType, visitValueSpecification, visitVariableDeclaration, visitVertex, visitVoidType

Constructor Detail

OCLConsolePage.CancelableEvaluationVisitor

protected OCLConsolePage.CancelableEvaluationVisitor(@NonNull
                                                     org.eclipse.core.runtime.IProgressMonitor monitor,
                                                     @NonNull
                                                     Environment env,
                                                     @NonNull
                                                     EvaluationEnvironment evalEnv,
                                                     @NonNull
                                                     DomainModelManager modelManager)

Method Detail

createNestedEvaluator

@NonNull
public EvaluationVisitor createNestedEvaluator()

Specified by:

createNestedEvaluator in interface DomainEvaluator

Specified by:

createNestedEvaluator in interface EvaluationVisitor

Overrides:

createNestedEvaluator in class EvaluationVisitorImpl