org.graffiti.plugin.tool
Interface ToolFilter

All Known Implementing Classes:
ConjunctiveToolFilter, DefaultModeFilter, DisjunctiveToolFilter, DummyToolFilter, HiddenToolFilter, NegatingToolFilter, ViewFamilyToolFilter

public interface ToolFilter

Classes implementing ToolFilter control the set of currently visible tools. Tool filters are added to the registry by ToolRegistry.addToolFilter(ToolFilter).

Version:
$Revision$ $Date$
Author:
Andreas Gleißner
See Also:
ToolRegistry, Tool

Method Summary
 boolean isVisible(Tool<?> tool)
          Returns if the specified tool shall be visible.
 

Method Detail

isVisible

boolean isVisible(Tool<?> tool)
Returns if the specified tool shall be visible.

Parameters:
tool - the tool in question.
Returns:
true iff the specified tool shall be visible.


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