Package | Description |
---|---|
org.wandora.application | |
org.wandora.application.gui |
Modifier and Type | Field and Description |
---|---|
private WandoraToolSet |
WandoraToolManagerPanel2.currentToolSet |
Modifier and Type | Field and Description |
---|---|
protected java.util.ArrayList<WandoraToolSet> |
WandoraToolManager2.toolSets |
Modifier and Type | Method and Description |
---|---|
WandoraToolSet |
WandoraToolManager2.createToolSet(java.lang.String name) |
WandoraToolSet |
WandoraToolManager2.getToolSet(java.lang.String name) |
private WandoraToolSet |
WandoraToolManager2.readToolSet(WandoraToolSet set,
java.lang.String optionsPath) |
Modifier and Type | Method and Description |
---|---|
java.util.ArrayList<WandoraToolSet> |
WandoraToolManager2.getToolSets() |
Modifier and Type | Method and Description |
---|---|
boolean |
WandoraToolManager2.allowDelete(WandoraToolSet set) |
boolean |
WandoraToolManager2.deleteToolSet(WandoraToolSet set) |
java.util.Map<java.lang.String,WandoraTool> |
WandoraToolSet.getAsMap(WandoraToolSet toolSet) |
java.util.Map<java.lang.String,WandoraTool> |
WandoraToolSet.getAsMap(WandoraToolSet toolSet,
WandoraToolSet.ToolFilter filter) |
java.lang.Object[] |
WandoraToolSet.getAsObjectArray(WandoraToolSet toolSet) |
java.lang.Object[] |
WandoraToolSet.getAsObjectArray(WandoraToolSet toolSet,
WandoraToolSet.ToolFilter filter) |
javax.swing.JMenu |
WandoraToolSet.getMenu(javax.swing.JMenu toolMenu,
WandoraToolSet toolSet) |
javax.swing.JMenu |
WandoraToolManager2.getMenu(javax.swing.JMenu toolMenu,
WandoraToolSet toolSet,
javax.swing.KeyStroke[] keyStrokes,
int strokeIndex) |
static java.lang.Object[] |
WandoraMenuManager.getSubjectLocatorExtractorMenu(Wandora admin,
Context proposedContext,
WandoraToolSet extractTools) |
void |
WandoraToolManagerPanel2.initToolSets(WandoraToolSet selectedSet) |
private WandoraToolSet |
WandoraToolManager2.readToolSet(WandoraToolSet set,
java.lang.String optionsPath) |
void |
WandoraToolManagerPanel2.selectToolSet(WandoraToolSet toolSet) |
private void |
WandoraToolManager2.writeToolSet(WandoraToolSet set,
java.lang.String optionsPath) |
Modifier and Type | Field and Description |
---|---|
private WandoraToolSet |
DropExtractPanel.extractTools |
private WandoraToolSet |
WandoraToolTree.toolSet |
private WandoraToolSet |
WandoraToolTree.ToolTreeNode.toolSet |
Modifier and Type | Method and Description |
---|---|
WandoraToolSet |
WandoraToolTree.getRootSet() |
WandoraToolSet |
WandoraToolTree.getToolSet() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
WandoraToolTree.addNode(WandoraToolSet set) |
void |
WandoraToolTree.createNodes(WandoraToolTree.ToolTreeNode node,
WandoraToolSet toolSet) |
java.lang.Object[] |
DropExtractPanel.getPopupMenu(WandoraToolSet tools) |
void |
WandoraToolTree.initialize(WandoraToolSet toolSet) |
Constructor and Description |
---|
ToolTreeNode(WandoraToolSet set) |
Copyright 2004-2015 Wandora Team