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

Class IVMEvaluationEnvironment.StepperEntry

java.lang.Object

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

Enclosing interface:

IVMEvaluationEnvironment

public static class IVMEvaluationEnvironment.StepperEntry
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Element	element
IStepper	stepper

Constructor Summary

Constructors

Constructor and Description
IVMEvaluationEnvironment.StepperEntry(IStepper stepper, Element element)

Method Summary

Methods

Modifier and Type	Method and Description
void	popFrom(IVMEvaluationEnvironment evaluationEnvironment)
void	pushTo(IVMEvaluationEnvironment 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

IVMEvaluationEnvironment.StepperEntry

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

Method Detail

popFrom

public void popFrom(@NonNull
           IVMEvaluationEnvironment evaluationEnvironment)

pushTo

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