org.graffiti.plugin.tool
Class ViewFamilyToolFilter

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

public class ViewFamilyToolFilter
extends Object
implements ToolFilter

ToolFilter that allows for those tools that belong to the currently active tool family.

Version:
$Revision$ $Date$
Author:
Andreas Gleißner
See Also:
Tool.getViewFamily(), ViewFamily

Constructor Summary
ViewFamilyToolFilter()
           
 
Method Summary
 boolean isVisible(Tool<?> tool)
          Returns if the specified tool shall be visible.
 void setCurrentViewFamily(ViewFamily<?> viewFamily)
          Sets the currently active view family.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ViewFamilyToolFilter

public ViewFamilyToolFilter()
Method Detail

setCurrentViewFamily

public void setCurrentViewFamily(ViewFamily<?> viewFamily)
Sets the currently active view family.

Parameters:
viewFamily - the view family that is currently active.

isVisible

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

Specified by:
isVisible in interface ToolFilter
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