Possible records tweak

Remi Forax forax at univ-mlv.fr
Mon Apr 27 22:54:36 UTC 2020

----- Mail original -----
> De: "Brian Goetz" <brian.goetz at oracle.com>
> À: "daniel smith" <daniel.smith at oracle.com>, "John Rose" <john.r.rose at oracle.com>
> Cc: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> Envoyé: Mardi 28 Avril 2020 00:37:05
> Objet: Re: Possible records tweak

>>> So maybe `super` is DA but `this` is DU, just like in the code
>>> before the super-constructor call.  (I’m abusing the terms DA/DU
>>> like Brian is, and you call out, but they are close to correct.)
>> I think this means I can't call inherited method 'getParentWidget()' or some
>> static utility 'computeWidgetOfParent(this)' method (e.g.,
>> 'identityHashCode(this)'). I *can* call 'super.getParentWidget()'.
> Except records only inherit from Record, which has no non-inherited
> instance methods.

super.wait(), etc should work


More information about the amber-spec-experts mailing list