Class DefaultFileFilter.ImageFileFilter
- java.lang.Object
-
- javax.swing.filechooser.FileFilter
-
- org.processmining.objectcentricconstraintchecking.algorithms.editor.DefaultFileFilter.ImageFileFilter
-
- Enclosing class:
- DefaultFileFilter
public static class DefaultFileFilter.ImageFileFilter extends javax.swing.filechooser.FileFilterUtility file filter to accept all image formats supported by image io.- See Also:
ImageIO.getReaderFormatNames()
-
-
Field Summary
Fields Modifier and Type Field Description protected java.lang.StringdescDescription of the filter.protected static java.lang.String[]imageFormatsHolds the accepted file format extensions for images.
-
Constructor Summary
Constructors Constructor Description ImageFileFilter(java.lang.String description)Constructs a new file filter for all supported image formats using the specified description.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanaccept(java.io.File file)Returns true if the file is a directory or ends with a known image extension.java.lang.StringgetDescription()Returns the description.
-
-
-
Method Detail
-
accept
public boolean accept(java.io.File file)
Returns true if the file is a directory or ends with a known image extension.- Specified by:
acceptin classjavax.swing.filechooser.FileFilter- Parameters:
file- The file to be checked.- Returns:
- Returns true if the file is accepted.
-
getDescription
public java.lang.String getDescription()
Returns the description.- Specified by:
getDescriptionin classjavax.swing.filechooser.FileFilter- Returns:
- Returns the description.
-
-