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:

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

class ProgressModel
extends javax.swing.table.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 java.util.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)
java.lang.Class<?>	getColumnClass(int columnIndex)
int	getColumnCount()
int	getRowCount()
java.lang.Object	getValueAt(int row, int col)
boolean	isCellEditable(int rowIndex, int columnIndex)
void	setBackgroundColor(java.awt.Color color, int x, int y)
void	setEditable(boolean b)
void	setForegroundColor(java.awt.Color color, int x, int y)
void	setProgress(int value, int column, int row)
void	setText(java.lang.String text, int column, int row)
void	setTextColor(java.awt.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 java.util.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(java.lang.String text,
                    int column,
                    int row)

setTextColor

public void setTextColor(java.awt.Color color,
                         int x,
                         int y)

setForegroundColor

public void setForegroundColor(java.awt.Color color,
                               int x,
                               int y)

setBackgroundColor

public void setBackgroundColor(java.awt.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 javax.swing.table.TableModel

Overrides:

isCellEditable in class javax.swing.table.AbstractTableModel

getColumnClass

public java.lang.Class<?> getColumnClass(int columnIndex)

Specified by:

getColumnClass in interface javax.swing.table.TableModel

Overrides:

getColumnClass in class javax.swing.table.AbstractTableModel

getValueAt

public java.lang.Object getValueAt(int row,
                                   int col)

getColumn

public ProgressModel.Column getColumn(int col)