Package de.uni_trier.wi2.procake.gui.objecteditor.nestworkfloweditor.editor

Class DefaultFileFilter.EditorFileFilter

java.lang.Object

javax.swing.filechooser.FileFilter

de.uni_trier.wi2.procake.gui.objecteditor.nestworkfloweditor.editor.DefaultFileFilter.EditorFileFilter

Enclosing class:

DefaultFileFilter

public static class DefaultFileFilter.EditorFileFilter
extends FileFilter

Utility file filter to accept editor files, namely .xml and .xml.gz extensions.

See Also:

• ImageIO.getReaderFormatNames()

Field Summary

Fields

Modifier and Type	Field	Description
protected String	desc	Description of the File format

Constructor Summary

Constructors

Constructor	Description
EditorFileFilter(String description)	Constructs a new editor file filter using the specified description.

Method Summary

Modifier and Type	Method	Description
boolean	accept(File file)	Returns true if the file is a directory or has a .xml or .xml.gz extension.
String	getDescription()	Returns the description.

Methods inherited from class java.lang.Object

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

Field Details

desc

protected String desc

Description of the File format

Constructor Details

EditorFileFilter

public EditorFileFilter(String description)

Constructs a new editor file filter using the specified description.

Parameters:

description - The description to use for the filter.

Method Details

accept

public boolean accept(File file)

Returns true if the file is a directory or has a .xml or .xml.gz extension.

Specified by:

accept in class FileFilter

Returns:

Returns true if the file is accepted.

getDescription

public String getDescription()

Returns the description.

Specified by:

getDescription in class FileFilter

Returns:

Returns the description.