GlobFilter

object GlobFilter

Constructs a filter from a String, interpreting wildcards. See the GlobFilter.apply method.

class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(expression: String): NameFilter

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.