Class ExtensionFileFilter

  • All Implemented Interfaces:
    GhidraFileFilter

    public class ExtensionFileFilter
    extends java.lang.Object
    implements GhidraFileFilter
    A convenience implementation of FileFilter that filters out all files except for those type extensions that it knows about.

    Extensions are of the type "foo" (no leading dot). Case is ignored.

    Example - create a new filter that filters out all files but gif and jpg image files:

         GhidraFileChooser chooser = new GhidraFileChooser();
         chooser.addFileFilter(ExtensionFilFilter.forExtensions("JPEG and GIF Images", "gif", "jpg"));
    
    • Constructor Summary

      Constructors 
      Constructor Description
      ExtensionFileFilter​(java.lang.String[] filters, java.lang.String description)
      Creates a file filter from the given string array and description.
      ExtensionFileFilter​(java.lang.String extension, java.lang.String description)
      Creates a file filter that accepts the given file type.
    • Constructor Detail

      • ExtensionFileFilter

        public ExtensionFileFilter​(java.lang.String extension,
                                   java.lang.String description)
        Creates a file filter that accepts the given file type. Example: new ExtensionFileFilter("jpg", "JPEG Images");
        Parameters:
        extension - file extension to match, without leading dot
        description - descriptive string of the filter
      • ExtensionFileFilter

        public ExtensionFileFilter​(java.lang.String[] filters,
                                   java.lang.String description)
        Creates a file filter from the given string array and description. Example: new ExtensionFileFilter(String {"gif", "jpg"}, "Gif and JPG Images");
        Parameters:
        filters - array of file name extensions, each without a leading dot
        description - descriptive string of the filter
    • Method Detail

      • forExtensions

        public static ExtensionFileFilter forExtensions​(java.lang.String description,
                                                        java.lang.String... exts)
        Creates a ExtensionFileFilter in a varargs friendly way.
        Parameters:
        description - String description of this set of file extensions.
        exts - variable length list of file extensions, without leading dot.
        Returns:
        new ExtensionFileFilter instance.
      • accept

        public boolean accept​(java.io.File f,
                              GhidraFileChooserModel model)
        Return true if this file should be shown in the directory pane, false if it shouldn't. Files that begin with "." are ignored.
        Specified by:
        accept in interface GhidraFileFilter
        Parameters:
        f - The abstract pathname to be tested
        model - The underlying file chooser model
        Returns:
        true if and only if pathname should be included
        See Also:
        FileFilter.accept(java.io.File)
      • getDescription

        public java.lang.String getDescription()
        Description copied from interface: GhidraFileFilter
        Returns the description of this filter.
        Specified by:
        getDescription in interface GhidraFileFilter
        Returns:
        the description of this filter