public class ExtensionFileFilter extends FileFilter implements FilenameFilter, FileFilter
Constructor and Description |
---|
ExtensionFileFilter(ExtensionFilenameFilter filter)
Constructor.
|
ExtensionFileFilter(String desc)
Constructor.
|
ExtensionFileFilter(String[] ext,
String desc)
Constructor.
|
ExtensionFileFilter(String ext,
String desc)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
accept(File f)
Return whether the given file is accepted by this filter.
|
boolean |
accept(File dir,
String name)
Tests if a specified file should be included in a file list.
|
void |
add(String ext)
Add an extension to the ExtensionFileFilter.
|
static ExtensionFileFilter |
createFromExtensions(String desc,
String... ext)
Static constructor allowing to use a vararg for the array of extensions.
|
File |
getCompatibleFile(File in)
Create a File compatible with this FileFilter extension, if the input file has no extension.
|
String |
getDescription()
Return the description of this FileFilter.
|
SortedSet<String> |
getExtensions()
Return the extensions.
|
static String |
getNamePrefix(File f)
Utility method to retrieve the name prefix of a file.
|
static String |
getSuffix(File f)
Utility method to retrieve the suffix of a file.
|
String |
getUniqueExtension()
If this FileFilter accept one unique extension, returns this extension, else return null.
|
boolean |
hasUniqueExtension()
Returns true if this FileFilter accept one unique extension.
|
public ExtensionFileFilter(String desc)
desc
- the description of the FileFilterpublic ExtensionFileFilter(String ext, String desc)
String ext = "jpg"; graphicfilter = new ExtensionFileFilter(ext,"JPEG images");
ext
- the extensiondesc
- the description of the FileFilterpublic ExtensionFileFilter(String[] ext, String desc)
String[] ext = {"jpg","jpeg","tiff","png","svg"}; graphicfilter = new ExtensionFileFilter(ext,"JPEG,PNG,TIFF,SVG images");
ext
- the extensionsdesc
- the description of the FileFilterpublic ExtensionFileFilter(ExtensionFilenameFilter filter)
String[] ext = {"jpg","jpeg","tiff","png","svg"}; graphicfilter = new ExtensionFileFilter(ext,"JPEG,PNG,TIFF,SVG images");
filter
- the ExtensionFilenameFilterpublic static ExtensionFileFilter createFromExtensions(String desc, String... ext)
desc
- the descriptionext
- the extensionspublic void add(String ext)
ext
- the extensionpublic boolean hasUniqueExtension()
public String getUniqueExtension()
public SortedSet<String> getExtensions()
public File getCompatibleFile(File in)
in
- the Filepublic static String getNamePrefix(File f)
f
- the Filepublic static String getSuffix(File f)
f
- the Filepublic boolean accept(File f)
accept
in interface FileFilter
accept
in class FileFilter
f
- the Filepublic boolean accept(File dir, String name)
accept
in interface FilenameFilter
public String getDescription()
getDescription
in class FileFilter