public interface Extension
Modifier and Type | Field and Description |
---|---|
static int |
SERVICE_TYPE |
static int |
TOOL_TYPE |
Modifier and Type | Method and Description |
---|---|
javax.swing.Action |
getTreeAction(Tool tool) |
javax.swing.Action |
getWorkflowAction(int type) |
javax.swing.Action |
getWorkspaceAction(Task tool) |
void |
init(ToolSelectionHandler selhandler)
Initialize this extension
|
static final int TOOL_TYPE
static final int SERVICE_TYPE
void init(ToolSelectionHandler selhandler)
javax.swing.Action getTreeAction(Tool tool)
javax.swing.Action getWorkspaceAction(Task tool)
javax.swing.Action getWorkflowAction(int type)
type
- Extension.TOOL_TYPE, Extension.SERVICE_TYPE