Semantics of an empty PermittedSubtypes attribute for the VM

Vicente Romero vicente.romero at oracle.com
Thu Apr 2 13:56:11 UTC 2020


Hi Remi,

Right, IMO an empty PermittedSubtypes attribute makes no sense for the 
same reasons you mentioned.

Vicente

On 4/2/20 7:58 AM, Remi Forax wrote:
> Hi all,
> With my ASM hat,
> from the JVMS POV, javac can not generate an empty list of permitted subtypes and the implementation in Hotspot ignores the attribute PermittedSubtypes if there is no subtype listed.
>
> So currently, ASM doesn't allow you to create an attribute PermittedSubtypes with an empty number of subtypes.
> I believe this is the correct semantics, i just want to be sure that i've not overlook something.
>
> regards,
> Rémi
>



More information about the amber-spec-experts mailing list