IO/sbt.io/DirectoryFilter

DirectoryFilter

case
object DirectoryFilter extends FileFilter with PathFilter

A FileFilter that selects files that are a directory according to java.io.File.isDirectory.

trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait FileFilter
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels = EmptyTuple
Inherited from
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror
type MirroredMonoType = Singleton
Inherited from
Singleton
type MirroredType = Singleton
Inherited from
Singleton

Value members

Concrete methods

def accept(file: File): Boolean
override
def accept(path: Path, attributes: FileAttributes): Boolean
Definition Classes

Inherited methods

def &&(filter: FileFilter): FileFilter

Constructs a filter that accepts a File if it matches both this filter and the given filter.

Constructs a filter that accepts a File if it matches both this filter and the given filter.

Inherited from
FileFilter
def --(filter: FileFilter): FileFilter

Constructs a filter that accepts a File if it matches this filter but does not match the given filter.

Constructs a filter that accepts a File if it matches this filter but does not match the given filter.

Inherited from
FileFilter
def fromProduct(p: Product): MirroredMonoType
Inherited from
Singleton
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
def unary_-: FileFilter

Constructs a filter that accepts a File if it does not match this filter.

Constructs a filter that accepts a File if it does not match this filter.

Inherited from
FileFilter
def ||(filter: FileFilter): FileFilter

Constructs a filter that accepts a File if it matches either this filter or the given filter.

Constructs a filter that accepts a File if it matches either this filter or the given filter.

Inherited from
FileFilter