Package org.grinvin.list

Interface Summary

GraphInvariantList Interface that combines GraphList and InvariantList objects.
GraphInvariantListModel
GraphList Interface to ease the use of graph lists.
GraphListElementListener Interface that all elements that listen to GraphListElements should implement.
GraphListModel Interface that identifies graph list models.
GraphListModelContentsListener Listener that also listents to the contents of the GraphListModel.
GraphListModelListener Interface that all listeners of GraphListModel should implement.
GraphListsModel Interface that identifies a graph lists model.
GraphPropertiesTableModelListener Interface that all elements that listen to GraphPropertiesTableModel should implement.
HasName Interface implemented by all objects (mostly lists) that support setName and getName.
InvariantList Interface to ease the use of lists of invariants.
InvariantListModel
InvariantListModelListener Interface that all listeners of InvariantListModel should implement.

Class Summary

DefaultGraphInvariantList Default implementation of GraphInvariantListModel.
DefaultGraphInvariantListModel Default implementation of GraphInvariantListModel.
DefaultGraphList Default implementation of GraphList.
DefaultGraphListModel Default implementation of GraphListModel.
DefaultGraphListsModel Model that contains a list of available graph lists and the current sequence number.
DefaultInvariantList Default implementation of InvariantList.
DefaultInvariantListModel Default implementation of InvariantListModel.
FactoryDropHandler Allows a factory to be dropped onto a component.
FactoryList Cell list component with entries of type GraphFactory.
FactoryList.FactoryListCellRenderer
GraphInvariantTableModelTableModel to be used in GraphTableComponent.
GraphListCellRenderer Cell renderer for cell lists with elements of type GraphListElement.
GraphListElement Represents the elements of a GraphList.
GraphListElementDropHandler Allows (multiple) graph elements to be dropped onto a component.
GraphListElementManager Manages the mapping between Graph URI's and the GraphListElement objects representing them.
GraphListElementRenderer Cell renderer for objects of type GraphListElement.
GraphListRenderer Table cell renderer for objects of type GraphListElement.
GraphListsComponent
GraphListTableRenderer Table cell renderer for objects of type GraphListElement.
GraphPropertiesTable Table to display a GraphPropertiesTableModel.
GraphPropertiesTableModel Table model for the table of properties of a graph.
GraphPropertiesWindow Window that displays a drawing of the graph as well as its known invariants.
GraphViewPanel Provides a view of the Graph.
InvariantTableCellRenderer Table cell renderer for objects of type Invariant.
InvariantTree Tree component with leaves of type Invariant.
InvariantTreeModel Tree model containing the tree of supported invariants.
InvariantValueTableCellRenderer Table cell renderer for objects of type InvariantValue.