diva.gui
Class ExtensionFileFilter

java.lang.Object
  extended by javax.swing.filechooser.FileFilter
      extended by diva.gui.ExtensionFileFilter

public class ExtensionFileFilter
extends javax.swing.filechooser.FileFilter

A convenience implementation of FileFilter that filters out all files except for those type extensions that it knows about. Extensions are of the type ".foo", which is typically found on Windows and Unix boxes, but not on Macintosh. Case is ignored. Extension - create a new filter that filters out all files but gif and jpg image files: JFileChooser chooser = new JFileChooser(); ExtensionFileFilter filter = new ExtensionFileFilter( new String{"gif", "jpg"}, "JPEG & GIF Images") chooser.addChoosableFileFilter(filter); chooser.showOpenDialog(this);

Version:
1.7 04/23/99
Author:
Jeff Dinkins

Field Summary
private  java.lang.String description
           
private  java.util.Hashtable filters
           
private  java.lang.String fullDescription
           
private  boolean useExtensionsInDescription
           
 
Constructor Summary
ExtensionFileFilter()
          Creates a file filter.
ExtensionFileFilter(java.lang.String extension)
          Creates a file filter that accepts files with the given extension.
ExtensionFileFilter(java.lang.String[] filters)
          Creates a file filter from the given string array.
ExtensionFileFilter(java.lang.String[] filters, java.lang.String description)
          Creates a file filter from the given string array and description.
ExtensionFileFilter(java.lang.String extension, java.lang.String description)
          Creates a file filter that accepts the given file type.
 
Method Summary
 boolean accept(java.io.File f)
          Return true if this file should be shown in the directory pane, false if it shouldn't.
 void addExtension(java.lang.String extension)
          Adds a filetype "dot" extension to filter against.
 java.lang.String getDefaultExtension()
          If the filter contains only one extension, return the extension name.
 java.lang.String getDescription()
          Returns the human readable description of this filter.
 java.lang.String getExtension(java.io.File f)
          Return the extension portion of the file's name .
 boolean isExtensionListInDescription()
          Returns whether the extension list (.jpg, .gif, etc) should show up in the human readable description.
 void setDescription(java.lang.String description)
          Sets the human readable description of this filter.
 void setExtensionListInDescription(boolean b)
          Determines whether the extension list (.jpg, .gif, etc) should show up in the human readable description.
 java.lang.String toString()
          Return a string description of this filter.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

filters

private java.util.Hashtable filters

description

private java.lang.String description

fullDescription

private java.lang.String fullDescription

useExtensionsInDescription

private boolean useExtensionsInDescription
Constructor Detail

ExtensionFileFilter

public ExtensionFileFilter()
Creates a file filter. If no filters are added, then all files are accepted.

See Also:
addExtension(String)

ExtensionFileFilter

public ExtensionFileFilter(java.lang.String extension)
Creates a file filter that accepts files with the given extension. Example: new ExtensionFileFilter("jpg");

See Also:
addExtension(String)

ExtensionFileFilter

public ExtensionFileFilter(java.lang.String extension,
                           java.lang.String description)
Creates a file filter that accepts the given file type. Example: new ExtensionFileFilter("jpg", "JPEG Image Images"); Note that the "." before the extension is not needed. If provided, it will be ignored.

See Also:
addExtension(String)

ExtensionFileFilter

public ExtensionFileFilter(java.lang.String[] filters)
Creates a file filter from the given string array. Example: new ExtensionFileFilter(String {"gif", "jpg"}); Note that the "." before the extension is not needed and will be ignored.

See Also:
addExtension(String)

ExtensionFileFilter

public ExtensionFileFilter(java.lang.String[] filters,
                           java.lang.String description)
Creates a file filter from the given string array and description. Example: new ExtensionFileFilter(String {"gif", "jpg"}, "Gif and JPG Images"); Note that the "." before the extension is not needed and will be ignored.

See Also:
addExtension(String)
Method Detail

accept

public boolean accept(java.io.File f)
Return true if this file should be shown in the directory pane, false if it shouldn't. Files that begin with "." are ignored.

Specified by:
accept in class javax.swing.filechooser.FileFilter
See Also:
getExtension(File), FileFilter.accept(File)

getDefaultExtension

public java.lang.String getDefaultExtension()
If the filter contains only one extension, return the extension name. Otherwise, return null. Added by Heloise Hse


getExtension

public java.lang.String getExtension(java.io.File f)
Return the extension portion of the file's name .


addExtension

public void addExtension(java.lang.String extension)
Adds a filetype "dot" extension to filter against. For example: the following code will create a filter that filters out all files except those that end in ".jpg" and ".tif": ExtensionFileFilter filter = new ExtensionFileFilter(); filter.addExtension("jpg"); filter.addExtension("tif"); Note that the "." before the extension is not needed and will be ignored.


getDescription

public java.lang.String getDescription()
Returns the human readable description of this filter. For example: "JPEG and GIF Image Files (*.jpg, *.gif)"

Specified by:
getDescription in class javax.swing.filechooser.FileFilter
See Also:
setDescription(String), setExtensionListInDescription(boolean), isExtensionListInDescription(), FileFilter.getDescription()

setDescription

public void setDescription(java.lang.String description)
Sets the human readable description of this filter. For example: filter.setDescription("Gif and JPG Images");

See Also:
setDescription(String), setExtensionListInDescription(boolean), isExtensionListInDescription()

setExtensionListInDescription

public void setExtensionListInDescription(boolean b)
Determines whether the extension list (.jpg, .gif, etc) should show up in the human readable description. Only relevant if a description was provided in the constructor or using setDescription();

See Also:
getDescription(), isExtensionListInDescription()

isExtensionListInDescription

public boolean isExtensionListInDescription()
Returns whether the extension list (.jpg, .gif, etc) should show up in the human readable description. Only relevant if a description was provided in the constructor or using setDescription();

See Also:
getDescription()

toString

public java.lang.String toString()
Return a string description of this filter.

Overrides:
toString in class java.lang.Object
See Also:
getDescription()