public class DirectoryExtensionFilter extends ExtensionFilter
Copyright 2009 Partner Software, Inc.
| Constructor and Description |
|---|
DirectoryExtensionFilter(java.lang.String extension)
Creates a new DirectoryExtensionFilter that allows directories
or files with the given extension.
|
DirectoryExtensionFilter(java.lang.String extension,
java.lang.String desc)
Creates a new DirectoryExtensionFilter that allows directories
or files with the given extension using the given desc.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
accept(java.io.File file) |
boolean |
accept(java.io.File dir,
java.lang.String name) |
getDescription, getExtension, setDescription, setExtensionpublic DirectoryExtensionFilter(java.lang.String extension)
extension - public DirectoryExtensionFilter(java.lang.String extension,
java.lang.String desc)
extension - public boolean accept(java.io.File file)
accept in class ExtensionFilterpublic boolean accept(java.io.File dir,
java.lang.String name)
accept in interface java.io.FilenameFilteraccept in class ExtensionFilter