7.2.2 ClassModifiers Attribute

This attribute represents BML modifiers for the class. The format of the attribute is the following:

ClassModifiers_attribute { u2 attribute_name_index; u4 attribute_length; u2 BML_flags; }

The meaning of the fields:

• attribute_name_index - index in the constant pool of the attribute name (org.bmlspecs.ClassModifiers)
• attribute_length - length in bytes of the whole structure (8)
• BML_flags - the flags that are set for the class. The allowed flags are BML_PURE. JCh: anything else? All other flags should be cleared.