edu.rice.cs.drjava.ui
Class ClasspathFilter

java.lang.Object
  |
  +--javax.swing.filechooser.FileFilter
        |
        +--edu.rice.cs.drjava.ui.ClasspathFilter

public class ClasspathFilter
extends FileFilter

A file filter for files with extensions ".jar" and ".zip". Used in the file choosers for extra classpath option.

Version:
$Id: ClasspathFilter.java,v 1.1 2002/07/23 22:45:46 jhsia Exp $

Constructor Summary
ClasspathFilter()
           
 
Method Summary
 boolean accept(File f)
          Returns true if the file's extension matches JAR or ZIP.
 String getDescription()
           
static String getExtension(File f)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Constructor Detail

ClasspathFilter

public ClasspathFilter()
Method Detail

accept

public boolean accept(File f)
Returns true if the file's extension matches JAR or ZIP.
Overrides:
accept in class FileFilter

getDescription

public String getDescription()
Overrides:
getDescription in class FileFilter
Returns:
A description of this filter to display

getExtension

public static String getExtension(File f)