org.grinvin.gui.components
Class GraphTableComponent
EnhancedTable
org.grinvin.gui.components.GraphTableComponent
- HasGraphList, HasRequestedCell, HasSelectableGraphList, HasSelectableValues, MouseListener
public class GraphTableComponent
extends EnhancedTable
Table component which displays a list of graphs as rows, invariants as columns
and the corresponding values in the table cells.
A table of this type is drag-and-drop enabled:
GraphTableComponent
public GraphTableComponent(GraphListModel graphListModel,
InvariantListModel invariantListModel,
ListSelectionModel newSelectionModel)
Creates a new instance of GraphTableComponent
boolean getScrollableTracksViewportHeight
public @Override boolean getScrollableTracksViewportHeight()
deleteSelectedRows
public void deleteSelectedRows()
Delete currently selected rows.
getSelectedValue
public Object getSelectedValue()
mouseClicked
public void mouseClicked(MouseEvent e)
mouseEntered
public void mouseEntered(MouseEvent e)
mouseExited
public void mouseExited(MouseEvent e)
mousePressed
public void mousePressed(MouseEvent e)
mouseReleased
public void mouseReleased(MouseEvent e)
rescaleColumns
public void rescaleColumns()
void tableChanged
public @Override void tableChanged(TableModelEvent e)