scala3-compiler-bootstrapped/dotty.tools.dotc.typer/RefChecks/OverridingPairsChecker

OverridingPairsChecker

class OverridingPairsChecker(clazz: ClassSymbol, self: Type)(using x$3: Context) extends Cursor

A class for checking all overriding pairs of class with a given check function

class Cursor
class Object
trait Matchable
class Any

Value members

Concrete methods

override def canBeHandledByParent(sym1: Symbol, sym2: Symbol, parent: Symbol): Boolean

Can pair sym1/sym2 be handled by parent parentType which is a common subtype of both symbol's owners? Assumed to be true by default, but overridden in RefChecks.

Can pair sym1/sym2 be handled by parent parentType which is a common subtype of both symbol's owners? Assumed to be true by default, but overridden in RefChecks.

Definition Classes
def checkAll(checkOverride: (Symbol, Symbol) => Unit): Unit
override def matches(sym1: Symbol, sym2: Symbol): Boolean

Does sym1 match sym2 so that it qualifies as overriding when both symbols are seen as members of self? Types always match. Term symbols match if their membertypes relative to self do.

Does sym1 match sym2 so that it qualifies as overriding when both symbols are seen as members of self? Types always match. Term symbols match if their membertypes relative to self do.

Definition Classes

Inherited methods

final def hasNext: Boolean
Inherited from:
Cursor
final def next(): Unit
Inherited from:
Cursor

Inherited fields

var overridden: Symbol

If not null: The symbol overridden by overriding

If not null: The symbol overridden by overriding

Inherited from:
Cursor
var overriding: Symbol

The current candidate symbol for overriding

The current candidate symbol for overriding

Inherited from:
Cursor