scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/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
Show all

Members list

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

In this article

Generated with