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 $
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
HIST_EXTENSION
public static final String HIST_EXTENSION
- Extension to match for History files.
InteractionsHistoryFilter
public InteractionsHistoryFilter()
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)