org.w3c.rdfpic.ui
Class ExtensionFileFilter

java.lang.Object
  |
  +--javax.swing.filechooser.FileFilter
        |
        +--org.w3c.rdfpic.ui.ExtensionFileFilter

class ExtensionFileFilter

extends javax.swing.filechooser.FileFilter

Field Summary

(package private) java.lang.String	desc
(package private) java.util.TreeSet	extSet

Constructor Summary

ExtensionFileFilter()

Method Summary

boolean	accept(java.io.File f)
void	addExtension(java.lang.String ext)
java.lang.String	getDescription()
void	setDescription(java.lang.String newdesc)

Methods inherited from class java.lang.Object

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

Field Detail

extSet

java.util.TreeSet extSet

desc

java.lang.String desc

Constructor Detail

ExtensionFileFilter

public ExtensionFileFilter()

Method Detail

setDescription

public void setDescription(java.lang.String newdesc)

getDescription

public java.lang.String getDescription()

Overrides:

getDescription in class javax.swing.filechooser.FileFilter

addExtension

public void addExtension(java.lang.String ext)

accept

public boolean accept(java.io.File f)

Overrides:

accept in class javax.swing.filechooser.FileFilter