This class performs the following functions:
(1) Adds super accessors for all super calls that either appear in a trait or have as a target a member of some outer class.
(2) Adds protected accessors if the access to the protected member happens in a class which is not a subclass of the member's owner.
It also checks that:
(1) Symbols accessed from super are not abstract, or are overridden by an abstract override.
(2) If a symbol accessed from super is defined in a real class (not a trait), there are no abstract members which override this member in Java's rules (see SI-4989; such an access would lead to illegal bytecode)
(3) Super calls do not go to some synthetic members of Any (see isDisallowed)
(4) Super calls do not go to synthetic field accessors
Constructors
Members
List buffers for new accessor definitions, indexed by class
List buffers for new accessor definitions, indexed by class
Some parts of trees will get a new owner in subsequent phases. These are value class methods, which will become extension methods. (By-name arguments us...
Some parts of trees will get a new owner in subsequent phases. These are value class methods, which will become extension methods. (By-name arguments used to be included also, but these don't get a new class anymore, they are just wrapped in a new method).
These regions will have to be treated specially for the purpose of adding accessors. For instance, super calls from these regions always have to go through an accessor.
The invalidEnclClass
field, if different from NoSymbol,
contains the symbol that is not a valid owner.
Replace sel
(or sel[targs]
if targs
is nonempty) with a protected accessor
call, if necessary.
Replace sel
(or sel[targs]
if targs
is nonempty) with a protected accessor
call, if necessary.
Return the innermost enclosing class C of referencingClass for which either of the following holds: - C is a subclass of sym.owner or - C is declared in...
Return the innermost enclosing class C of referencingClass for which either of the following holds: - C is a subclass of sym.owner or - C is declared in the same package as sym's owner
Some parts of trees will get a new owner in subsequent phases. These are value class methods, which will become extension methods. (By-name arguments us...
Some parts of trees will get a new owner in subsequent phases. These are value class methods, which will become extension methods. (By-name arguments used to be included also, but these don't get a new class anymore, they are just wrapped in a new method).
These regions will have to be treated specially for the purpose of adding accessors. For instance, super calls from these regions always have to go through an accessor.
The invalidEnclClass
field, if different from NoSymbol,
contains the symbol that is not a valid owner.
Disallow some super.XX calls targeting Any methods which would otherwise lead to either a compiler crash or runtime failure.
Disallow some super.XX calls targeting Any methods which would otherwise lead to either a compiler crash or runtime failure.
Is 'tpe' a ThisType, or a type proxy with a ThisType as transitively underlying type?
Is 'tpe' a ThisType, or a type proxy with a ThisType as transitively underlying type?
Does sym
need an accessor when accessed from currentClass
?
A special case arises for classes with explicit self-types. If the
self type is a Java class,...
Does sym
need an accessor when accessed from currentClass
?
A special case arises for classes with explicit self-types. If the
self type is a Java class, and a protected accessor is needed, we issue
an error. If the self type is a Scala class, we don't add an accessor.
An accessor is not needed if the access boundary is larger than the
enclosing package, since that translates to 'public' on the host sys.
(as Java has no real package nesting).
If the access happens inside a 'trait', access is more problematic since the implementation code is moved to an '$class' class which does not inherit anything. Since we can't (yet) add accessors for 'required' classes, this has to be signaled as error. FIXME Need to better understand this logic
Add a protected accessor, if needed, and return a tree that calls the accessor and returns the same member. The result is already typed.
Add a protected accessor, if needed, and return a tree that calls the accessor and returns the same member. The result is already typed.
A super accessor call corresponding to sel
A super accessor call corresponding to sel
Transform assignment, adding a protected setter if needed
Transform assignment, adding a protected setter if needed
Transform select node, adding super and protected accessors as needed
Transform select node, adding super and protected accessors as needed
Check selection super.f
for conforming to rules. If necessary,
replace by a super accessor call.
Check selection super.f
for conforming to rules. If necessary,
replace by a super accessor call.
Wrap DefDef
producing operation op
, potentially setting invalidClass
info
Wrap DefDef
producing operation op
, potentially setting invalidClass
info