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 java.lang.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, java.lang.Object value)

Methods inherited from class java.lang.Object

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

Field Detail

stepper

@NonNull
public final IStepper stepper

element

@NonNull
public final Element element

Constructor Detail

StepperEntry

public StepperEntry(@NonNull
                    IStepper stepper,
                    @NonNull
                    Element element)

Method Detail

popFrom

public void popFrom(@NonNull
                    VMEvaluationEnvironment evaluationEnvironment)

pushTo

public void pushTo(@NonNull
                   VMEvaluationEnvironment evaluationEnvironment,
                   @NonNull
                   TypedElement element,
                   @Nullable
                   java.lang.Object value)