getPermittedSubclasses() on j.l.rClass returning an array of ClassDesc

2020-05-08 Thread Remi Forax
The current draft of the reflection API for the sealed keyword adds a method getPermittedSubclasses() [1] to java.lang.Class. I'm not fully sure that returning an array of ClassDesc is the right choice here, mainly for two reasons, 1/ it's weird to return an array of ClassDesc when all others s

Re: Class & interface terminology

2020-05-08 Thread Jonathan Gibbons
On 5/8/20 12:02 PM, Dan Smith wrote: On May 8, 2020, at 11:26 AM, Jonathan Gibbons wrote: On 5/7/20 11:48 AM, Dan Smith wrote: This isn't a one-time change. I'm sure there's more work to do in JLS and JVMS, as the need arises, and various other parts of the ecosystem (reflection APIs, java

Re: Class & interface terminology

2020-05-08 Thread forax
> De: "John Rose" > À: "Remi Forax" > Cc: "daniel smith" , "amber-spec-experts" > > Envoyé: Vendredi 8 Mai 2020 02:15:44 > Objet: Re: Class & interface terminology > On May 7, 2020, at 3:07 PM, [ mailto:fo...@univ-mlv.fr | fo...@univ-mlv.fr ] > wrote: >> No, i disagree about to things >> - try

Re: Class & interface terminology

2020-05-08 Thread Dan Smith
> On May 8, 2020, at 11:26 AM, Jonathan Gibbons > wrote: > > On 5/7/20 11:48 AM, Dan Smith wrote: >> This isn't a one-time change. I'm sure there's more work to do in JLS and >> JVMS, as the need arises, and various other parts of the ecosystem >> (reflection APIs, javac error messages, javado

Re: Class & interface terminology

2020-05-08 Thread Dan Smith
> On May 7, 2020, at 6:57 PM, fo...@univ-mlv.fr wrote: > > Yes, the JLS explicily says that an annotation type is an interface so it's a > reified type, you can create array of them and declare member types in it > (even i never seen a code like that), > all other things are different, So it

Re: Class & interface terminology

2020-05-08 Thread Jonathan Gibbons
On 5/7/20 11:48 AM, Dan Smith wrote: This isn't a one-time change. I'm sure there's more work to do in JLS and JVMS, as the need arises, and various other parts of the ecosystem (reflection APIs, javac error messages, javadoc output, JDK code internals, third-party tools, etc.) may want to s

Re: Class & interface terminology

2020-05-08 Thread Alex Buckley
On 5/7/2020 4:19 PM, Alex Buckley wrote: We ought to be able to represent the taxonomy in a table, where any combination of row title and column title gives something meaningful: | Declaration |  Type - Class C