notes from Valhalla meeting 5/24/17

[Paul Sandoz]

> On 21 Jun 2017, at 12:37, forax at univ-mlv.fr wrote:
> 
> 
> 
> De: "John Rose" <john.r.rose at oracle.com>
> À: "Rémi Forax" <forax at univ-mlv.fr>
> Cc: "Valhalla Expert Group Observers" <valhalla-spec-observers at openjdk.java.net>, valhalla-spec-experts at 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.