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 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)