|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TideTool | |
---|---|
nl.cwi.sen1.tide.tool | |
nl.cwi.sen1.tide.tool.prefeditor | |
nl.cwi.sen1.tide.tool.ruleinspector | |
nl.cwi.sen1.tide.tool.srcviewer | |
nl.cwi.sen1.tide.tool.stackviewer |
Uses of TideTool in nl.cwi.sen1.tide.tool |
---|
Subclasses of TideTool in nl.cwi.sen1.tide.tool | |
---|---|
class |
AdapterTool
|
class |
ProcessTool
|
Fields in nl.cwi.sen1.tide.tool with type parameters of type TideTool | |
---|---|
private java.util.Map<java.lang.String,java.util.Map<java.lang.Object,TideTool>> |
ToolManager.toolInstances
|
Methods in nl.cwi.sen1.tide.tool that return TideTool | |
---|---|
TideTool |
TideToolFactory.createTool()
|
TideTool |
ToolManager.getTool(java.lang.String toolName,
java.lang.Object target)
|
TideTool |
ToolManager.launchTool(java.lang.String toolName)
|
Methods in nl.cwi.sen1.tide.tool with parameters of type TideTool | |
---|---|
void |
ToolManager.putTool(java.lang.String toolName,
java.lang.Object target,
TideTool tool)
|
void |
ToolManager.removeTool(TideTool tool)
|
Uses of TideTool in nl.cwi.sen1.tide.tool.prefeditor |
---|
Subclasses of TideTool in nl.cwi.sen1.tide.tool.prefeditor | |
---|---|
class |
PreferencesEditor
|
Methods in nl.cwi.sen1.tide.tool.prefeditor that return TideTool | |
---|---|
TideTool |
PreferencesEditorFactory.createTool()
|
Uses of TideTool in nl.cwi.sen1.tide.tool.ruleinspector |
---|
Subclasses of TideTool in nl.cwi.sen1.tide.tool.ruleinspector | |
---|---|
class |
RuleInspector
|
Uses of TideTool in nl.cwi.sen1.tide.tool.srcviewer |
---|
Subclasses of TideTool in nl.cwi.sen1.tide.tool.srcviewer | |
---|---|
class |
SourceViewer
|
Uses of TideTool in nl.cwi.sen1.tide.tool.stackviewer |
---|
Subclasses of TideTool in nl.cwi.sen1.tide.tool.stackviewer | |
---|---|
class |
StackViewer
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |