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

object abstractTypeNameFilter

object fieldFilter

object implicitFilter

object nonClassTypeNameFilter

object takeAllFilter

object typeAliasNameFilter

object typeNameFilter
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