org.ginsim.gui.shell

Class GsFileFilter

java.lang.Object

javax.swing.filechooser.FileFilter

org.ginsim.gui.shell.GsFileFilter

public class GsFileFilter
extends FileFilter

GINMLFilter.java filter the file to chose for saving/opening

Constructor Summary

Constructors

Constructor and Description
GsFileFilter()
GsFileFilter(FileFormatDescription format)
GsFileFilter(String[] extensions, String descr)

Method Summary

Modifier and Type	Method and Description
boolean	accept(File f) Accept all directories and files with the good extension.
String	getDescription()
String[]	getExtensionList() Returns the array of available extensions for this filter
void	setExtensionList(String[] list, String descr)

Methods inherited from class java.lang.Object

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

Constructor Detail

GsFileFilter

public GsFileFilter()

GsFileFilter

public GsFileFilter(FileFormatDescription format)

GsFileFilter

public GsFileFilter(String[] extensions,
                    String descr)

Method Detail

setExtensionList

public void setExtensionList(String[] list,
                             String descr)

Parameters:

list -

descr -

getExtensionList

public String[] getExtensionList()

Returns the array of available extensions for this filter

Returns:

the array of available extensions for this filter

accept

public boolean accept(File f)

Accept all directories and files with the good extension.

Specified by:

accept in class FileFilter

Parameters:

f -

Returns:

true if the file is accepted

getDescription

public String getDescription()

Specified by:

getDescription in class FileFilter