edu.rice.cs.drjava.ui
Class JavaSourceFilter

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

public class JavaSourceFilter
extends FileFilter

A file filter for files with extensions ".java" and ".gj". Used in the file choosers for open and save.

Version:

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

Constructor Summary

JavaSourceFilter()

Method Summary

boolean	accept(File f) Returns true if the file's extension matches Java or GJ.
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

Constructor Detail

JavaSourceFilter

public JavaSourceFilter()

Method Detail

accept

public boolean accept(File f)

Returns true if the file's extension matches Java or GJ.

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)