Package org.graffiti.managers
Class DefaultModeManager
java.lang.Object
org.graffiti.managers.DefaultModeManager
- All Implemented Interfaces:
ModeManager,PluginManagerListener
public class DefaultModeManager extends Object implements ModeManager
Handles the editor's modes.
- Version:
- $Revision: 1.6 $
-
Constructor Summary
Constructors Constructor Description DefaultModeManager()Constructs a new mode manager. -
Method Summary
Modifier and Type Method Description voidaddMode(Mode mode)Adds the given mode to the list of modes.ModegetMode(String mode)Returns the specified mode from the list of modes.voidpluginAdded(GenericPlugin plugin, PluginDescription desc)Called by the plugin manager, iff a plugin has been added.voidremoveMode(Mode mode)Removes the specified mode from the list of modes the manager contains.
-
Constructor Details
-
DefaultModeManager
public DefaultModeManager()Constructs a new mode manager.
-
-
Method Details
-
getMode
Description copied from interface:ModeManagerReturns the specified mode from the list of modes.- Specified by:
getModein interfaceModeManager- Returns:
- the specified mode from the list of modes.
-
addMode
Adds the given mode to the list of modes.modemay not benull.- Specified by:
addModein interfaceModeManager- Parameters:
mode- the mode to be added to the list.- See Also:
ModeManager.addMode(org.graffiti.plugin.mode.Mode)
-
pluginAdded
Description copied from interface:PluginManagerListenerCalled by the plugin manager, iff a plugin has been added.- Specified by:
pluginAddedin interfacePluginManagerListener- Parameters:
plugin- the added plugin.desc- the description of the new plugin.
-
removeMode
Description copied from interface:ModeManagerRemoves the specified mode from the list of modes the manager contains.- Specified by:
removeModein interfaceModeManager- Parameters:
mode- the mode to be removed.
-