> From: "Brian Goetz" <[email protected]> > To: "Remi Forax" <[email protected]> > Cc: "valhalla-spec-experts" <[email protected]> > Sent: Wednesday, January 12, 2022 2:30:00 PM > Subject: Re: [External] : Re: VM model and aconst_init
> The operand of C_Class is a weird beast. It can be an internal name > (com/foo/Bar), but it can also be a *descriptor* for an array type. Valhalla > extends it to allow Q descriptors as well (but not L descriptors -- there > should be one way to say C_Class[String].) Your explanation maks sense but it's not was this sentence says """ The sole operand of this bytecode is a reference to a CONSTANT_Class item giving the internal binary name of the value class (not its Q descriptor) """ Rémi > On 1/12/2022 8:14 AM, [ mailto:[email protected] | [email protected] ] wrote: >> Ok, but in that case how the verifiers know if aconst_init generate a Q-type >> or >> a L-type given that aconst_init takes a CONSTANT_CLASS and not a descriptor >> as >> parameter.
