|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjavax.swing.filechooser.FileFilter
gate.util.ExtensionFileFilter
Implementation of a file filter
This class is used by JFileChooser to filter the
displayed files by their extension.
| Field Summary | |
private List |
acceptedExtensions
The set of accepted extensions |
private static boolean |
DEBUG
Debug flag |
private String |
description
The desciption of the accepted files. |
| 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 |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
private static final boolean DEBUG
private List acceptedExtensions
private String description
| Constructor Detail |
public ExtensionFileFilter()
| Method Detail |
public boolean accept(File f)
accept in interface FileFilterf - public String getDescription()
public void addExtension(String ext)
ext - public void setDescription(String desc)
desc -
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||