Interface ToolManager

All Superinterfaces:
PluginManagerListener
All Known Implementing Classes:
DefaultToolManager

public interface ToolManager
extends PluginManagerListener
An interface for managing a list of tools.
Version:
$Revision: 1.5 $
See Also:
PluginManagerListener
  • Method Summary

    Modifier and Type Method Description
    void addTool​(Tool tool)
    Adds the specified tool to the list of tools of this manager.

    Methods inherited from interface org.graffiti.managers.pluginmgr.PluginManagerListener

    pluginAdded
  • Method Details

    • addTool

      void addTool​(Tool tool)
      Adds the specified tool to the list of tools of this manager.
      Parameters:
      tool - the tool to be added.