Home
Categories
Dictionary
Download
Project Details
Changes Log
FAQ
License

ExtensionFileFilter



The ExtensionFileFilter class is a file filter which is both: It allows to define a file filter which filters files depending on their extension.

For example with only one extension:
   ExtensionFileFilter filter = new ExtensionFileFilter("png", "PNG images");      

Using a vararg for the array of extensions

The ExtensionFileFilter.createFromExtensions(String, String...) allows to use a vararg for the array of extensions.

For example:
   ExtensionFileFilter filter = ExtensionFileFilter.createFromExtensions("Images", "png", "jpg");     

Pattern for the extension

You can specify the extension with or without a dot at the beginning of the String. For example both ExtensionFileFilter filter = new ExtensionFileFilter("png", "PNG images") and ExtensionFileFilter filter = new ExtensionFileFilter(".png", "PNG images") will specify files with the "png" extension.

Also the extension is not case-sensitive. For example ExtensionFileFilter filter = new ExtensionFileFilter("PNG", "PNG images") specifies the same extension.

Examples

With only one extension:
   ExtensionFileFilter filter = new ExtensionFileFilter("png", "PNG images");      
With several extensions:
   String[] images = {"png", "jpg"};
   ExtensionFileFilter filter = new ExtensionFileFilter(images, "Images");      

See also


Categories: packages | swing

Copyright 2006-2024 Herve Girod. All Rights Reserved. Documentation and source under the LGPL v2 and Apache 2.0 licences