org.eclipse.ocl.examples.debug.vm.evaluator
Interface IVMRootEvaluationVisitor<T extends NamedElement>

All Superinterfaces:
DomainEvaluator, EvaluationVisitor, IVMEvaluationVisitor<T>, Visitor<java.lang.Object>
All Known Implementing Classes:
OCLVMRootEvaluationVisitor

public interface IVMRootEvaluationVisitor<T extends NamedElement>
extends IVMEvaluationVisitor<T>


Method Summary
 UnitLocation getCurrentLocation()
           
 IVMEvaluationEnvironment<T> getEvaluationEnvironment()
          Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc.
 java.util.List<UnitLocation> getLocationStack()
           
 IStepperVisitor getStepperVisitor()
           
 void postIterate(LoopExp element)
           
 void preIterate(LoopExp element)
           
 
Methods inherited from interface org.eclipse.ocl.examples.debug.vm.evaluator.IVMEvaluationVisitor
getClonedEvaluator, getPluginId
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.evaluation.EvaluationVisitor
createNestedEvaluator, evaluate, evaluate, getEnvironment, getEvaluator, getMetaModelManager, getModelManager, getMonitor, getStandardLibrary, isCanceled, setCanceled, setMonitor, setUndecoratedVisitor
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitor
getAdapter, visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitClass, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitConnectionPointReference, visitConstraint, visitConstructorExp, visitConstructorPart, visitDataType, visitDetail, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visiting, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLambdaType, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageExp, visitMessageType, visitMetaclass, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOpaqueExpression, visitOperation, visitOperationCallExp, visitOperationTemplateParameter, visitOppositePropertyCallExp, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitRoot, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTupleType, visitType, visitTypedElement, visitTypedMultiplicityElement, visitTypeExp, visitTypeExtension, visitTypeTemplateParameter, visitUnlimitedNaturalLiteralExp, visitUnspecifiedType, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType
 
Methods inherited from interface org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator
dispose, getIdResolver, getLogger, getRegexPattern, getStaticTypeOf, getStaticTypeOf, getStaticTypeOf, setLogger
 

Method Detail

getCurrentLocation

@NonNull
UnitLocation getCurrentLocation()

getEvaluationEnvironment

@NonNull
IVMEvaluationEnvironment<T> getEvaluationEnvironment()
Description copied from interface: EvaluationVisitor
Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc.

Specified by:
getEvaluationEnvironment in interface DomainEvaluator
Specified by:
getEvaluationEnvironment in interface EvaluationVisitor
Returns:
the evaluation environment

getLocationStack

@NonNull
java.util.List<UnitLocation> getLocationStack()

getStepperVisitor

@NonNull
IStepperVisitor getStepperVisitor()

postIterate

void postIterate(@NonNull
                 LoopExp element)

preIterate

void preIterate(@NonNull
                LoopExp element)