public class ExtensionFileFilter extends FileFilter
Constructor and Description |
---|
ExtensionFileFilter()
Creates a file filter.
|
ExtensionFileFilter(String extension)
Creates a file filter that accepts files with the given extension.
|
ExtensionFileFilter(String[] filters)
Creates a file filter from the given string array.
|
ExtensionFileFilter(String[] filters,
String description)
Creates a file filter from the given string array and description.
|
ExtensionFileFilter(String extension,
String description)
Creates a file filter that accepts the given file type.
|
Modifier and Type | Method and Description |
---|---|
boolean |
accept(File f)
Return true if this file should be shown in the directory pane,
false if it shouldn't.
|
void |
addExtension(String extension)
Adds a filetype "dot" extension to filter against.
|
String |
getDefaultExtension()
If the filter contains only one extension, return the extension
name.
|
String |
getDescription()
Returns the human readable description of this filter.
|
String |
getExtension(File f)
Return the extension portion of the file's name .
|
boolean |
isExtensionListInDescription()
Returns whether the extension list (.jpg, .gif, etc) should
show up in the human readable description.
|
void |
setDescription(String description)
Sets the human readable description of this filter.
|
void |
setExtensionListInDescription(boolean b)
Determines whether the extension list (.jpg, .gif, etc) should
show up in the human readable description.
|
String |
toString()
Return a string description of this filter.
|
public ExtensionFileFilter()
addExtension(String)
public ExtensionFileFilter(String extension)
addExtension(String)
public ExtensionFileFilter(String extension, String description)
addExtension(String)
public ExtensionFileFilter(String[] filters)
addExtension(String)
public ExtensionFileFilter(String[] filters, String description)
addExtension(String)
public boolean accept(File f)
accept
in class FileFilter
getExtension(File)
,
FileFilter#accept(Object)
public String getDefaultExtension()
public void addExtension(String extension)
public String getDescription()
getDescription
in class FileFilter
setDescription(String)
,
setExtensionListInDescription(boolean)
,
isExtensionListInDescription()
,
FileFilter.getDescription()
public void setDescription(String description)
setDescription
,
setExtensionListInDescription
,
isExtensionListInDescription
public void setExtensionListInDescription(boolean b)
getDescription()
,
isExtensionListInDescription()
public boolean isExtensionListInDescription()
getDescription()
public String toString()
toString
in class Object
getDescription()
Copyright © 2025 Central Laboratory of the Research Councils. All Rights Reserved.