View Javadoc

1   package baseCode.gui.file;
2   
3   import java.io.File;
4   
5   import javax.swing.filechooser.FileFilter;
6   
7   import baseCode.util.FileTools;
8   
9   /***
10   * <hr>
11   * <p>
12   * Copyright (c) 2004 Columbia University
13   * 
14   * @author Paul Pavlidis
15   * @version $Id: XMLFileFilter.java,v 1.2 2004/07/27 03:18:58 pavlidis Exp $
16   */
17  public class XMLFileFilter extends FileFilter {
18  
19     public boolean accept( File f ) {
20  
21        if ( f.isDirectory() ) {
22           return true;
23        }
24  
25        return FileTools.hasXMLExtension( f.getName() );
26  
27     } // end accept
28  
29     public String getDescription() {
30  
31        return "XML data files";
32     }
33  }