org.uacalc.ui.table

Class OperationTableModel

java.lang.Object

javax.swing.table.AbstractTableModel

org.uacalc.ui.table.OperationTableModel

All Implemented Interfaces:

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

public class OperationTableModel
extends javax.swing.table.AbstractTableModel

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.table.AbstractTableModel

listenerList

Constructor Summary

Constructors

Constructor and Description
OperationTableModel(int arity, int setSize)
OperationTableModel(int arity, int setSize, boolean idempotent, int defaultValue)
OperationTableModel(OperationSymbol sym, int setSize, boolean idempotent, int defaultValue)
OperationTableModel(OperationWithDefaultValue op)

Method Summary

Modifier and Type	Method and Description
java.lang.Class	getColumnClass(int col)
int	getColumnCount() The column of index 0 is a vector of all but the last arg.
java.lang.String	getColumnName(int col)
int	getDefaultValue()
java.lang.String	getLastVariable()
OperationWithDefaultValue	getOperation()
OperationSymbol	getOperationSymbol()
int	getRowCount()
java.lang.Object	getValueAt(int rowIndex, int columnIndex)
int[]	getValueTable()
boolean	isCellEditable(int row, int col)
boolean	isIdempotentSet() Make an int operation which returns the defaultValue.
void	setDefaultValue(int v)
void	setIdempotent(boolean v)
void	setRowName(int k, int[] arg)
void	setRowNames()
void	setValueAt(java.lang.Object val, int row, int col)

Methods inherited from class javax.swing.table.AbstractTableModel

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

Methods inherited from class java.lang.Object

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

Constructor Detail

OperationTableModel

public OperationTableModel(OperationWithDefaultValue op)

OperationTableModel

public OperationTableModel(int arity,
                           int setSize)

OperationTableModel

public OperationTableModel(int arity,
                           int setSize,
                           boolean idempotent,
                           int defaultValue)

OperationTableModel

public OperationTableModel(OperationSymbol sym,
                           int setSize,
                           boolean idempotent,
                           int defaultValue)

Method Detail

isIdempotentSet

public boolean isIdempotentSet()

Make an int operation which returns the defaultValue. It might be the invalid value -1. Also set up leftArgsTable.

Parameters:

sym -

setSize -

Returns:

setIdempotent

public void setIdempotent(boolean v)

getDefaultValue

public int getDefaultValue()

setDefaultValue

public void setDefaultValue(int v)

getLastVariable

public java.lang.String getLastVariable()

setRowNames

public void setRowNames()

setRowName

public void setRowName(int k,
                       int[] arg)

getOperationSymbol

public OperationSymbol getOperationSymbol()

getValueTable

public int[] getValueTable()

getOperation

public OperationWithDefaultValue getOperation()

getColumnCount

public int getColumnCount()

The column of index 0 is a vector of all but the last arg.

getRowCount

public int getRowCount()

getColumnName

public java.lang.String getColumnName(int col)

Specified by:

getColumnName in interface javax.swing.table.TableModel

Overrides:

getColumnName in class javax.swing.table.AbstractTableModel

getColumnClass

public java.lang.Class getColumnClass(int col)

Specified by:

getColumnClass in interface javax.swing.table.TableModel

Overrides:

getColumnClass in class javax.swing.table.AbstractTableModel

isCellEditable

public boolean isCellEditable(int row,
                              int col)

Specified by:

isCellEditable in interface javax.swing.table.TableModel

Overrides:

isCellEditable in class javax.swing.table.AbstractTableModel

getValueAt

public java.lang.Object getValueAt(int rowIndex,
                                   int columnIndex)

setValueAt

public void setValueAt(java.lang.Object val,
                       int row,
                       int col)

Specified by:

setValueAt in interface javax.swing.table.TableModel

Overrides:

setValueAt in class javax.swing.table.AbstractTableModel