7.5.3 Assert Attribute

The Assert method attribute represents the table of assertions in the code of the method. The structure of the attribute is the following:

     Assert_attribute {
       u2 attribute_name_index;
       u4 attribute_length;
       u2 asserts_count;
       {
         u2 point_pc;
         u2 index;
         formula_info assertion;
       } asserts[asserts_count];
     }

[alx: this corresponds to Assert_attribute in D3.1, some names are changed]

• attribute_name_index - index in the constant pool of the attribute name (org.bmlspecs.Assert)
• attribute_length - length in bytes of the whole structure
• asserts_count - the number of assertions in the table
• asserts - the table of assertions; the fields in each assertion have the following meaning:
  • point_pc - the point in the method code where the assertion is supposed to hold
  • order - the position of the assert instruction in BML declarations at code address point_pc
  • assertion - the assertion formula