public class TacletTranslationSelection
extends java.lang.Object
Constructor and Description |
---|
TacletTranslationSelection(SMTSettings smtSettings) |
Modifier and Type | Method and Description |
---|---|
static KeYSelectionListener |
getSelectionListener() |
javax.swing.JTree |
getSelectionTree() |
protected SupportedTaclets.TreeItem |
treeItem(javax.swing.tree.TreeNode node) |
public TacletTranslationSelection(SMTSettings smtSettings)
public static KeYSelectionListener getSelectionListener()
protected SupportedTaclets.TreeItem treeItem(javax.swing.tree.TreeNode node)
public javax.swing.JTree getSelectionTree()
Copyright © 2003-2019 The KeY-Project.