|
| |
|
| java.lang.Object
 de.uka.ilkd.key.visualdebugger.VisualDebuggerState
| VisualDebuggerState | | public class VisualDebuggerState (Code) | | This class encapsulates some information which has been originally attached to
node. As after three further add-ons made this way, Node would become unreadable
they are now collected here and PRELIMINARY attached to NodeInfo. The storage of these
objects have to be removed from there too. One has either to maintain a separate
Node <-> VisualDebuggerState mapping in the visualdebugger package (attention: you have to
keep track of added and _removed_ nodes in order to avoid memory leaks)
or one has to add a general framework in order to attach additional infos on proof
nodes.
|
| VisualDebuggerState | | public VisualDebuggerState()(Code) | | |
| getLabels | | public HashMapFromPosInOccurrenceToLabel getLabels()(Code) | | |
| getStatementIdcount | | public int getStatementIdcount()(Code) | | |
| getStepOver | | public int getStepOver()(Code) | | |
| getStepOverFrom | | public int getStepOverFrom()(Code) | | |
| isLooking | | public boolean isLooking()(Code) | | |
| setLabels | | public void setLabels(HashMapFromPosInOccurrenceToLabel labels)(Code) | | |
| setLooking | | public void setLooking(boolean looking)(Code) | | |
| setStatementIdcount | | public void setStatementIdcount(int statementIdcount)(Code) | | |
| setStepOver | | public void setStepOver(int stepOver)(Code) | | |
| setStepOverFrom | | public void setStepOverFrom(int stepOverFrom)(Code) | | |
|
|
|