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 $
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
ClasspathFilter
public ClasspathFilter()
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)