de.uka.ilkd.key.gui.smt

Class TacletTranslationSelection

java.lang.Object

de.uka.ilkd.key.gui.smt.TacletTranslationSelection

public class TacletTranslationSelection
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private javax.swing.tree.DefaultTreeCellRenderer	cellRenderer
private static int	EDIT
private static int	INNER_PANEL
private static int	LEAF_PANEL
private static int	PAINT
private javax.swing.JTree	selectionTree
private SMTSettings	smtSettings
private TreePanel[][]	treePanels

Constructor Summary

Constructors

Constructor and Description
TacletTranslationSelection(SMTSettings smtSettings)

Method Summary

Modifier and Type	Method and Description
private int	getItemHeight(javax.swing.tree.TreeModel model)
static KeYSelectionListener	getSelectionListener()
javax.swing.JTree	getSelectionTree()
private javax.swing.tree.TreeCellEditor	getTreeCellEditor()
private javax.swing.tree.DefaultTreeCellRenderer	getTreeCellRenderer()
protected SupportedTaclets.TreeItem	treeItem(javax.swing.tree.TreeNode node)

Methods inherited from class java.lang.Object

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

Field Detail

cellRenderer

private javax.swing.tree.DefaultTreeCellRenderer cellRenderer

selectionTree

private javax.swing.JTree selectionTree

INNER_PANEL

private static final int INNER_PANEL

See Also:

Constant Field Values

LEAF_PANEL

private static final int LEAF_PANEL

See Also:

Constant Field Values

PAINT

private static final int PAINT

See Also:

Constant Field Values

EDIT

private static final int EDIT

See Also:

Constant Field Values

treePanels

private TreePanel[][] treePanels

smtSettings

private final SMTSettings smtSettings

Constructor Detail

TacletTranslationSelection

public TacletTranslationSelection(SMTSettings smtSettings)

Method Detail

getSelectionListener

public static KeYSelectionListener getSelectionListener()

treeItem

protected SupportedTaclets.TreeItem treeItem(javax.swing.tree.TreeNode node)

getItemHeight

private int getItemHeight(javax.swing.tree.TreeModel model)

getSelectionTree

public javax.swing.JTree getSelectionTree()

getTreeCellEditor

private javax.swing.tree.TreeCellEditor getTreeCellEditor()

getTreeCellRenderer

private javax.swing.tree.DefaultTreeCellRenderer getTreeCellRenderer()