public class FileFilter
extends javax.activation.MimetypesFileTypeMap
Constructor and Description |
---|
FileFilter() |
Modifier and Type | Method and Description |
---|---|
void |
addExclusiveMediaType(java.lang.String mediaType)
Exclusive: Files of this type won't be considered! If any inclusive type
is specified, the exclusive types won't be regarded anymore.
|
void |
addExclusiveMimeType(java.lang.String mimeType)
Exclusive: Files of this type won't be considered! If any inclusive type
is specified, the exclusive types won't be regarded anymore.
|
void |
addFileExtensionFilter(java.lang.String fileExtensionFilter)
Add a file extension filter: a regular expression that filters file
extensions
|
void |
addInclusiveMediaType(java.lang.String mediaType)
Inclusive: Only files of this type will be considered! If an inclusive
type is added, the exclusive types won't be regarded anymore.
|
void |
addInclusiveMimeType(java.lang.String mimeType)
Inclusive: Only files of this type will be considered! If an inclusive
type is added, the exclusive types won't be regarded anymore.
|
boolean |
fileExtensionSupported(java.lang.String filePath)
Uses the file extension filter on the string path.
|
boolean |
fileTypeSupported(java.nio.file.Path path)
Checks whether the file type should be extracted, or filtered out.
|
java.util.HashSet<java.lang.String> |
getExclusiveMediaType() |
java.util.HashSet<java.lang.String> |
getExclusiveMimeType() |
java.lang.String |
getFileExtensionFilter() |
java.util.HashSet<java.lang.String> |
getInclusiveMediaType() |
java.util.HashSet<java.lang.String> |
getInclusiveMimeType() |
addMimeTypes, getContentType, getContentType
public boolean fileTypeSupported(java.nio.file.Path path)
AbstractModule.extractInformation(Path path)
procedure.path
- public boolean fileExtensionSupported(java.lang.String filePath)
filePath
- string path to the filepublic void addInclusiveMimeType(java.lang.String mimeType)
mimeType
- public void addExclusiveMimeType(java.lang.String mimeType)
mimeType
- public void addInclusiveMediaType(java.lang.String mediaType)
mediaType
- public void addExclusiveMediaType(java.lang.String mediaType)
mediaType
- public void addFileExtensionFilter(java.lang.String fileExtensionFilter)
fileExtensionFilter
- public java.util.HashSet<java.lang.String> getInclusiveMimeType()
public java.util.HashSet<java.lang.String> getInclusiveMediaType()
public java.util.HashSet<java.lang.String> getExclusiveMediaType()
public java.util.HashSet<java.lang.String> getExclusiveMimeType()
public java.lang.String getFileExtensionFilter()