edu.rice.cs.drjava.ui
Class SmartSourceFilter

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

public class SmartSourceFilter
extends JavaSourceFilter

A file filter for all source files. If a ".dj?" file exists, the corresponding ".java" file is not shown.

Version:

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

Constructor Summary

SmartSourceFilter()

Method Summary

boolean	accept(File f) Returns true if the file's extension matches ".java" or ".dj?".
String	getDescription()

Methods inherited from class edu.rice.cs.drjava.ui.JavaSourceFilter

getExtension

Methods inherited from class java.lang.Object

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

Constructor Detail

SmartSourceFilter

public SmartSourceFilter()

Method Detail

accept

public boolean accept(File f)

Returns true if the file's extension matches ".java" or ".dj?".

Overrides:

accept in class JavaSourceFilter

getDescription

public String getDescription()

Overrides:

getDescription in class JavaSourceFilter

Returns:

A description of this filter to display.