public class KeYSelectionModel
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
protected class |
KeYSelectionModel.DefaultSelectionIterator
enumerate the possible goal selections, starting with the best one
|
Constructor and Description |
---|
KeYSelectionModel() |
Modifier and Type | Method and Description |
---|---|
void |
addKeYSelectionListener(KeYSelectionListener listener) |
void |
defaultSelection()
selects the first goal in the goal list of proof if available if not it
selects a leaf of the proof tree
|
void |
fireSelectedNodeChanged() |
void |
fireSelectedProofChanged() |
Goal |
getSelectedGoal()
returns the goal the selected node belongs to, null if it is an inner node
|
Node |
getSelectedNode()
returns the node that is selected by the user
|
Proof |
getSelectedProof()
returns the proof that is selected by the user
|
boolean |
isGoal()
returns true iff the selected node is a goal
|
void |
nearestOpenGoalSelection(Node old)
selects the first open goal below the given node old if no open goal
is available node old is selected.
|
void |
removeKeYSelectionListener(KeYSelectionListener listener) |
void |
setProof(Proof p)
Does not take care of GUI effects
|
void |
setSelectedGoal(Goal g)
sets the node that is focused by the user
|
void |
setSelectedNode(Node n)
sets the node that is focused by the user
|
public void setProof(Proof p)
public Proof getSelectedProof()
public void setSelectedNode(Node n)
n
- the selected nodepublic void setSelectedGoal(Goal g)
g
- the Goal that contains the selected nodepublic Node getSelectedNode()
public Goal getSelectedGoal()
public boolean isGoal()
public void defaultSelection()
public void nearestOpenGoalSelection(Node old)
old
- the Node to start looking for open goalspublic void addKeYSelectionListener(KeYSelectionListener listener)
public void removeKeYSelectionListener(KeYSelectionListener listener)
public void fireSelectedNodeChanged()
public void fireSelectedProofChanged()
Copyright © 2003-2019 The KeY-Project.