org.grinvin.list.graphs
Class GraphTreeModel
java.lang.Object
org.grinvin.list.graphs.GraphTreeModel
- TreeModel
public class GraphTreeModel
extends java.lang.Object
implements TreeModel
GraphTreeModel
public GraphTreeModel(GraphGroup root)
addTreeModelListener
public void addTreeModelListener(TreeModelListener l)
getChild
public Object getChild(Object parent,
int index)
getChildCount
public int getChildCount(Object parent)
getIndexOfChild
public int getIndexOfChild(Object parent,
Object child)
getRoot
public Object getRoot()
getStandardTree
public static GraphTreeModel getStandardTree()
Return the tree model for the standard invariants that come with GrInvIn.
isLeaf
public boolean isLeaf(Object node)
removeTreeModelListener
public void removeTreeModelListener(TreeModelListener l)
valueForPathChanged
public void valueForPathChanged(TreePath path,
Object newValue)