ExistsFileFilter

case object ExistsFileFilter extends FileFilter

A FileFilter that selects files that exist according to java.io.File.exists.

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

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

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