org.grinvin.list.graphs

Class GraphTreeModel

Implemented Interfaces:
TreeModel

public class GraphTreeModel
extends java.lang.Object
implements TreeModel

Constructor Summary

GraphTreeModel(GraphGroup root)

Method Summary

void
addTreeModelListener(TreeModelListener l)
Object
getChild(Object parent, int index)
int
getChildCount(Object parent)
int
getIndexOfChild(Object parent, Object child)
Object
getRoot()
static GraphTreeModel
getStandardTree()
Return the tree model for the standard invariants that come with GrInvIn.
boolean
isLeaf(Object node)
void
removeTreeModelListener(TreeModelListener l)
void
valueForPathChanged(TreePath path, Object newValue)

Constructor Details

GraphTreeModel

public GraphTreeModel(GraphGroup root)

Method Details

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)