public class TaskTreeModel
extends javax.swing.tree.DefaultTreeModel
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Proof,TaskTreeNode> |
proofToTask |
private static long |
serialVersionUID |
Constructor and Description |
---|
TaskTreeModel() |
Modifier and Type | Method and Description |
---|---|
TaskTreeNode |
addProof(ProofAggregate plist) |
void |
addTask(TaskTreeNode p) |
TaskTreeNode |
getTaskForProof(Proof p) |
void |
removeTask(TaskTreeNode p) |
private void |
updateProofToTask(TaskTreeNode p) |
addTreeModelListener, asksAllowsChildren, fireTreeNodesChanged, fireTreeNodesInserted, fireTreeNodesRemoved, fireTreeStructureChanged, getChild, getChildCount, getIndexOfChild, getListeners, getPathToRoot, getPathToRoot, getRoot, getTreeModelListeners, insertNodeInto, isLeaf, nodeChanged, nodesChanged, nodeStructureChanged, nodesWereInserted, nodesWereRemoved, reload, reload, removeNodeFromParent, removeTreeModelListener, setAsksAllowsChildren, setRoot, valueForPathChanged
private static final long serialVersionUID
private java.util.Map<Proof,TaskTreeNode> proofToTask
public void addTask(TaskTreeNode p)
public void removeTask(TaskTreeNode p)
private void updateProofToTask(TaskTreeNode p)
public TaskTreeNode getTaskForProof(Proof p)
public TaskTreeNode addProof(ProofAggregate plist)