edu.cmu.cs.sb.drem
Class DREMGui_ImageFilter

java.lang.Object
  extended by javax.swing.filechooser.FileFilter
      extended by edu.cmu.cs.sb.drem.DREMGui_ImageFilter

public class DREMGui_ImageFilter
extends javax.swing.filechooser.FileFilter

Class used to specify the file filtering in the file chooser menu. This class is used by DREMGui_SaveDREM


Constructor Summary
DREMGui_ImageFilter()
           
 
Method Summary
 boolean accept(java.io.File f)
          Returns true iff f is not null and a directory or has a non-null extension in validExt
 void addExtension(java.lang.String szext)
          Adds szext into validExt
 java.lang.String getDescription()
          Returns szdesc
static java.lang.String getExtension(java.io.File f)
          Returns the extension of the file
 void setDescription(java.lang.String szdesc)
          Sets the value of szdesc
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DREMGui_ImageFilter

public DREMGui_ImageFilter()
Method Detail

getExtension

public static java.lang.String getExtension(java.io.File f)
Returns the extension of the file


accept

public boolean accept(java.io.File f)
Returns true iff f is not null and a directory or has a non-null extension in validExt

Specified by:
accept in class javax.swing.filechooser.FileFilter

getDescription

public java.lang.String getDescription()
Returns szdesc

Specified by:
getDescription in class javax.swing.filechooser.FileFilter

setDescription

public void setDescription(java.lang.String szdesc)
Sets the value of szdesc


addExtension

public void addExtension(java.lang.String szext)
Adds szext into validExt