Tu dois créer une classe implémentant FilenameFilter (ou FileFilter).
Un Filtre sur l'extension pourrait être quelque chose du genre:
1 2 3 4 5 6 7 8 9 10 11 12 13 14
| public class ExtensionFilenameFilter implements FilenameFilter
{
private final String extension;
public ExtensionFilenameFilter(String extension) {
super();
this.extension = extension;
}
public boolean accept(File dir, String name)
{
return name != null && name.endsWith(extension);
}
} |
Et il ne reste plus qu'à l'initialiser :
new ExtensionFilenameFilter(".html")
Partager