keel.GraphInterKeel.datacf.util

Class KeelFileFilter

java.lang.Object

javax.swing.filechooser.FileFilter

keel.GraphInterKeel.datacf.util.KeelFileFilter

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

Since:

JDK1.5

Version:

1.0

Author:

Written by Ignacio Robles, Modified by Pedro Antonio Gutiérrez and Juan Carlos Fernández (University of Córdoba) 23/10/2008

Constructor Summary

Constructors

Constructor and Description
KeelFileFilter()

Method Summary

Modifier and Type	Method and Description
boolean	accept(java.io.File f) Overriding the accept method for accepting directory names
void	addExtension(java.lang.String ex) Adds extendion to the filter
java.lang.String	getDescription() Returns the description of the file filter
void	setFilterName(java.lang.String fn) Sets Name of the Filer

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)

Sets Name of the Filer

Parameters:

fn - Name of filter

addExtension

public void addExtension(java.lang.String ex)

Adds extendion to the filter

Parameters:

ex - Extension for the filter

accept

public boolean accept(java.io.File f)

Overriding the accept method for accepting directory names

Specified by:

accept in class javax.swing.filechooser.FileFilter

Parameters:

f - File to evaluate

Returns:

boolean Is the file accepted?

getDescription

public java.lang.String getDescription()

Returns the description of the file filter

Specified by:

getDescription in class javax.swing.filechooser.FileFilter

Returns:

String Description of the file filter