org.graffiti.managers.pluginmgr
Class PluginFileFilter

java.lang.Object
  extended by javax.swing.filechooser.FileFilter
      extended by org.graffiti.managers.pluginmgr.PluginFileFilter

public class PluginFileFilter
extends FileFilter

Represents a file filter for graffiti plugins.

Version:
$Revision: 5767 $

Constructor Summary
PluginFileFilter(String extension)
          Constructor for PluginFileFilter.
PluginFileFilter(String[] extensions)
          Constructs a new plugin file filter from the given array of extensions.
 
Method Summary
 boolean accept(File f)
           
 String getDescription()
           
 String getExtension(File f)
          Returns the extension of the selected file.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PluginFileFilter

public PluginFileFilter(String extension)
Constructor for PluginFileFilter.

Parameters:
extension - DOCUMENT ME!

PluginFileFilter

public PluginFileFilter(String[] extensions)
Constructs a new plugin file filter from the given array of extensions.

Parameters:
extensions - the array of extensions (String) to filter.
Method Detail

getDescription

public String getDescription()
Specified by:
getDescription in class FileFilter
See Also:
FileFilter.getDescription()

getExtension

public String getExtension(File f)
Returns the extension of the selected file.

Parameters:
f - DOCUMENT ME!
Returns:
the extension of the selected file.

accept

public boolean accept(File f)
Specified by:
accept in class FileFilter
See Also:
FileFilter.accept(File)


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