Modelers

org.topcased.modeler.editor.properties.filters
Class GraphElementFilter

java.lang.Object
  extended by org.topcased.modeler.editor.properties.filters.GraphElementFilter
All Implemented Interfaces:
org.eclipse.jface.viewers.IFilter

public class GraphElementFilter
extends java.lang.Object
implements org.eclipse.jface.viewers.IFilter

A Filter that check if the selected Element is a GraphElement Creation 31 mars 2006


Constructor Summary
GraphElementFilter()
           
 
Method Summary
 boolean select(java.lang.Object toTest)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphElementFilter

public GraphElementFilter()
Method Detail

select

public boolean select(java.lang.Object toTest)
Specified by:
select in interface org.eclipse.jface.viewers.IFilter
See Also:
IFilter.select(java.lang.Object)

Modelers

Copyright (c) 2005 TOPCASED Contributors 2005 - 2007. All rights reserved.