keel.GraphInterKeel.experiments

Class KeelFileFilter

java.lang.Object

javax.swing.filechooser.FileFilter

keel.GraphInterKeel.experiments.KeelFileFilter

public final class KeelFileFilter
extends javax.swing.filechooser.FileFilter

Constructor Summary

Constructors

Constructor and Description
KeelFileFilter()

Method Summary

Modifier and Type	Method and Description
boolean	accept(java.io.File f) Test if the file is accepted
void	addExtension(java.lang.String ex) Adds an extension to the filter
java.lang.String	getDescription() Get the filter name
void	setFilterName(java.lang.String fn) Set the filter name

Methods inherited from class java.lang.Object

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

Constructor Detail

KeelFileFilter

public KeelFileFilter()

Method Detail

setFilterName

public void setFilterName(java.lang.String fn)

Set the filter name

Parameters:

fn - New name of the filter

addExtension

public void addExtension(java.lang.String ex)

Adds an extension to the filter

Parameters:

ex - Nex extension to add

accept

public boolean accept(java.io.File f)

Test if the 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 filter name

Specified by:

getDescription in class javax.swing.filechooser.FileFilter

Returns:

The filter name