Semantics of an empty PermittedSubtypes attribute for the VM

Remi Forax forax at univ-mlv.fr
Thu Apr 2 11:58:52 UTC 2020


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