org.grinvin.list

Class GraphPropertiesTableModel

Implemented Interfaces:
GraphListElementListener

public class GraphPropertiesTableModel
extends AbstractTableModel
implements GraphListElementListener

Table model for the table of properties of a graph.

Constructor Summary

GraphPropertiesTableModel(GraphListElement element)
Create a model for the given graph list element and the given list of invariants.

Method Summary

void
addGraphPropertiesTableModelListener(GraphPropertiesTableModelListener listener)
void
fireGraphListElementChanged()
Class
getColumnClass(int col)
int
getColumnCount()
Has a fixed number of columns.
String
getColumnName(int column)
Column names are null.
GraphListElement
getGraphListElement()
int
getRowCount()
Object
getValueAt(int row, int column)
The value in the first column is the invariant, the value in the second column is its value.
void
graphListElementGraphChanged(GraphListElement element)
void
graphListElementInvariantComputed(GraphListElement element, Invariant invariant)
void
graphListElementNameChanged(GraphListElement element)
void
graphListElementURIChanged(GraphListElement element)
void
removeGraphPropertiesTableModelListener(GraphPropertiesTableModelListener listener)
void
setElement(GraphListElement newElement)
Use a different graph list element.

Constructor Details

GraphPropertiesTableModel

public GraphPropertiesTableModel(GraphListElement element)
Create a model for the given graph list element and the given list of invariants.

Method Details

addGraphPropertiesTableModelListener

public void addGraphPropertiesTableModelListener(GraphPropertiesTableModelListener listener)

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.

getGraphListElement

public GraphListElement getGraphListElement()

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.

graphListElementGraphChanged

public void graphListElementGraphChanged(GraphListElement element)
Specified by:
graphListElementGraphChanged in interface GraphListElementListener

graphListElementInvariantComputed

public void graphListElementInvariantComputed(GraphListElement element,
                                              Invariant invariant)
Specified by:
graphListElementInvariantComputed in interface GraphListElementListener

graphListElementNameChanged

public void graphListElementNameChanged(GraphListElement element)
Specified by:
graphListElementNameChanged in interface GraphListElementListener

graphListElementURIChanged

public void graphListElementURIChanged(GraphListElement element)
Specified by:
graphListElementURIChanged in interface GraphListElementListener

removeGraphPropertiesTableModelListener

public void removeGraphPropertiesTableModelListener(GraphPropertiesTableModelListener listener)

setElement

public void setElement(GraphListElement newElement)
Use a different graph list element.