| java.lang.Object javax.swing.tree.DefaultTreeModel de.uka.ilkd.key.proof.RuleTreeModel
setSelectedGoal | public void setSelectedGoal(Goal g)(Code) | | |
Methods inherited from javax.swing.tree.DefaultTreeModel | public void addTreeModelListener(TreeModelListener l)(Code)(Java Doc) public boolean asksAllowsChildren()(Code)(Java Doc) protected void fireTreeNodesChanged(Object source, Object[] path, int[] childIndices, Object[] children)(Code)(Java Doc) protected void fireTreeNodesInserted(Object source, Object[] path, int[] childIndices, Object[] children)(Code)(Java Doc) protected void fireTreeNodesRemoved(Object source, Object[] path, int[] childIndices, Object[] children)(Code)(Java Doc) protected void fireTreeStructureChanged(Object source, Object[] path, int[] childIndices, Object[] children)(Code)(Java Doc) public Object getChild(Object parent, int index)(Code)(Java Doc) public int getChildCount(Object parent)(Code)(Java Doc) public int getIndexOfChild(Object parent, Object child)(Code)(Java Doc) public T[] getListeners(Class<T> listenerType)(Code)(Java Doc) public TreeNode[] getPathToRoot(TreeNode aNode)(Code)(Java Doc) protected TreeNode[] getPathToRoot(TreeNode aNode, int depth)(Code)(Java Doc) public Object getRoot()(Code)(Java Doc) public TreeModelListener[] getTreeModelListeners()(Code)(Java Doc) public void insertNodeInto(MutableTreeNode newChild, MutableTreeNode parent, int index)(Code)(Java Doc) public boolean isLeaf(Object node)(Code)(Java Doc) public void nodeChanged(TreeNode node)(Code)(Java Doc) public void nodeStructureChanged(TreeNode node)(Code)(Java Doc) public void nodesChanged(TreeNode node, int[] childIndices)(Code)(Java Doc) public void nodesWereInserted(TreeNode node, int[] childIndices)(Code)(Java Doc) public void nodesWereRemoved(TreeNode node, int[] childIndices, Object[] removedChildren)(Code)(Java Doc) public void reload()(Code)(Java Doc) public void reload(TreeNode node)(Code)(Java Doc) public void removeNodeFromParent(MutableTreeNode node)(Code)(Java Doc) public void removeTreeModelListener(TreeModelListener l)(Code)(Java Doc) public void setAsksAllowsChildren(boolean newValue)(Code)(Java Doc) public void setRoot(TreeNode root)(Code)(Java Doc) public void valueForPathChanged(TreePath path, Object newValue)(Code)(Java Doc)
|
|
|