public class ExtensionFileFilter extends FileFilter
Constructor and Description |
---|
ExtensionFileFilter(String extension,
String description) |
ExtensionFileFilter(String extension,
String description,
boolean acceptDirectories,
boolean ignoreCase)
Creates a new file filter which shows files with the given extension.
|
Modifier and Type | Method and Description |
---|---|
boolean |
accept(File f) |
boolean |
acceptsDirectories() |
File |
addExtension(File f)
Creates a new file by adding the extension of this file filter to the filename.
|
String |
getDescription() |
String |
getExtension() |
boolean |
ignoresCase() |
public ExtensionFileFilter(String extension, String description, boolean acceptDirectories, boolean ignoreCase)
extension
- File extension of the files shown. For "*.jgloss" files the extension
is "jgloss".description
- The description of the file format.acceptDirectories
- Flag if directories should be accepted by the filter.ignoreCase
- Flag if the case of file extension should be ignored.public boolean accept(File f)
accept
in class FileFilter
public String getDescription()
getDescription
in class FileFilter
public String getExtension()
public boolean acceptsDirectories()
public boolean ignoresCase()
Copyright © 2001-2013 the JGloss developers. All Rights Reserved.