org.graffiti.plugin.tool
Class DummyToolFilter

java.lang.Object
  extended by org.graffiti.plugin.tool.DummyToolFilter
All Implemented Interfaces:
ToolFilter

public class DummyToolFilter
extends Object
implements ToolFilter

ToolFilter, which filters out all tool dummies and deleted tools.

Version:
$Revision$ $Date$
Author:
Andreas Gleißner
See Also:
ToolDummy

Constructor Summary
DummyToolFilter()
           
 
Method Summary
 boolean isVisible(Tool<?> tool)
          Returns if the specified tool shall be visible.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DummyToolFilter

public DummyToolFilter()
Method Detail

isVisible

public boolean isVisible(Tool<?> tool)
Returns if the specified tool shall be visible.. This implementation returns false for all tool dummies and delted tool.

Specified by:
isVisible in interface ToolFilter
Parameters:
tool - the tool in question.
Returns:
true iff the specified tool shall be visible.
See Also:
ToolDummy


Generated at 2012-05-30 11:00:36 PM CEST