Clarifying record reflective support

John Rose john.r.rose at oracle.com
Wed Dec 4 19:20:46 UTC 2019


On Dec 4, 2019, at 7:59 AM, Maurizio Cimadamore <maurizio.cimadamore at oracle.com> wrote:
> 
> On 04/12/2019 15:53, forax at univ-mlv.fr <mailto:forax at univ-mlv.fr> wrote:
>> Like getEnumConstants(), this is an argument i can agree upon.
> Yes, that is the important precedent here.

+1; getEnumX getRecordX are clearly partial functions (like getComponentType als0),
while the others that always return non-null are clearly total functions.

I.e., get[Declared][Fields,Methods,Classes,…] apply evenly to all classes, not just some kinds.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20191204/ace0902b/attachment-0001.html>


More information about the amber-spec-experts mailing list