> On 21 Jun 2017, at 12:37, fo...@univ-mlv.fr wrote:
>
>
>
> De: "John Rose" <john.r.r...@oracle.com>
> À: "Rémi Forax" <fo...@univ-mlv.fr>
> Cc: "Valhalla Expert Group Observers"
> <valhalla-spec-observ...@openjdk.java.net>,
> valhalla-spec-experts@openjdk.java.net
> Envoyé: Mercredi 21 Juin 2017 18:03:49
> Objet: Re: notes from Valhalla meeting 5/24/17
>
> [...]
> It only repurposes the concept of field names and field types
> (as if from Fieldref but not using Fieldref) but does not actually link to
> fields.
>
> — John
>
> Ok, i do not understand exactly what you mean here,
> i will do a complete reading of the spec tomorrow so i hope things will be
> more clear for me.
>
Relevant bit:
CONSTANT_ConstantDynamic_info {
u1 tag;
u2 bootstrap_method_attr_index;
u2 name_and_type_index;
}
The value of the name_and_type_index item must be a valid index into the
constant_pool table. The constant_pool entry at
that index must be a CONSTANT_NameAndType_info structure (§4.4.6)
representing a field name and field descriptor (§4.3.2).
i.e. name and descriptor indexed by CONSTANT_NameAndType_info must conform to a
field name and field descriptor respectively, but there is no such actual field.
Hth,
Paul.
