fr.inria.oadymppac.io
Class GenericTraceFileFilter
java.lang.Object
javax.swing.filechooser.FileFilter
fr.inria.oadymppac.io.GenericTraceFileFilter
- public class GenericTraceFileFilter
- extends javax.swing.filechooser.FileFilter
An implementation of a GENTRA4CP file filter to use inside
a file selector
- Author:
- raf
Field Summary |
static java.lang.String |
COMPRESSED_EXT
COMPRESSED_EXT Deffault extension for GENTRACP file when compressed |
static java.lang.String |
EXTENSION
EXTENSION Default extension for GENTRA4CP file |
Method Summary |
boolean |
accept(java.io.File f)
To be displayed in the selector, the file must be
readable
or a directory
or a file with a name ending by EXTENSION
or a file with a name ending by COMPRESSED_EXT
|
java.lang.String |
getDescription()
A description to display in the JFileChooser |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EXTENSION
public static final java.lang.String EXTENSION
EXTENSION
Default extension for GENTRA4CP file
- See Also:
- Constant Field Values
COMPRESSED_EXT
public static final java.lang.String COMPRESSED_EXT
COMPRESSED_EXT
Deffault extension for GENTRACP file when compressed
- See Also:
- Constant Field Values
GenericTraceFileFilter
public GenericTraceFileFilter()
accept
public boolean accept(java.io.File f)
- To be displayed in the selector, the file must be
- readable
- or a directory
- or a file with a name ending by EXTENSION
- or a file with a name ending by COMPRESSED_EXT
- See Also:
FileFilter.accept(java.io.File)
getDescription
public java.lang.String getDescription()
- A description to display in the JFileChooser
- See Also:
FileFilter.getDescription()