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 |
static SupportedTaclets |
REFERENCE |
Constructor and Description |
---|
SupportedTaclets(java.lang.String[] selected) |
Modifier and Type | Method and Description |
---|---|
boolean |
atLeastOneTacletIsSelected() |
boolean |
contains(java.lang.String tacletname,
boolean mustBeSelected)
Checks whether a taclet specified by its name can be used for
external provers.
|
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() |
void |
selectCategory(SupportedTaclets.Category cat) |
void |
selectTaclets(java.lang.String... taclets) |
java.lang.String |
toString() |
void |
validateSelectionModes() |
public static final SupportedTaclets REFERENCE
public final int ID
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.public void selectCategory(SupportedTaclets.Category cat)
public void validateSelectionModes()
public javax.swing.tree.TreeModel getTreeModel()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Collection<java.lang.String> getMissingTaclets(java.util.Collection<Taclet> taclets)
Copyright © 2003-2019 The KeY-Project.