TapFileFilter¶

class TapFileFilter extends javax.swing.filechooser.FileFilter ¶: Tapenade graphical user interface.

Methods¶

accept¶

public boolean accept(File f)¶

addExtension¶

public void addExtension(String ext)¶

getDescription¶

public String getDescription()¶

setDescription¶

public void setDescription(String descr)¶