de.uka.ilkd.key.gui.smt

Class ProgressModel

java.lang.Object

javax.swing.table.AbstractTableModel

de.uka.ilkd.key.gui.smt.ProgressModel

All Implemented Interfaces:

Serializable, TableModel

class ProgressModel
extends AbstractTableModel

Encapsulates the table of progress bars that is shown within the progress dialog: For each solver and each goal there is a cell.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static interface	ProgressModel.Column
static class	ProgressModel.ProcessColumn
static class	ProgressModel.TitleColumn

Field Summary

Fields

Modifier and Type	Field and Description
private ArrayList<ProgressModel.Column>	columns
private int	rowCount
private static long	serialVersionUID

Fields inherited from class javax.swing.table.AbstractTableModel

listenerList

Constructor Summary

Constructors

Constructor and Description
ProgressModel()

Method Summary

Modifier and Type	Method and Description
void	addColumn(ProgressModel.Column column)
ProgressModel.Column	getColumn(int col)
Class<?>	getColumnClass(int columnIndex)
int	getColumnCount()
int	getRowCount()
Object	getValueAt(int row, int col)
boolean	isCellEditable(int rowIndex, int columnIndex)
void	setBackgroundColor(Color color, int x, int y)
void	setEditable(boolean b)
void	setForegroundColor(Color color, int x, int y)
void	setProgress(int value, int column, int row)
void	setText(String text, int column, int row)
void	setTextColor(Color color, int x, int y)

Methods inherited from class javax.swing.table.AbstractTableModel

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

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

columns

private ArrayList<ProgressModel.Column> columns

rowCount

private int rowCount

Constructor Detail

ProgressModel

public ProgressModel()

Method Detail

addColumn

public void addColumn(ProgressModel.Column column)

setProgress

public void setProgress(int value,
                        int column,
                        int row)

setText

public void setText(String text,
                    int column,
                    int row)

setTextColor

public void setTextColor(Color color,
                         int x,
                         int y)

setForegroundColor

public void setForegroundColor(Color color,
                               int x,
                               int y)

setBackgroundColor

public void setBackgroundColor(Color color,
                               int x,
                               int y)

setEditable

public void setEditable(boolean b)

getColumnCount

public int getColumnCount()

getRowCount

public int getRowCount()

isCellEditable

public boolean isCellEditable(int rowIndex,
                              int columnIndex)

Specified by:

isCellEditable in interface TableModel

Overrides:

isCellEditable in class AbstractTableModel

getColumnClass

public Class<?> getColumnClass(int columnIndex)

Specified by:

getColumnClass in interface TableModel

Overrides:

getColumnClass in class AbstractTableModel

getValueAt

public Object getValueAt(int row,
                         int col)

getColumn

public ProgressModel.Column getColumn(int col)