Package org.graffiti.managers.pluginmgr

Class PluginFileFilter

java.lang.Object

javax.swing.filechooser.FileFilter

org.graffiti.managers.pluginmgr.PluginFileFilter

public class PluginFileFilter
extends FileFilter

Represents a file filter for graffiti plugins.

Version:

$Revision: 1.5 $

Constructor Summary

Constructors

Constructor	Description
PluginFileFilter(String extension)	Constructor for PluginFileFilter.
PluginFileFilter(String[] extensions)	Constructs a new plugin file filter from the given array of extensions.

Method Summary

Modifier and Type	Method	Description
boolean	accept(File f)
String	getDescription()
String	getExtension(File f)	Returns the extension of the selected file.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

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 Details

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)