org.eclipse.ocl.examples.debug.vm.evaluator

Class VMEvaluationEnvironment.StepperEntry

java.lang.Object

org.eclipse.ocl.examples.debug.vm.evaluator.VMEvaluationEnvironment.StepperEntry

Enclosing interface:

VMEvaluationEnvironment

public static class VMEvaluationEnvironment.StepperEntry
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
Element	element
IStepper	stepper

Constructor Summary

Constructors

Constructor and Description
StepperEntry(IStepper stepper, Element element)

Method Summary

Modifier and Type	Method and Description
void	popFrom(VMEvaluationEnvironment evaluationEnvironment)
void	pushTo(VMEvaluationEnvironment evaluationEnvironment, TypedElement element, Object value)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

stepper

public final IStepper stepper

element

public final Element element

Constructor Detail

StepperEntry

public StepperEntry(IStepper stepper,
                    Element element)

Method Detail

popFrom

public void popFrom(VMEvaluationEnvironment evaluationEnvironment)

pushTo

public void pushTo(VMEvaluationEnvironment evaluationEnvironment,
                   TypedElement element,
                   Object value)