Modifier and Type | Class and Description |
---|---|
class |
OCLVMEvaluationStepper |
Modifier and Type | Field and Description |
---|---|
protected VMEvaluationStepper |
OCLVMEvaluationVisitor.vmEvaluationStepper |
Modifier and Type | Method and Description |
---|---|
VMEvaluationStepper |
OCLVMEvaluationVisitor.getVMEvaluationStepper() |
Constructor and Description |
---|
OCLVMEvaluationVisitor(VMEvaluationStepper vmEvaluationStepper,
EvaluationVisitor nestedEvaluationVisitor) |
Modifier and Type | Method and Description |
---|---|
Element |
AbstractStepper.getFirstElement(VMEvaluationStepper vmEvaluationVisitor,
Element element) |
Element |
AbstractStepper.isPostStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element childElement,
java.lang.Object result) |
Element |
IfExpStepper.isPostStoppable(VMEvaluationStepper vmEvaluationVisitor,
Element childElement,
java.lang.Object result) |
Element |
IterateExpStepper.isPostStoppable(VMEvaluationStepper vmEvaluationVisitor,
Element childElement,
java.lang.Object result) |
Element |
LetExpStepper.isPostStoppable(VMEvaluationStepper vmEvaluationVisitor,
Element childElement,
java.lang.Object result) |
Element |
LoopExpStepper.isPostStoppable(VMEvaluationStepper vmEvaluationVisitor,
Element childElement,
java.lang.Object result) |
Element |
NonStepper.isPostStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element childElement,
java.lang.Object result) |
Element |
OperationCallExpStepper.isPostStoppable(VMEvaluationStepper vmEvaluationVisitor,
Element childElement,
java.lang.Object result) |
Element |
VariableStepper.isPostStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element childElement,
java.lang.Object result) |
boolean |
AbstractStepper.isPreStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element element) |
boolean |
ElementStepper.isPreStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element element) |
boolean |
ExpressionInOCLStepper.isPreStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element element) |
boolean |
LoopExpStepper.isPreStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element element) |
Modifier and Type | Method and Description |
---|---|
boolean |
ConditionChecker.checkCondition(VMEvaluationStepper mainEvaluator) |
java.lang.Object |
ConditionChecker.evaluate(VMEvaluationStepper mainEvaluator) |
boolean |
VMBreakpoint.hitAndCheckIfTriggered(VMEvaluationStepper visitor) |
void |
IVMDebuggerShell.sessionStarted(VMEvaluationStepper evaluator) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractVMEvaluationStepper |
Modifier and Type | Method and Description |
---|---|
VMEvaluationStepper |
VMEvaluationVisitor.getVMEvaluationStepper() |
Modifier and Type | Method and Description |
---|---|
Element |
IStepper.getFirstElement(VMEvaluationStepper vmEvaluationVisitor,
Element element) |
Element |
IStepper.isPostStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element childElement,
java.lang.Object result)
Return null if no suspension is required after execution of childElement gave result, else return the next element to be executed.
|
boolean |
IStepper.isPreStoppable(VMEvaluationStepper rootVMEvaluationVisitor,
Element element)
Return true if execution may be suspended before executing element.
|