edu.rice.cs.drjava.ui
Class ClassPathFilter

java.lang.Object
  javax.swing.filechooser.FileFilter
      edu.rice.cs.drjava.ui.ClassPathFilter

public class ClassPathFilter
extends javax.swing.filechooser.FileFilter

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

Version:

$Id: ClassPathFilter.java 5236 2010-04-27 01:43:36Z mgricken $

Field Summary

static ClassPathFilter

ONLY

Constructor Summary

protected

ClassPathFilter()

Method Summary

boolean	accept(java.io.File f) Returns true if the file's extension matches JAR or ZIP.
java.lang.String	getDescription()
static java.lang.String	getExtension(java.io.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(java.io.File f)

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

Specified by:

accept in class javax.swing.filechooser.FileFilter

getDescription

public java.lang.String getDescription()

Specified by:

getDescription in class javax.swing.filechooser.FileFilter

Returns:

A description of this filter to display.

getExtension

public static java.lang.String getExtension(java.io.File f)