public final class SupportedTaclets
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
SupportedTaclets.Category
The category of taclets.
|
static class |
SupportedTaclets.TreeItem
TreeItem represents the user data in a tree model.
|
Modifier and Type | Field and Description |
---|---|
int |
ID |
private static int |
IDCounter |
private javax.swing.tree.TreeModel |
model |
static SupportedTaclets |
REFERENCE |
private java.util.Map<java.lang.String,SupportedTaclets.TreeItem> |
tacletNames
The taclets that could be used for external provers.
|
Modifier | Constructor and Description |
---|---|
private |
SupportedTaclets() |
|
SupportedTaclets(java.lang.String[] selected) |
Modifier and Type | Method and Description |
---|---|
private void |
addTaclet(SupportedTaclets.TreeItem node,
java.lang.String... taclets) |
private void |
addTaclet(SupportedTaclets.TreeItem node,
java.lang.String taclet)
Adds a taclet to the list of supported taclets.
|
private void |
addTaclet(SupportedTaclets.TreeItem node,
java.lang.String taclet,
boolean checked,
int genericCount) |
private void |
addTaclet(SupportedTaclets.TreeItem node,
java.lang.String taclet,
int genericCount) |
boolean |
atLeastOneTacletIsSelected() |
boolean |
contains(java.lang.String tacletname,
boolean mustBeSelected)
Checks whether a taclet specified by its name can be used for
external provers.
|
private SupportedTaclets.TreeItem |
copy(SupportedTaclets.TreeItem reference) |
private void |
copy(SupportedTaclets reference) |
int |
getCount() |
java.util.Collection<java.lang.String> |
getMissingTaclets(java.util.Collection<Taclet> taclets) |
java.lang.String[] |
getNamesOfSelectedTaclets() |
java.util.Collection<java.lang.String> |
getTacletNames() |
java.util.HashSet<java.lang.String> |
getTacletNamesAsHash() |
java.util.Collection<SupportedTaclets.TreeItem> |
getTreeItems() |
javax.swing.tree.TreeModel |
getTreeModel()
This is the real interesting method of this class.
|
int |
getTreeSize() |
private SupportedTaclets.TreeItem |
newNode(SupportedTaclets.TreeItem root,
java.lang.String text,
SupportedTaclets.Category cat)
Adds an inner node to the tree.
|
private void |
selectAll(SupportedTaclets.TreeItem node) |
void |
selectCategory(SupportedTaclets.Category cat) |
private boolean |
selectCategory(SupportedTaclets.Category cat,
SupportedTaclets.TreeItem node) |
private void |
selectNothing() |
void |
selectTaclets(java.lang.String... taclets) |
java.lang.String |
toString() |
private java.lang.String |
toString(SupportedTaclets.TreeItem node,
java.lang.String s) |
private SupportedTaclets.TreeItem.SelectionMode |
validateSelectionMode(SupportedTaclets.TreeItem node) |
void |
validateSelectionModes() |
public static final SupportedTaclets REFERENCE
private static int IDCounter
public final int ID
private java.util.Map<java.lang.String,SupportedTaclets.TreeItem> tacletNames
private javax.swing.tree.TreeModel model
private SupportedTaclets()
public SupportedTaclets(java.lang.String[] selected)
private void copy(SupportedTaclets reference)
private SupportedTaclets.TreeItem copy(SupportedTaclets.TreeItem reference)
public void selectTaclets(java.lang.String... taclets)
public java.lang.String[] getNamesOfSelectedTaclets()
public boolean atLeastOneTacletIsSelected()
public int getCount()
public java.util.Collection<SupportedTaclets.TreeItem> getTreeItems()
SupportedTaclets.TreeItem
public int getTreeSize()
public java.util.HashSet<java.lang.String> getTacletNamesAsHash()
public java.util.Collection<java.lang.String> getTacletNames()
public boolean contains(java.lang.String tacletname, boolean mustBeSelected)
tacletname
- the name of the taclettrue
if the taclet can be used for external
provers.private void selectNothing()
public void selectCategory(SupportedTaclets.Category cat)
private boolean selectCategory(SupportedTaclets.Category cat, SupportedTaclets.TreeItem node)
private void selectAll(SupportedTaclets.TreeItem node)
public void validateSelectionModes()
private SupportedTaclets.TreeItem.SelectionMode validateSelectionMode(SupportedTaclets.TreeItem node)
private void addTaclet(SupportedTaclets.TreeItem node, java.lang.String taclet, int genericCount)
private void addTaclet(SupportedTaclets.TreeItem node, java.lang.String taclet)
node
- the TreeNode the taclet belongs to.taclet
- the name of the taclet.private void addTaclet(SupportedTaclets.TreeItem node, java.lang.String... taclets)
private void addTaclet(SupportedTaclets.TreeItem node, java.lang.String taclet, boolean checked, int genericCount)
private SupportedTaclets.TreeItem newNode(SupportedTaclets.TreeItem root, java.lang.String text, SupportedTaclets.Category cat)
root
- the parent of the node.text
- the description of the node.public javax.swing.tree.TreeModel getTreeModel()
public java.lang.String toString()
toString
in class java.lang.Object
private java.lang.String toString(SupportedTaclets.TreeItem node, java.lang.String s)
public java.util.Collection<java.lang.String> getMissingTaclets(java.util.Collection<Taclet> taclets)