fr.inria.oadymppac.io
Class GenericTraceFileFilter

java.lang.Object
  extended byjavax.swing.filechooser.FileFilter
      extended byfr.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
 
Constructor Summary
GenericTraceFileFilter()
           
 
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
 

Field Detail

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
Constructor Detail

GenericTraceFileFilter

public GenericTraceFileFilter()
Method Detail

accept

public boolean accept(java.io.File f)
To be displayed in the selector, the file must be

See Also:
FileFilter.accept(java.io.File)

getDescription

public java.lang.String getDescription()
A description to display in the JFileChooser

See Also:
FileFilter.getDescription()