Modifier and Type | Field and Description |
---|---|
protected java.lang.String[] |
extensions |
protected boolean |
ignoreCase |
Constructor and Description |
---|
FileExtensionFilter(boolean ignoreCase,
java.lang.String... extensions)
Matches any files with the given extensions, optionally ignoring case.
|
FileExtensionFilter(java.lang.String... extensions)
Matches any files with the given extensions, ignoring case
|
Modifier and Type | Method and Description |
---|---|
boolean |
filter(java.io.File file) |
protected final java.lang.String[] extensions
protected final boolean ignoreCase
public FileExtensionFilter(java.lang.String... extensions)
public FileExtensionFilter(boolean ignoreCase, java.lang.String... extensions)
Copyright © 2002–2018 PMD. All rights reserved.