org.grinvin.list

Class InvariantTreeModel


public class InvariantTreeModel
extends DefaultTreeModel

Tree model containing the tree of supported invariants.

Constructor Summary

InvariantTreeModel(Iterable list)
Return a model for the tree of invariants that corresponds to the given list of nodes.

Method Summary

MutableTreeNode
getInsertionPoint(String key)
Return the node that corresponds to the given named insertion point.
String
getName()
static InvariantTreeModel
getStandardTree()
Return the tree model for the standard invariants that come with GrInvIn.

Constructor Details

InvariantTreeModel

public InvariantTreeModel(Iterable list)
Return a model for the tree of invariants that corresponds to the given list of nodes.

Method Details

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.