7.1 Encoding of Modifiers

BML modifiers, see Modifiers, are encoded in suitable attributes as binary BML_flags fields. The bit values of flags and their summary meaning is given in the following table:

BML_SPEC_PUBLIC = 0x0001

a public specification; this flag is equal to the ACC_PUBLIC JVM flag

BML_SPEC_PROTECTED = 0x0004

a protected specification; this flag is equal to the ACC_PROTECTED JVM flag

BML_FINAL = 0x0010

an element which cannot be modified; this flag is equal to the ACC_FINAL JVM flag

BML_NON_NULL = 0x0020

an element which cannot return or be assigned the null value

BML_NULLABLE = 0x0040

an element which can return or be assigned the null value

BML_PURE = 0x0080

an element is declared as \pure; see Modifiers for type definitions

BML_HELPER = 0x0100

TODO a helper element

BML_INSTANCE = 0x0200

TODO an instance element