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.FilenameFilterdir - 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.