de.uka.ilkd.key.gui.smt

Class ProgressTable.ProgressCellEditor

java.lang.Object

javax.swing.AbstractCellEditor

de.uka.ilkd.key.gui.smt.ProgressTable.ProgressCellEditor

All Implemented Interfaces:

Serializable, CellEditor, TableCellEditor

Enclosing class:

ProgressTable

private class ProgressTable.ProgressCellEditor
extends AbstractCellEditor
implements TableCellEditor

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class javax.swing.AbstractCellEditor

changeEvent, listenerList

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ProgressCellEditor()

Method Summary

Modifier and Type	Method and Description
Object	getCellEditorValue()
Component	getTableCellEditorComponent(JTable table, Object value, boolean isSelected, int row, int column)

Methods inherited from class javax.swing.AbstractCellEditor

addCellEditorListener, cancelCellEditing, fireEditingCanceled, fireEditingStopped, getCellEditorListeners, isCellEditable, removeCellEditorListener, shouldSelectCell, stopCellEditing

Methods inherited from class java.lang.Object

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

Methods inherited from interface javax.swing.CellEditor

addCellEditorListener, cancelCellEditing, isCellEditable, removeCellEditorListener, shouldSelectCell, stopCellEditing

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

ProgressCellEditor

private ProgressCellEditor()

Method Detail

getTableCellEditorComponent

public Component getTableCellEditorComponent(JTable table,
                                             Object value,
                                             boolean isSelected,
                                             int row,
                                             int column)

Specified by:

getTableCellEditorComponent in interface TableCellEditor

getCellEditorValue

public Object getCellEditorValue()

Specified by:

getCellEditorValue in interface CellEditor