| |
|
| java.lang.Object javax.swing.filechooser.FileFilter jacareto.toolkit.swing.ExtensionFileFilter
ExtensionFileFilter | public class ExtensionFileFilter extends FileFilter (Code) | | A FileFilter which filters files regarding to their file extension.
author: Christian Spannagel version: 0.9 |
ExtensionFileFilter | public ExtensionFileFilter(String extension)(Code) | | Creates an extension file filter with the default description. The default description is
".Extension".
Parameters: extension - the file extension (xml, for example) |
ExtensionFileFilter | public ExtensionFileFilter(String extension, String description)(Code) | | Creates an extension file filter with the specified description.
Parameters: extension - the file extension (xml, for example) Parameters: description - The description for this filter |
accept | public boolean accept(File file)(Code) | | Whether the given File is a XML file. Directories are accepted, too.
Parameters: file - The file to be tested Returns true when the given File is accepted |
getExtension | public String getExtension()(Code) | | Returns the file extension of this filter.
DOCUMENT ME! |
setExtension | public void setExtension(String extension)(Code) | | Sets the file extension of this filter.
Parameters: extension - DOCUMENT ME! |
|
|
|