Agent System POND 1.0 (1.7.2000)

FIM.Util.GUI
Class ExtensionFileFilter

java.lang.Object
  |
  +--javax.swing.filechooser.FileFilter
        |
        +--FIM.Util.GUI.ExtensionFileFilter

public class ExtensionFileFilter
extends 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 Macinthosh. Case is ignored. Example - create a new filter that filerts out all files but gif and jpg image files: JFileChooser chooser = new JFileChooser(); ExampleFileFilter filter = new ExampleFileFilter( new String{"gif", "jpg"}, "JPEG & GIF Images") chooser.addChoosableFileFilter(filter); chooser.showOpenDialog(this);

Version:
1.8 08/26/98
Author:
Jeff Dinkins

Constructor Summary
ExtensionFileFilter()
          Creates a file filter.
ExtensionFileFilter(String extension)
          Creates a file filter that accepts files with the given extension.
ExtensionFileFilter(String[] filters)
          Creates a file filter from the given string array.
ExtensionFileFilter(String[] filters, String description)
          Creates a file filter from the given string array and description.
ExtensionFileFilter(String extension, String description)
          Creates a file filter that accepts the given file type.
 
Method Summary
 boolean accept(File f)
          Return true if this file should be shown in the directory pane, false if it shouldn't.
 void addExtension(String extension)
          Adds a filetype "dot" extension to filter against.
 String getDescription()
          Returns the human readable description of this filter.
 String getExtension(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(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.
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExtensionFileFilter

public ExtensionFileFilter()
Creates a file filter. If no filters are added, then all files are accepted.
See Also:
addExtension(java.lang.String)

ExtensionFileFilter

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

ExtensionFileFilter

public ExtensionFileFilter(String extension,
                           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(java.lang.String)

ExtensionFileFilter

public ExtensionFileFilter(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 adn will be ignored.
See Also:
addExtension(java.lang.String)

ExtensionFileFilter

public ExtensionFileFilter(String[] filters,
                           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(java.lang.String)
Method Detail

accept

public boolean accept(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.
Overrides:
accept in class FileFilter
See Also:
getExtension(java.io.File), FileFilter.accept(java.io.File)

getExtension

public String getExtension(File f)
Return the extension portion of the file's name .
See Also:
getExtension(java.io.File), FileFilter.accept(java.io.File)

addExtension

public void addExtension(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 ExampleFileFilter(); filter.addExtension("jpg"); filter.addExtension("tif"); Note that the "." before the extension is not needed and will be ignored.

getDescription

public String getDescription()
Returns the human readable description of this filter. For example: "JPEG and GIF Image Files (*.jpg, *.gif)"
Overrides:
getDescription in class FileFilter
See Also:
setDescription(String), setExtensionListInDescription(boolean), isExtensionListInDescription(), getDescription()

setDescription

public void setDescription(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 relevent if a description was provided in the constructor or using setDescription();
See Also:
getDescription(), setDescription(String), isExtensionListInDescription()

isExtensionListInDescription

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

Agent System POND 1.0 (1.7.2000)

Submit a bug

Copyright 2000 Michael Sonntag & Institute for Information Processing and Microprocessor Technology (FIM), Johannes-Kepler-University Linz, Altenbergerstr. 69, A-4040 Linz, Austria.