public interface Toolbox
Modifier and Type | Method and Description |
---|---|
void |
addTool(Tool tool) |
Tool |
deleteTool(java.lang.String name)
not always supported.
|
java.lang.String |
getName()
a name for the toolbox.
|
java.lang.String |
getPath()
a path for the toolbox.
|
TrianaProperties |
getProperties() |
Tool |
getTool(java.lang.String name)
get a tool using tool.getQualifiedToolName()
|
java.util.List<Tool> |
getTools()
get all tools
|
java.util.List<Tool> |
getTools(java.net.URL url)
get tools that share the same definition path
|
java.lang.String |
getType()
a type for the toolbox.
|
void |
loadTools()
load all tools
|
void |
refresh(java.net.URL url)
relaod tools at a particular URL (this is the tool.getDefinitionPath())
|
Tool |
removeTool(java.lang.String name)
could be called deregisterTool
|
void |
setName(java.lang.String name) |
void |
setProperties(TrianaProperties properties) |
java.lang.String getName()
void setName(java.lang.String name)
java.lang.String getPath()
java.lang.String getType()
TrianaProperties getProperties()
void setProperties(TrianaProperties properties)
void loadTools() throws java.lang.Exception
java.lang.Exception
void refresh(java.net.URL url) throws java.lang.Exception
url
- java.lang.Exception
java.util.List<Tool> getTools(java.net.URL url)
url
- java.lang.Exception
java.util.List<Tool> getTools()
void addTool(Tool tool)
Tool getTool(java.lang.String name)
name
- Tool removeTool(java.lang.String name)
name
- Tool deleteTool(java.lang.String name)
name
-