edu.rice.cs.drjava.ui
Class InteractionsHistoryFilter

java.lang.Object
  extended by javax.swing.filechooser.FileFilter
      extended by 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 5175 2010-01-20 08:46:32Z mgricken $

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, toString, wait, wait, wait
 

Field Detail

HIST_EXTENSION

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

See Also:
Constant Field Values
Constructor Detail

InteractionsHistoryFilter

public InteractionsHistoryFilter()
Method Detail

accept

public boolean accept(File f)
Returns true if the file matches the Interactions History filter.

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)