FileFilter est inclus dans de nombreux modules complémentaires du Java Development Kit (JDK) 1.2. Sa fonction principale est de détecter si le fichier existe. La plus grande différence entre FileFilter et son prédécesseur FilenameFilter est que FileFilter fournit des méthodes d'accès aux objets fichier, tandis que FilenameFilter fonctionne en fonction des répertoires et des noms de fichiers.
Par exemple, FileFilter ressemble à ceci :
boolean accept(File file); |
tandis que FilenameFilter ressemble à ceci :
boolean accept(File directory, String name); |
Un exemple simple est de recherchez une extension de fichier spécifique. Vous pouvez utiliser FilenameFilter, mais le résultat vous empêchera de déterminer s'il s'agit d'un dossier ou d'un fichier. Pour résoudre ce problème, vous devez utiliser des objets fichier. Autrement dit, utilisez FileFilter.
Ce qui suit est le code d'ExtensionFileFilter :
package com.generationjava.io.find; |
Le code ExtensionFileFilter ci-dessus est utilisé dans les exemples suivants :
... String dir = "..."; // directory of your choice File file = new File(dir); File[] files = file.listFiles(new ExtensionFileFilter("cfg")); |
FileFilter est en fait dérivé de javax. swing.filechooser Dérivé de .FileFilter, javax.swing.filechooser.FileFilter est une classe abstraite utilisant JFileChoosers.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!