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,v 1.7 2002/07/08 21:52:05 csreis Exp $

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, registerNatives, 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.
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)