abstract
class
NameFilter
A name filter selects or discards a member name of a type pre
.
To enable efficient caching, name filters have to satisfy the
following invariant: If keep
is a name filter, and pre
has
class C
as a base class, then
keep(pre, name) implies keep(C.this, name)
Constructors
NameFilter
(
)
Members
def
apply
(
pre:
Type
,
name:
Name
)
(
implicit
ctx:
Context
)
: Boolean