|
| |
|
| java.lang.Object
 de.uka.ilkd.key.proof.NodeInfo
| NodeInfo | | public class NodeInfo (Code) | | The node info object contains additional information about a node used to
give user feedback. The content does not have any influence on the proof or
carry something of logical value.
|
| getActiveStatement | | public SourceElement getActiveStatement()(Code) | | returns the active statement of the JavaBlock the applied
rule has been matched against or null if no rule has been applied yet
or the applied rule was no taclet or program transformation rule
|
| getBranchLabel | | public String getBranchLabel()(Code) | | returns the branch label
|
| getExecStatementParentClass | | public String getExecStatementParentClass()(Code) | | returns the name of the source file where the active statement
occurs or the string NONE if the statement does not originate from a
source file (e.g. created by a taclet application or part of a
generated implicit method)
|
| getExecStatementPosition | | public Position getExecStatementPosition()(Code) | | returns the position of the executed statement in its source code
or Position.UNDEFINED
|
| getFirstStatementString | | public String getFirstStatementString()(Code) | | returns a string representation of the first statement or null if no such
exists
|
| getInteractiveRuleApplication | | public boolean getInteractiveRuleApplication()(Code) | | returns true if the rule applied on this node has been performed
manually by the user
|
| getVisualDebuggerState | | public VisualDebuggerState getVisualDebuggerState()(Code) | | returns the visual debugger state
the visual debugger state |
| setBranchLabel | | public void setBranchLabel(String s)(Code) | | sets the branch label of a node. Schema variables occuring
in string s are replaced by their instantiations if
possible
Parameters:
s - the String to be set |
| setInteractiveRuleApplication | | public void setInteractiveRuleApplication(boolean b)(Code) | | parameter indicated if the rule has been applied interactively or
not
Parameters:
b - a boolean indicating interactive application |
|
|
|