public final class SupportedTaclets extends 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 TreeModel |
model |
static SupportedTaclets |
REFERENCE |
private Map<String,SupportedTaclets.TreeItem> |
tacletNames
The taclets that could be used for external provers.
|
Modifier | Constructor and Description |
---|---|
private |
SupportedTaclets() |
|
SupportedTaclets(String[] selected) |
public static final SupportedTaclets REFERENCE
private static int IDCounter
public final int ID
private Map<String,SupportedTaclets.TreeItem> tacletNames
private TreeModel model
private SupportedTaclets()
public SupportedTaclets(String[] selected)
private void copy(SupportedTaclets reference)
private SupportedTaclets.TreeItem copy(SupportedTaclets.TreeItem reference)
public void selectTaclets(String... taclets)
public String[] getNamesOfSelectedTaclets()
public boolean atLeastOneTacletIsSelected()
public int getCount()
public Collection<SupportedTaclets.TreeItem> getTreeItems()
SupportedTaclets.TreeItem
public int getTreeSize()
public Collection<String> getTacletNames()
public boolean contains(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, String taclet, int genericCount)
private void addTaclet(SupportedTaclets.TreeItem node, String taclet)
node
- the TreeNode the taclet belongs to.taclet
- the name of the taclet.private void addTaclet(SupportedTaclets.TreeItem node, String... taclets)
private void addTaclet(SupportedTaclets.TreeItem node, String taclet, boolean checked, int genericCount)
private SupportedTaclets.TreeItem newNode(SupportedTaclets.TreeItem root, String text, SupportedTaclets.Category cat)
root
- the parent of the node.text
- the description of the node.public TreeModel getTreeModel()
private String toString(SupportedTaclets.TreeItem node, String s)
public Collection<String> getMissingTaclets(Collection<Taclet> taclets)