abstract class DelegateFilter
extends 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.


DelegateFilter ( )


val op : TermInfo => Option [ TermAction ]
def filter : Filter