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"/".zip". Used in file choosers for extra classpath option.

Version:

$Id: ClassPathFilter.java 4314 2008-01-30 00:08:33Z mgricken $

Field Summary

static ClassPathFilter

ONLY

Constructor Summary

protected

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, toString, wait, wait, wait

Field Detail

ONLY

public static final ClassPathFilter ONLY

Constructor Detail

ClassPathFilter

protected ClassPathFilter()

Method Detail

accept

public boolean accept(File f)

Returns true if the file's extension matches JAR or ZIP.

Specified by:

accept in class FileFilter

getDescription

public String getDescription()

Specified by:

getDescription in class FileFilter

Returns:

A description of this filter to display.

getExtension

public static String getExtension(File f)