public interface ToolTable
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
USER_TOOLBOX |
Modifier and Type | Method and Description |
---|---|
void |
addToolBox(Toolbox... path)
Add a tool box path to the current tool boxes
|
void |
addToolTableListener(ToolListener listener)
Adds a listener to be notified when new tools are added/removed
|
void |
deleteTool(Tool tool,
boolean files)
Deletes the specified tool.
|
java.lang.String |
getPasteFileLocation(java.lang.String toolname,
java.lang.String pack,
java.lang.String toolbox)
Generate a new file location to store a pasted tool
|
TrianaProperties |
getProperties() |
Tool |
getTool(java.lang.String toolName) |
Toolbox[] |
getToolBoxes() |
Toolbox[] |
getToolBoxes(java.lang.String type) |
java.lang.String[] |
getToolBoxPaths() |
java.lang.String |
getToolBoxType(java.lang.String toolbox) |
java.lang.String[] |
getToolNames() |
ToolResolver |
getToolResolver()
Gets the tool resolver for this tool table -- added by Ian T to fix the static loading of tool resolvers.
|
Tool[] |
getTools()
get all tools
|
Tool[] |
getTools(java.net.URL definitionPath)
get the list of tools that share the same definition path.
|
void |
insertTool(Tool tool,
java.lang.String pack,
java.lang.String toolbox)
Inserts a copy of the tool into the specified package.
|
boolean |
isModifiable(Tool tool)
return true if this tool can be modified.
|
boolean |
isTool(java.lang.String toolName) |
void |
refreshLocation(java.net.URL location,
java.lang.String toolbox)
Notifies the tool table to update the tool loaded from the specified location, such as when a tool is created.
|
boolean |
removeToolBox(java.lang.String path)
Remove a tool box path from the current tool boxes
|
void |
removeToolTableListener(ToolListener listener)
Removes a listener from being notified when new tools are added/removed
|
static final java.lang.String USER_TOOLBOX
Toolbox[] getToolBoxes()
java.lang.String[] getToolBoxPaths()
TrianaProperties getProperties()
Toolbox[] getToolBoxes(java.lang.String type)
java.lang.String getToolBoxType(java.lang.String toolbox)
Tool[] getTools(java.net.URL definitionPath)
definitionPath
- void addToolBox(Toolbox... path)
boolean removeToolBox(java.lang.String path)
Tool getTool(java.lang.String toolName)
Tool[] getTools()
boolean isTool(java.lang.String toolName)
java.lang.String[] getToolNames()
void insertTool(Tool tool, java.lang.String pack, java.lang.String toolbox)
tool
- the tool being pastedpack
- the package of the pasted tooltoolbox
- the toolbox the tool is pasted into (ignore if irrelevant)void deleteTool(Tool tool, boolean files)
boolean isModifiable(Tool tool)
tool
- void refreshLocation(java.net.URL location, java.lang.String toolbox)
location
- the location of the filetoolbox
- the toolbox the location is in (specify null if unknown)void addToolTableListener(ToolListener listener)
void removeToolTableListener(ToolListener listener)
java.lang.String getPasteFileLocation(java.lang.String toolname, java.lang.String pack, java.lang.String toolbox)
toolname
- tool to be createdpack
- tool package nametoolbox
- toolbox to create the tool inToolResolver getToolResolver()