argutia.gui
Class Menu.ArgutiaFileFilter
java.lang.Object
javax.swing.filechooser.FileFilter
argutia.gui.Menu.ArgutiaFileFilter
- Enclosing class:
- Menu
private class Menu.ArgutiaFileFilter
- extends FileFilter
Filtre permettant de pré-selectionner les fichiers relatifs à l'application (*.arg)
- Author:
- Geoffroy AUBRY
Method Summary |
boolean |
accept(File f)
Précise quels sont les répertoires et fichiers à afficher : tous les répertoires et les *.arg. |
String |
getDescription()
Retourne une description du filtre (s'affiche dans le menu déroulant des fenêtres de choix d'un fichier). |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Menu.ArgutiaFileFilter
public Menu.ArgutiaFileFilter()
accept
public boolean accept(File f)
- Précise quels sont les répertoires et fichiers à afficher : tous les répertoires et les *.arg.
- Specified by:
accept
in class FileFilter
getDescription
public String getDescription()
- Retourne une description du filtre (s'affiche dans le menu déroulant des fenêtres de choix d'un fichier).
- Specified by:
getDescription
in class FileFilter
- Returns:
- la description du filtre
Argutia JavaDoc
23 décembre 2007