de.uka.ilkd.key.gui.mergerule.predicateabstraction

Class AbstractionPredicatesChoiceDialog.ChoiceTableModel

java.lang.Object

javax.swing.table.AbstractTableModel

de.uka.ilkd.key.gui.mergerule.predicateabstraction.AbstractionPredicatesChoiceDialog.ChoiceTableModel

All Implemented Interfaces:

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

Enclosing class:

AbstractionPredicatesChoiceDialog

private class AbstractionPredicatesChoiceDialog.ChoiceTableModel
extends javax.swing.table.AbstractTableModel

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class javax.swing.table.AbstractTableModel

listenerList

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ChoiceTableModel()

Method Summary

Modifier and Type	Method and Description
int	getColumnCount()
java.lang.String	getColumnName(int column)
int	getRowCount()
java.lang.Object	getValueAt(int rowIndex, int columnIndex)
boolean	isCellEditable(int rowIndex, int columnIndex)
void	setValueAt(java.lang.Object aValue, int rowIndex, int columnIndex)

Methods inherited from class javax.swing.table.AbstractTableModel

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

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

ChoiceTableModel

private ChoiceTableModel()

Method Detail

getRowCount

public int getRowCount()

getColumnCount

public int getColumnCount()

getColumnName

public java.lang.String getColumnName(int column)

Specified by:

getColumnName in interface javax.swing.table.TableModel

Overrides:

getColumnName in class javax.swing.table.AbstractTableModel

getValueAt

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

setValueAt

public void setValueAt(java.lang.Object aValue,
                       int rowIndex,
                       int columnIndex)

Specified by:

setValueAt in interface javax.swing.table.TableModel

Overrides:

setValueAt in class javax.swing.table.AbstractTableModel

isCellEditable

public boolean isCellEditable(int rowIndex,
                              int columnIndex)

Specified by:

isCellEditable in interface javax.swing.table.TableModel

Overrides:

isCellEditable in class javax.swing.table.AbstractTableModel