prajna.gui

Class ExtensionFileFilter

java.lang.Object

javax.swing.filechooser.FileFilter

prajna.gui.ExtensionFileFilter

All Implemented Interfaces:

java.io.FileFilter

public class ExtensionFileFilter
extends javax.swing.filechooser.FileFilter
implements java.io.FileFilter

This class implements a FileFilter that handles any extensions passed in. It extends the FileFilter class from the Swing package, and implements the FileFilter interface from the java.io package, so it can be used anywhere either FileFilter is needed. The filter is case-insensitive.

Author:

Edward Swing

Constructor Summary

Constructors

Constructor and Description
ExtensionFileFilter(java.lang.String extensions) Creates a new ExtensionFilter object.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	accept(java.io.File file) Determines whether the given file is accepted by this filter.
java.lang.String	getDescription() Get the description of this filter
void	setExtension(java.lang.String extensions) Sets the extensions handled by this Filter

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtensionFileFilter

public ExtensionFileFilter(java.lang.String extensions)

Creates a new ExtensionFilter object.

Parameters:

extensions - A list of extensions, separated by whitespaces or commas

Method Detail

accept

public boolean accept(java.io.File file)

Determines whether the given file is accepted by this filter. All Directories are automatically accepted.

Specified by:

accept in interface java.io.FileFilter

Specified by:

accept in class javax.swing.filechooser.FileFilter

Parameters:

file - the file to be tested

Returns:

Whether the given file is accepted by this filter.

getDescription

public java.lang.String getDescription()

Get the description of this filter

Specified by:

getDescription in class javax.swing.filechooser.FileFilter

Returns:

the description of this filter

setExtension

public void setExtension(java.lang.String extensions)

Sets the extensions handled by this Filter

Parameters:

extensions - A list of extensions, separated by whitespaces or commas