Clarifying the receiver parameter (qualified 'this')

Michael Ernst mernst at cs.washington.edu
Thu Oct 24 06:56:24 PDT 2013


Markus-

>> First, the change from
>>       [Identifier .] this
>> to
>>       {Identifier .} this
>> was essential.  The reason is that inside a doubly-nested inner class,
> the
>> receiver can have a name like Outer.Middle.this.
>
> Nope, Middle.this is always equivalent to Outer.Middle.this, so the
> "Outer." is never necessary.

You're right.  It's necessary on the type, but it is not necessary (nor 
does it serve any purpose for disambiguation) on the "this", which is what 
we are talking about.  Thanks for the correction.

                     -Mike


More information about the type-annotations-spec-experts mailing list