edu.rice.cs.drjava.ui
Class InteractionsHistoryFilter

java.lang.Object
  |
  +--javax.swing.filechooser.FileFilter
        |
        +--edu.rice.cs.drjava.ui.InteractionsHistoryFilter

public class InteractionsHistoryFilter
extends FileFilter

A file filter for files with extensions ".hist". Used in the file choosers for the Interactions History.

Version:
$Id: InteractionsHistoryFilter.java,v 1.1 2002/07/08 21:52:05 csreis Exp $

Field Summary
static String HIST_EXTENSION
          Extension to match for History files.
 
Constructor Summary
InteractionsHistoryFilter()
           
 
Method Summary
 boolean accept(File f)
          Returns true if the file matches the Interactions History filter.
 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
 

Field Detail

HIST_EXTENSION

public static final String HIST_EXTENSION
Extension to match for History files.
Constructor Detail

InteractionsHistoryFilter

public InteractionsHistoryFilter()
Method Detail

accept

public boolean accept(File f)
Returns true if the file matches the Interactions History filter.
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)