fileextension.java

openmap java写的开源数字地图程序. 用applet实现,可以像google map 那样放大缩小地图.

/* **********************************************************************
 * 
 *    Use, duplication, or disclosure by the Government is subject to
 *           restricted rights as set forth in the DFARS.
 *  
 *                         BBNT Solutions LLC
 *                             A Part of 
 *                  Verizon      
 *                          10 Moulton Street
 *                         Cambridge, MA 02138
 *                          [phone]
 *
 *    Copyright (C) 2002 by BBNT Solutions, LLC
 *                 All Rights Reserved.
 * ********************************************************************** */

package com.bbn.openmap.tools.beanbox;

import java.io.*;

/**
 * File filter utility class. Used by the BeanPanel.
 */
public class FileExtension implements FilenameFilter {
    private String extension;

    /**
     * Constructor taking a file extension as argument.
     */
    public FileExtension(String ext) {
        this.extension = ext;
    }

    /**
     * Accept file name if it has the stored extension.
     */
    public boolean accept(File dir, String name) {
        return name.endsWith(extension);
    }
}