import java.io.File;
import javax.swing.filechooser.*;

public class ImageFilter extends FileFilter {

    //Accept tous les répertoires et tous les fichiers gif, jpg, tiff et png
    public boolean accept(File f) {
        if (f.isDirectory()) {
            return true;
        }

        String extension = getExtension(f);
        if (extension != null) {
            if (extension.equals("tiff") ||
                extension.equals("tif") ||
                extension.equals("gif") ||
                extension.equals("jpeg") ||
                extension.equals("jpg") ||
                extension.equals("png")) {
                    return true;
            } else {
                return false;
            }
        }

        return false;
    }

   // Retourne l'extension d'un fichier
    public static String getExtension(File f) {
        String ext = null;
        String s = f.getName();
        int i = s.lastIndexOf('.');

        if (i > 0 &&  i < s.length() - 1) {
            ext = s.substring(i+1).toLowerCase();
        }
        return ext;
    }
    
    //Description du filtre
    public String getDescription() {
        return "*.tiff *.tif *.gif *.jpeg *.jpg *.png";
    }
}