org.exist.util
Class XMLFilenameFilter
java.lang.Object
org.exist.util.XMLFilenameFilter
- All Implemented Interfaces:
- java.io.FilenameFilter
- public class XMLFilenameFilter
- extends java.lang.Object
- implements java.io.FilenameFilter
|
Field Summary |
protected static java.lang.String[] |
extensions
|
protected java.util.regex.Matcher |
matcher
|
protected java.lang.String |
pathSep
|
|
Method Summary |
boolean |
accept(java.io.File dir,
java.lang.String name)
|
static void |
setExtensions(java.lang.String[] extensionList)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
extensions
protected static java.lang.String[] extensions
pathSep
protected java.lang.String pathSep
matcher
protected java.util.regex.Matcher matcher
XMLFilenameFilter
public XMLFilenameFilter()
XMLFilenameFilter
public XMLFilenameFilter(java.lang.String regexp)
setExtensions
public static void setExtensions(java.lang.String[] extensionList)
accept
public boolean accept(java.io.File dir,
java.lang.String name)
- Specified by:
accept in interface java.io.FilenameFilter
<oXygen/>
XML Editor
provides support for editing and debugging XQuery
expressions against the eXist XML Database.