de.uka.ilkd.key.gui

Class TacletMatchCompletionDialog.DataTable.InputEditor

java.lang.Object

javax.swing.AbstractCellEditor

javax.swing.DefaultCellEditor

de.uka.ilkd.key.gui.TacletMatchCompletionDialog.DataTable.InputEditor

All Implemented Interfaces:

TacletMatchCompletionDialog.PositionSettable, Serializable, CellEditor, TableCellEditor, TreeCellEditor

Enclosing class:

TacletMatchCompletionDialog.DataTable

class TacletMatchCompletionDialog.DataTable.InputEditor
extends DefaultCellEditor
implements TacletMatchCompletionDialog.PositionSettable

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.DefaultCellEditor

DefaultCellEditor.EditorDelegate

Field Summary

Fields

Modifier and Type	Field and Description
(package private) JPanel	editPanel
private static long	serialVersionUID
(package private) JTextArea	textarea

Fields inherited from class javax.swing.DefaultCellEditor

clickCountToStart, delegate, editorComponent

Fields inherited from class javax.swing.AbstractCellEditor

changeEvent, listenerList

Constructor Summary

Constructors

Constructor and Description
InputEditor(JTextArea ta)

Method Summary

Modifier and Type	Method and Description
protected void	fireEditingStopped()
Object	getCellEditorValue()
Component	getTableCellEditorComponent(JTable table, Object value, boolean isSelected, int row, int column)
void	requestFocus()
void	setCaretPosition(int i)
void	setVisible(boolean b)
void	validate()

Methods inherited from class javax.swing.DefaultCellEditor

cancelCellEditing, getClickCountToStart, getComponent, getTreeCellEditorComponent, isCellEditable, setClickCountToStart, shouldSelectCell, stopCellEditing

Methods inherited from class javax.swing.AbstractCellEditor

addCellEditorListener, fireEditingCanceled, getCellEditorListeners, removeCellEditorListener

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, removeCellEditorListener

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

editPanel

JPanel editPanel

textarea

JTextArea textarea

Constructor Detail

InputEditor

public InputEditor(JTextArea ta)

Method Detail

fireEditingStopped

protected void fireEditingStopped()

Overrides:

fireEditingStopped in class AbstractCellEditor

getCellEditorValue

public Object getCellEditorValue()

Specified by:

getCellEditorValue in interface CellEditor

Overrides:

getCellEditorValue in class DefaultCellEditor

setCaretPosition

public void setCaretPosition(int i)

Specified by:

setCaretPosition in interface TacletMatchCompletionDialog.PositionSettable

setVisible

public void setVisible(boolean b)

Specified by:

setVisible in interface TacletMatchCompletionDialog.PositionSettable

validate

public void validate()

Specified by:

validate in interface TacletMatchCompletionDialog.PositionSettable

requestFocus

public void requestFocus()

Specified by:

requestFocus in interface TacletMatchCompletionDialog.PositionSettable

getTableCellEditorComponent

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

Specified by:

getTableCellEditorComponent in interface TableCellEditor

Overrides:

getTableCellEditorComponent in class DefaultCellEditor