OverridingPairsChecker
A class for checking all overriding pairs of class
with a given check function
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
A hook that allows to adjust the type of member
and other
before checking conformance. Overridden in capture checking to handle non-capture checked classes leniently.
A hook that allows to adjust the type of member
and other
before checking conformance. Overridden in capture checking to handle non-capture checked classes leniently.
Attributes
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.
Attributes
- Definition Classes
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.
Attributes
- Definition Classes
Inherited fields
If not null: The symbol overridden by overriding
The current candidate symbol for overriding