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<T extends NamedElement>
public static class IVMEvaluationEnvironment.StepperEntry
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
stepper
@NonNull
public final IStepper stepper
element
@NonNull
public final Element element
IVMEvaluationEnvironment.StepperEntry
public IVMEvaluationEnvironment.StepperEntry(@NonNull
IStepper stepper,
@NonNull
Element element)
popFrom
public void popFrom(@NonNull
IVMEvaluationEnvironment<?> evaluationEnvironment)
pushTo
public void pushTo(@NonNull
IVMEvaluationEnvironment<?> evaluationEnvironment,
@NonNull
DomainTypedElement element,
@Nullable
java.lang.Object value)