org.grinvin.list
Class InvariantTreeModel
DefaultTreeModel
org.grinvin.list.InvariantTreeModel
public class InvariantTreeModel
extends DefaultTreeModel
Tree model containing the tree of supported invariants.
InvariantTreeModel(Iterable list) - Return a model for the tree of invariants that corresponds
to the given list of nodes.
|
InvariantTreeModel
public InvariantTreeModel(Iterable list)
Return a model for the tree of invariants that corresponds
to the given list of nodes.
getInsertionPoint
public MutableTreeNode getInsertionPoint(String key)
Return the node that corresponds to the given named insertion point.
getName
public String getName()
getStandardTree
public static InvariantTreeModel getStandardTree()
Return the tree model for the standard invariants that come with GrInvIn.