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
Rémi
More information about the amber-spec-experts
mailing list