Dotty Documentation

0.5.0-bin-SNAPSHOT

abstract class DelegateFilter
extends Object with Filter

A filter as an abstract class, letting you provide a [[filter]] instead of an op, automatically providing a good .toString for debugging, and providing a reasonable "place" inside the inheriting class/object to put state or helpers or other logic associated with the filter.

[-] Constructors

DelegateFilter ( identifier: String )

[-] Members

[+] val identifier : String

the .toString of this object, except by making it separate we force the implementer to provide something and stop them from accidentally leaving it as the meaningless default.

[+] def filter : Filter
[+] def op ( ti: TermInfo ) : Option [ TermAction ]