gate.swing
Class ExtensionFileFilter

java.lang.Object
  |
  +--javax.swing.filechooser.FileFilter
        |
        +--gate.swing.ExtensionFileFilter

public class ExtensionFileFilter
extends FileFilter

This class is used by JFileChooser to filter the displayed files by their extension.


Constructor Summary
ExtensionFileFilter()
          Builds a new ExtensionFileFilter
 
Method Summary
 boolean accept(File f)
          Checks a file for compliance with the requested extensions.
 void addExtension(String ext)
          Adds a new extension to the list of accepted extensions.
 String getDescription()
          Returns the user-frielndly description for the files, e.g.
 void setDescription(String desc)
          Sets the user friendly description for the accepted files.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExtensionFileFilter

public ExtensionFileFilter()
Builds a new ExtensionFileFilter
Method Detail

accept

public boolean accept(File f)
Checks a file for compliance with the requested extensions.
Overrides:
accept in class FileFilter
Parameters:
f -  

getDescription

public String getDescription()
Returns the user-frielndly description for the files, e.g. "Text files"
Overrides:
getDescription in class FileFilter

addExtension

public void addExtension(String ext)
Adds a new extension to the list of accepted extensions.
Parameters:
ext -  

setDescription

public void setDescription(String desc)
Sets the user friendly description for the accepted files.
Parameters:
desc -