java.lang.Object
javax.swing.filechooser.FileFilter
de.uni_trier.wi2.procake.gui.objecteditor.nestworkfloweditor.editor.DefaultFileFilter

public class DefaultFileFilter extends FileFilter
Filter for use in a JFileChooser.
  • Field Details

    • ext

      protected String ext
      Extension of accepted files.
    • desc

      protected String desc
      Description of accepted files.
  • Constructor Details

    • DefaultFileFilter

      public DefaultFileFilter(String extension, String description)
      Constructs a new filter for the specified extension and descpription.
      Parameters:
      extension - The extension to accept files with.
      description - The description of the file format.
  • Method Details

    • accept

      public boolean accept(File file)
      Returns true if file is a directory or ends with ext.
      Specified by:
      accept in class FileFilter
      Parameters:
      file - The file to be checked.
      Returns:
      Returns true if the file is accepted.
    • getDescription

      public String getDescription()
      Returns the description for accepted files.
      Specified by:
      getDescription in class FileFilter
      Returns:
      Returns the description.
    • getExtension

      public String getExtension()
      Returns the extension for accepted files.
      Returns:
      Returns the extension.
    • setExtension

      public void setExtension(String extension)
      Sets the extension for accepted files.
      Parameters:
      extension - The extension to set.