org.grinvin.list
Class GraphPropertiesTableModel
AbstractTableModel
org.grinvin.list.GraphPropertiesTableModel
- GraphListElementListener
public class GraphPropertiesTableModel
extends AbstractTableModel
Table model for the table of properties of a graph.
GraphPropertiesTableModel
public GraphPropertiesTableModel(GraphListElement element)
Create a model for the given graph list element and the given
list of invariants.
fireGraphListElementChanged
public void fireGraphListElementChanged()
getColumnClass
public Class getColumnClass(int col)
getColumnCount
public int getColumnCount()
Has a fixed number of columns.
getColumnName
public String getColumnName(int column)
Column names are null.
getRowCount
public int getRowCount()
getValueAt
public Object getValueAt(int row,
int column)
The value in the first column is the invariant,
the value in the second column is its value.
setElement
public void setElement(GraphListElement newElement)
Use a different graph list element.