edu.rice.cs.drjava.ui
Class DirectoryFilter

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

public class DirectoryFilter
extends FileFilter

A file filter for selecting directories.

Version:

$Id: DirectoryFilter.java 5175 2010-01-20 08:46:32Z mgricken $

Field Summary

private String

_description Name of the filter.

Constructor Summary

DirectoryFilter()
Creates a new directory filter named "Directories".

DirectoryFilter(String description)
Creates a new directory filter with the given description.

Method Summary

boolean	accept(File f) Returns true if the file is a directory.
String	getDescription()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_description

private String _description

Name of the filter.

Constructor Detail

DirectoryFilter

public DirectoryFilter()

Creates a new directory filter named "Directories".

DirectoryFilter

public DirectoryFilter(String description)

Creates a new directory filter with the given description.

Parameters:

description - Name of the filter

Method Detail

accept

public boolean accept(File f)

Returns true if the file is a directory.

Specified by:

accept in class FileFilter

getDescription

public String getDescription()

Specified by:

getDescription in class FileFilter

Returns:

A description of this filter to display