Record attribute binary format

Remi Forax forax at univ-mlv.fr
Fri Oct 11 20:43:49 UTC 2019


It seems we have to add an access_flag for each record component because we have to mark if the record component is a varargs or not.

So the format should be

Record_attribute {
  u2 attribute_name_index;
  u4 attribute_length;
  u2 number_of_record_components;
  {   u2 component_access_flags;
      u2 component_name_index; 
      u2 component_descriptor_index;
      u2 attribute_count;
      attribute_info attributes[attributes_count];
  }
}

with the component_access_flags allowing ACC_VARARGS.

Rémi


More information about the amber-spec-experts mailing list