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<Value,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:

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

Enclosing class:

OCLConsolePage

protected static class OCLConsolePage.CancelableEvaluationVisitor
extends EvaluationVisitorImpl

Field Summary

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

environment, evaluationEnvironment, modelManager, typeManager, valueFactory

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, ModelManager modelManager)

Method Summary

protected void	checkMonitor()
EvaluationVisitor	createNestedVisitor()
Value	visitAssociationClassCallExp(AssociationClassCallExp ae) Callback for an AssociationClassCallExp visit.
Value	visitCollectionItem(CollectionItem item)
Value	visitIterateExp(IterateExp iterateExp) Callback for an IterateExp visit.
Value	visitIteratorExp(IteratorExp iteratorExp) Callback for an IteratorExp visit.
Value	visitOperationCallExp(OperationCallExp operationCallExp) Callback for an OperationCallExp visit.
Value	visitPropertyCallExp(PropertyCallExp propertyCallExp) Callback for a PropertyCallExp visit.
Value	visitTupleLiteralPart(TupleLiteralPart tp)

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

handleCallExp, isSimpleRange, safeVisit, visitBooleanLiteralExp, visitCollectionLiteralExp, visitCollectionRange, visitEnumLiteralExp, visitExpressionInOcl, visitIfExp, visiting, visitIntegerLiteralExp, visitInvalidLiteralExp, visitLetExp, visitMessageExp, visitNullLiteralExp, visitRealLiteralExp, visitStateExp, visitStringLiteralExp, visitTupleLiteralExp, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitVariable, visitVariableExp

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

getEnvironment, getEvaluationEnvironment, getModelManager, getTypeManager, getUndecoratedVisitor, getValueFactory, getVisitor, setUndecoratedVisitor, throwInvalidEvaluation, throwInvalidEvaluation, throwInvalidEvaluation, toString, visitConstraint

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

visitAnnotation, visitAnyType, visitAssociationClass, visitBagType, visitCallExp, visitCallOperationAction, visitClass, visitClassifierType, visitCollectionLiteralPart, visitCollectionType, visitComment, visitDataType, visitDetail, visitElement, visitEnumeration, visitEnumerationLiteral, visitFeature, visitFeatureCallExp, visitInvalidType, visitIteration, visitLambdaType, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageType, visitMonikeredElement, visitMultiplicityElement, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOclExpression, visitOpaqueExpression, visitOperation, visitOperationTemplateParameter, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProperty, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeTemplateParameter, visitUnspecifiedType, visitValueSpecification, visitVariableDeclaration, 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, visitCallExp, visitCallOperationAction, visitClass, visitClassifierType, visitCollectionLiteralPart, visitCollectionType, visitComment, visitDataType, visitDetail, visitElement, visitEnumeration, visitEnumerationLiteral, visitFeature, visitFeatureCallExp, visitInvalidType, visitIteration, visitLambdaType, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageType, visitMonikeredElement, visitMultiplicityElement, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOclExpression, visitOpaqueExpression, visitOperation, visitOperationTemplateParameter, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProperty, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeTemplateParameter, visitUnspecifiedType, visitValueSpecification, visitVariableDeclaration, visitVoidType

Constructor Detail

OCLConsolePage.CancelableEvaluationVisitor

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

Method Detail

checkMonitor

protected void checkMonitor()

createNestedVisitor

public EvaluationVisitor createNestedVisitor()

Specified by:

createNestedVisitor in interface EvaluationVisitor

Overrides:

createNestedVisitor in class EvaluationVisitorImpl

visitAssociationClassCallExp

public Value visitAssociationClassCallExp(AssociationClassCallExp ae)

Description copied from class: EvaluationVisitorImpl

Callback for an AssociationClassCallExp visit. Evaluates the source of the expression and then reflectively gets the value of the reference on the result. For example, in "self.foo", "self" is the source and would be evaluated first, then the value of the reference "foo" would be derived on that object.

Specified by:

visitAssociationClassCallExp in interface Visitor<Value,java.lang.Object>

Overrides:

visitAssociationClassCallExp in class EvaluationVisitorImpl

visitCollectionItem

public Value visitCollectionItem(CollectionItem item)

Specified by:

visitCollectionItem in interface Visitor<Value,java.lang.Object>

Overrides:

visitCollectionItem in class EvaluationVisitorImpl

visitIterateExp

public Value visitIterateExp(IterateExp iterateExp)

Description copied from class: EvaluationVisitorImpl

Callback for an IterateExp visit.

Specified by:

visitIterateExp in interface Visitor<Value,java.lang.Object>

Overrides:

visitIterateExp in class EvaluationVisitorImpl

visitIteratorExp

public Value visitIteratorExp(IteratorExp iteratorExp)

Description copied from class: EvaluationVisitorImpl

Callback for an IteratorExp visit.

Specified by:

visitIteratorExp in interface Visitor<Value,java.lang.Object>

Overrides:

visitIteratorExp in class EvaluationVisitorImpl

visitOperationCallExp

public Value visitOperationCallExp(OperationCallExp operationCallExp)

Description copied from class: EvaluationVisitorImpl

Callback for an OperationCallExp visit.

Specified by:

visitOperationCallExp in interface Visitor<Value,java.lang.Object>

Overrides:

visitOperationCallExp in class EvaluationVisitorImpl

visitPropertyCallExp

public Value visitPropertyCallExp(PropertyCallExp propertyCallExp)

Description copied from class: EvaluationVisitorImpl

Callback for a PropertyCallExp visit.

Specified by:

visitPropertyCallExp in interface Visitor<Value,java.lang.Object>

Overrides:

visitPropertyCallExp in class EvaluationVisitorImpl

visitTupleLiteralPart

public Value visitTupleLiteralPart(TupleLiteralPart tp)

Specified by:

visitTupleLiteralPart in interface Visitor<Value,java.lang.Object>

Overrides:

visitTupleLiteralPart in class EvaluationVisitorImpl