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

java.lang.Object
  extended by org.eclipse.ocl.examples.debug.vm.evaluator.IVMEvaluationEnvironment.StepperEntry
Enclosing interface:
IVMEvaluationEnvironment<T extends NamedElement>

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


Field Summary
 Element element
           
 IStepper stepper
           
 
Constructor Summary
IVMEvaluationEnvironment.StepperEntry(IStepper stepper, Element element)
           
 
Method Summary
 void popFrom(IVMEvaluationEnvironment<?> evaluationEnvironment)
           
 void pushTo(IVMEvaluationEnvironment<?> evaluationEnvironment, DomainTypedElement 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
                   DomainTypedElement element,
                   @Nullable
                   java.lang.Object value)