| |
|
| java.lang.Object de.uka.ilkd.key.gui.KeYSelectionModel
KeYSelectionModel | public class KeYSelectionModel (Code) | | |
Inner Class :protected class DefaultSelectionIterator implements IteratorOfGoal | |
KeYSelectionModel | KeYSelectionModel()(Code) | | |
defaultSelection | public void defaultSelection()(Code) | | selectes the first goal in the goal list of proof if available
if not it selectes a leaf of the proof tree
|
fireSelectedNodeChanged | public synchronized void fireSelectedNodeChanged()(Code) | | |
fireSelectedProofChanged | public synchronized void fireSelectedProofChanged()(Code) | | |
getSelectedGoal | public Goal getSelectedGoal()(Code) | | returns the goal the selected node belongs to, null if it is
an inner node
the goal the selected node belongs to, null if it isan inner node |
getSelectedNode | public Node getSelectedNode()(Code) | | returns the node that is selected by the user
the node that is selected by the user |
getSelectedProof | public Proof getSelectedProof()(Code) | | returns the proof that is selected by the user
the proof that is selected by the user |
isGoal | public boolean isGoal()(Code) | | returns true iff the selected node is a goal
true iff the selected node is a goal |
nearestOpenGoalSelection | public void nearestOpenGoalSelection(Node old)(Code) | | selects the first open goal below the given node old
if no open goal is available node old is selected. In case
that old has been removed from the proof the proof root is
selected
Parameters: old - the Node to start looking for open goals |
setSelectedGoal | public void setSelectedGoal(Goal g)(Code) | | sets the node that is focused by the user
Parameters: g - the Goal that contains the selected node |
setSelectedNode | public void setSelectedNode(Node n)(Code) | | sets the node that is focused by the user
Parameters: n - the selected node |
setSelectedProof | public void setSelectedProof(Proof p)(Code) | | sets the selected proof
Parameters: p - the Proof that is selected |
|
|
|