Prev Package | Next Package | Frames | No Frames |
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 | |
GraphInvariantTableModel | TableModel 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 . |