keel.GraphInterKeel.experiments

Class ArchiveFilter2

java.lang.Object

javax.swing.filechooser.FileFilter

keel.GraphInterKeel.experiments.ArchiveFilter2

public class ArchiveFilter2
extends javax.swing.filechooser.FileFilter

Constructor Summary

Constructors

Constructor and Description
ArchiveFilter2(java.lang.String[] _files, java.lang.String descr) Builder

Method Summary

Modifier and Type	Method and Description
boolean	accept(java.io.File f) Tests if a file is accepted
java.lang.String	getDescription() Get the description of the archive

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ArchiveFilter2

public ArchiveFilter2(java.lang.String[] _files,
                      java.lang.String descr)

Builder

Parameters:

_files - Files accepted

descr - Description of the set

Method Detail

accept

public boolean accept(java.io.File f)

Tests if a file is accepted

Specified by:

accept in class javax.swing.filechooser.FileFilter

Parameters:

f - File to be tested

Returns:

True if the file is accepted, false if not

getDescription

public java.lang.String getDescription()

Get the description of the archive

Specified by:

getDescription in class javax.swing.filechooser.FileFilter

Returns:

The description of the archive