manifold.se
Class ToolManager

java.lang.Object
  |
  +--manifold.se.ToolManager

public class ToolManager

extends java.lang.Object

Copyright (c) 2001 Rutgers, The State University of New Jersey

Since:

manifold %Version%

Version:

%Version%, %Time%

Constructor Summary

ToolManager()

Method Summary

void	addTool(Tool tool)
void	addToolListener(ToolListener listener) Adds a tool change listener to the tool manager.
protected void	fireToolEvent() Fires tool change events to the listeners.
Tool	getCurrentTool()
Tool	getLastTool()
java.util.List	getTools()
void	removeToolListener(ToolListener listener) Removes a tool change listener from the tool manager.
void	setCurrentTool(Tool currentTool)
void	setTools(java.util.List tools)

Methods inherited from class java.lang.Object

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

Constructor Detail

ToolManager

public ToolManager()

Method Detail

addToolListener

public void addToolListener(ToolListener listener)

Adds a tool change listener to the tool manager.

removeToolListener

public void removeToolListener(ToolListener listener)

Removes a tool change listener from the tool manager.

getTools

public java.util.List getTools()

setTools

public void setTools(java.util.List tools)

addTool

public void addTool(Tool tool)

getCurrentTool

public Tool getCurrentTool()

setCurrentTool

public void setCurrentTool(Tool currentTool)

getLastTool

public Tool getLastTool()

fireToolEvent

protected void fireToolEvent()

Fires tool change events to the listeners.