fileextensionfilter.java

JPC: x86 PC Hardware Emulator. 牛津大学开发的一个纯JAVA的x86系统结构硬件模拟器。

/*
    JPC: A x86 PC Hardware Emulator for a pure Java Virtual Machine
    Release Version 2.0

    A project from the Physics Dept, The University of Oxford

    Copyright (C) 2007 Isis Innovation Limited

    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License version 2 as published by
    the Free Software Foundation.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License along
    with this program; if not, write to the Free Software Foundation, Inc.,
    51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 
    Details (including contact information) can be found at: 

    www.physics.ox.ac.uk/jpc
*/


package org.jpc.debugger.util;

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

public class FileExtensionFilter extends FileFilter
{
    private String extension, description, lowerExtension;
    private boolean acceptDirectories, caseSensitive;

    public FileExtensionFilter(String extension, String description)
    {
        this(extension, description, true, false);
    }

    public FileExtensionFilter(String extension, String description, boolean acceptDirectories, boolean caseSensitive)
    {
        this.extension = extension;
        lowerExtension = extension.toLowerCase();

        this.description = description;
        this.acceptDirectories = acceptDirectories;
        this.caseSensitive = caseSensitive;
    }
    
    public boolean accept(File f) 
    {
        if (f.isDirectory())
            return acceptDirectories;

        String name = f.getName();
        if (!caseSensitive)
            return name.toLowerCase().endsWith(lowerExtension);
        else
            return name.endsWith(extension);
    }

    public String getDescription() 
    {
        return description;
    }
}