Package org.graffiti.managers

Class DefaultToolManager

java.lang.Object

org.graffiti.managers.DefaultToolManager

All Implemented Interfaces:

PluginManagerListener, ToolManager

public class DefaultToolManager
extends Object
implements ToolManager

Manages the list of tools.

Version:

$Revision: 1.5 $

Constructor Summary

Constructors

Constructor	Description
DefaultToolManager(ModeManager modeManager)	Constructs a new tool manager.

Method Summary

Modifier and Type	Method	Description
void	addTool(Tool tool)	Adds the specified tool to the list of tools of this manager.
void	pluginAdded(GenericPlugin plugin, PluginDescription desc)	Called by the plugin manager, iff a plugin has been added.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultToolManager

public DefaultToolManager(ModeManager modeManager)

Constructs a new tool manager.

Method Details

addTool

public void addTool(Tool tool)

Description copied from interface: ToolManager

Adds the specified tool to the list of tools of this manager.

Specified by:

addTool in interface ToolManager

Parameters:

tool - the tool to be added.

pluginAdded

public void pluginAdded(GenericPlugin plugin,
PluginDescription desc)

Description copied from interface: PluginManagerListener

Called by the plugin manager, iff a plugin has been added.

Specified by:

pluginAdded in interface PluginManagerListener

Parameters:

plugin - the added plugin.

desc - the description of the new plugin.