edu.washington.cs.supple.wlib.java2
Class TableWidget.SuppleTableModel

java.lang.Object
  javax.swing.table.AbstractTableModel
      edu.washington.cs.supple.wlib.java2.TableWidget.SuppleTableModel

All Implemented Interfaces:

javax.swing.ListModel, java.io.Serializable, javax.swing.table.TableModel

Enclosing class:

TableWidget

protected class TableWidget.SuppleTableModel

extends javax.swing.table.AbstractTableModel

implements javax.swing.ListModel

See Also:

Serialized Form

Field Summary

protected java.lang.String[]	childrenToDisplay
protected java.lang.Object[][]	data
protected java.awt.Font	defaultFont
protected int[]	desiredColPixelWidth
protected int[]	desiredColStringWidth
protected java.lang.Object[]	rows
protected StateVar	stateVar
protected java.lang.String[]	titles
protected int	totalDesiredWidth
protected ContainerType	type

Fields inherited from class javax.swing.table.AbstractTableModel

listenerList

Constructor Summary

TableWidget.SuppleTableModel(ContainerType type, java.awt.Font defaultFont)

Method Summary

void	addListDataListener(javax.swing.event.ListDataListener arg0)
int	getColumnCount()
java.lang.String	getColumnName(int col)
int	getDesiredColumnPixelWidth(int col)
java.lang.Object	getElementAt(int arg0)
int	getRowCount()
int	getSize()
int	getTotalDesiredWidth()
java.lang.Object	getValueAt(int arg0, int arg1)
void	removeListDataListener(javax.swing.event.ListDataListener arg0)
protected void	setColumnTitles(ContainerType type)
void	setDomain(java.util.Collection domain)

Methods inherited from class javax.swing.table.AbstractTableModel

addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getColumnClass, getListeners, getTableModelListeners, isCellEditable, removeTableModelListener, setValueAt

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

data

protected java.lang.Object[][] data

rows

protected java.lang.Object[] rows

titles

protected java.lang.String[] titles

childrenToDisplay

protected java.lang.String[] childrenToDisplay

desiredColStringWidth

protected int[] desiredColStringWidth

desiredColPixelWidth

protected int[] desiredColPixelWidth

totalDesiredWidth

protected int totalDesiredWidth

type

protected ContainerType type

stateVar

protected StateVar stateVar

defaultFont

protected java.awt.Font defaultFont

Constructor Detail

TableWidget.SuppleTableModel

public TableWidget.SuppleTableModel(ContainerType type,
                                    java.awt.Font defaultFont)

Method Detail

setColumnTitles

protected void setColumnTitles(ContainerType type)

getTotalDesiredWidth

public int getTotalDesiredWidth()

getDesiredColumnPixelWidth

public int getDesiredColumnPixelWidth(int col)

getRowCount

public int getRowCount()

Specified by:

getRowCount in interface javax.swing.table.TableModel

getColumnCount

public int getColumnCount()

Specified by:

getColumnCount in interface javax.swing.table.TableModel

getColumnName

public java.lang.String getColumnName(int col)

Specified by:

getColumnName in interface javax.swing.table.TableModel

getValueAt

public java.lang.Object getValueAt(int arg0,
                                   int arg1)

Specified by:

getValueAt in interface javax.swing.table.TableModel

setDomain

public void setDomain(java.util.Collection domain)

getSize

public int getSize()

Specified by:

getSize in interface javax.swing.ListModel

getElementAt

public java.lang.Object getElementAt(int arg0)

Specified by:

getElementAt in interface javax.swing.ListModel

addListDataListener

public void addListDataListener(javax.swing.event.ListDataListener arg0)

Specified by:

addListDataListener in interface javax.swing.ListModel

removeListDataListener

public void removeListDataListener(javax.swing.event.ListDataListener arg0)

Specified by:

removeListDataListener in interface javax.swing.ListModel