public static class URIQueryParameters.RegexFilter
extends java.lang.Object
implements java.io.FilenameFilter
Constructor and Description |
---|
RegexFilter(RegularExpression regex) |
Modifier and Type | Method and Description |
---|---|
boolean |
accept(java.io.File dir,
java.lang.String name)
Tests if a specified file should be included in a file list.
|
boolean |
matches(java.lang.String name)
Test whether a name matches the pattern (regardless whether it is a directory or not)
|
public RegexFilter(RegularExpression regex)
public boolean accept(java.io.File dir, java.lang.String name)
accept
in interface java.io.FilenameFilter
dir
- the directory in which the file was found.name
- the name (last component) of the file.true
if and only if the name should be
included in the file list; false
otherwise.
Returns true if the file is a directory or if it matches the glob pattern.public boolean matches(java.lang.String name)
name
- the name (last component) of the fileCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.