|
JGraphpad Pro
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjavax.swing.filechooser.FileFilter
com.jgraph.pad.util.JGraphpadFileFilter
Filter for use in a JFileChooser.
| Nested Class Summary | |
static class |
JGraphpadFileFilter.EditorFileFilter
Utility file filter to accept editor files, namely .xml and .xml.gz extensions. |
static class |
JGraphpadFileFilter.ImageFileFilter
Utility file filter to accept all image formats supported by image io. |
| Field Summary | |
protected String |
desc
Description of accepted files. |
protected String |
ext
Extension of accepted files. |
| Constructor Summary | |
JGraphpadFileFilter(String extension,
String description)
Constructs a new filter for the specified extension and descpription. |
|
| Method Summary | |
boolean |
accept(File file)
Returns true if file is a directory or ends with
ext. |
String |
getDescription()
Returns the description for accepted files. |
String |
getExtension()
Returns the extension for accepted files. |
void |
setExtension(String extension)
Sets the extension for accepted files. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
protected String ext
protected String desc
| Constructor Detail |
public JGraphpadFileFilter(String extension,
String description)
extension - The extension to accept files with.description - The description of the file format.| Method Detail |
public boolean accept(File file)
file is a directory or ends with
ext.
file - The file to be checked.
public String getDescription()
public String getExtension()
public void setExtension(String extension)
extension - The extension to set.
|
JGraphpad Pro
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||