public class RandomPathFilter extends java.lang.Object implements PathFilter
| Modifier and Type | Field and Description |
|---|---|
protected java.lang.String[] |
extensions |
protected long |
maxPaths |
protected java.util.Random |
random |
| Constructor and Description |
|---|
RandomPathFilter(java.util.Random random,
java.lang.String... extensions)
Calls
this(random, extensions, 0). |
RandomPathFilter(java.util.Random random,
java.lang.String[] extensions,
long maxPaths)
Constructs an instance of the PathFilter.
|
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
accept(java.lang.String name) |
java.net.URI[] |
filter(java.net.URI[] paths) |
protected java.util.Random random
protected java.lang.String[] extensions
protected long maxPaths
public RandomPathFilter(java.util.Random random,
java.lang.String... extensions)
this(random, extensions, 0).public RandomPathFilter(java.util.Random random,
java.lang.String[] extensions,
long maxPaths)
random - object to useextensions - of files to keepmaxPaths - max number of paths to return (0 == unlimited)protected boolean accept(java.lang.String name)
public java.net.URI[] filter(java.net.URI[] paths)
filter in interface PathFilter