7.4 Method Attributes

BML-related method attributes are added as additional attributes to regular methods in the Method table (see Methods data structure). The attributes are as follows:

• MethodSpecification - pre and post-conditions of the method
• ParameterTable - information on the method parameters (e.g. BML modifiers, names etc)

• The MethodSpecification attribute
• The ParameterTable attribute