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 org.apache.oro.text.regex.PatternMatcher |
matcher
|
protected java.lang.String |
pathSep
|
protected org.apache.oro.text.regex.Pattern |
pattern
|
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
pattern
protected org.apache.oro.text.regex.Pattern pattern
matcher
protected org.apache.oro.text.regex.PatternMatcher matcher
XMLFilenameFilter
public XMLFilenameFilter()
XMLFilenameFilter
public XMLFilenameFilter(java.lang.String regexp)
throws org.apache.oro.text.regex.MalformedPatternException
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
Copyright (C) Wolfgang Meier. All rights reserved.