NameFilter
dotty.tools.dotc.core.Types$.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)
Attributes
- Graph
- Supertypes
- Known subtypes
- object abstractTermNameFilter.typeobject abstractTypeNameFilter.typeobject fieldFilter.typeobject implicitFilter.typeobject nonClassTypeNameFilter.typeobject takeAllFilter.typeobject typeAliasNameFilter.typeobject typeNameFilter.type