public class ExtensionFileFilter
extends java.lang.Object
implements java.io.FilenameFilter
Eg., to retrieve and print all *.java files in the current directory:
File dir = new File(".");
String[] files = dir.list( new ExtensionFileFilter( new String[]{"java"} ) );
for (int i=0; i<files.length; i++)
{
System.out.println(files[i]);
}
| Modifier and Type | Field and Description |
|---|---|
private java.lang.String[] |
m_extensions |
| Constructor and Description |
|---|
ExtensionFileFilter(java.lang.String extension) |
ExtensionFileFilter(java.lang.String[] extensions) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
accept(java.io.File file,
java.lang.String name) |