7.2.8 InitiallyClause Attribute

This atribute represents an “initially” clause of a class. It is a condition that is supposed to hold right after the creation of the object, i.e. after the termination of any of it constructors. It has the following structure:

     InitiallyClause_attribute {
       u2 attribute_name_index;
       u4 attribute_length;
       u2 access_flags;
       formula_info clause;
     }

The meaning of the fields is as follows:

• attribute_name_index - index in the constant pool of the attribute name (org.bmlspecs.InitiallyClause)
• attribute_length - length in bytes of the whole structure
• access_flags - the flags that are set for the clause. The only allowed flags are ACC_PUBLIC, ACC_PROTECTED, ACC_PRIVATE and ACC_STATIC. Only one of ACC_PUBLIC, ACC_PROTECTED, ACC_PRIVATE can be set.
• clause - the formula describing the predicate that should hold initially.