com.jgraph.pad.util
Class JGraphpadFileFilter.EditorFileFilter

java.lang.Object
  javax.swing.filechooser.FileFilter
      com.jgraph.pad.util.JGraphpadFileFilter.EditorFileFilter

Enclosing class:

JGraphpadFileFilter

public static class JGraphpadFileFilter.EditorFileFilter

extends FileFilter

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

See Also:

ImageIO.getReaderFormatNames()

Field Summary

protected String

desc Description of the File format

Constructor Summary

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

Method Summary

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 Detail

desc

protected String desc

Description of the File format

Constructor Detail

JGraphpadFileFilter.EditorFileFilter

public JGraphpadFileFilter.EditorFileFilter(String description)

Constructs a new editor file filter using the specified description.

Parameters:

description - The description to use for the filter.

Method Detail

accept

public boolean accept(File file)

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

Returns:

Returns true if the file is accepted.

getDescription

public String getDescription()

Returns the description.

Returns:

Returns the description.