scala3-compiler-bootstrapped/dotty.tools.dotc.core/Types/NameFilter

NameFilter

dotty.tools.dotc.core.Types$.NameFilter

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)

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: object abstractTermNameFilter.type
object abstractTypeNameFilter.type
object fieldFilter.type
object implicitFilter.type
object nonClassTypeNameFilter.type
object takeAllFilter.type
object typeAliasNameFilter.type
object typeNameFilter.type

Members list

Concise view

Value members

Abstract methods

Filter does not need to be rechecked with full prefix, if it has been already checked for the class denotation of the prefix

Attributes

Generated with