GlobFilter
object GlobFilter
Constructs a filter from a String, interpreting wildcards. See the GlobFilter.apply method.
Value members
Concrete methods
Constructs a NameFilter from a String, interpreting *
as a wildcard.
Control characters, as determined by java.lang.Character.isISOControl
are not allowed
due to the implementation restriction of using Java's Pattern
and Pattern.quote
,
which do not handle these characters.
Constructs a NameFilter from a String, interpreting *
as a wildcard.
Control characters, as determined by java.lang.Character.isISOControl
are not allowed
due to the implementation restriction of using Java's Pattern
and Pattern.quote
,
which do not handle these characters.