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 abstractTermNameFilterobject abstractTypeNameFilterobject fieldFilterobject implicitFilterobject nonClassTypeNameFilterobject takeAllFilterobject typeAliasNameFilterobject typeNameFilter
Members list
In this article