Subprogram Instantiation Body

The diagrams below draw one box per node kind, with one port per field. The edge colours say how a link is held; they are listed in full on the Fields page.

Iir_Kind_Subprogram_Instantiation_Body

LRM08 4.3 Subprogram bodies

subprogram_body ::=
   subprogram_specification IS
      subprogram_declarative_part
   BEGIN
      subprogram_statement_part
   END [ subprogram_kind ] [ designator ] ;

subprogram_kind ::= PROCEDURE | FUNCTION

Format: Medium

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	Get/Set the statement in which TARGET appears. This is used to check if next/exit is in a loop.
Declaration_Chain	Field1	Iir	chain	The parse stage always puts a declaration before a body. Sem will remove the declaration if there is a forward declaration.
Chain	Field2	Iir	chain next	—
Impure_Depth	Field3	Iir_Int32	owned	Depth of the deepest impure object.
Attribute_Value_Chain	Field5	Iir	ref	Chain of attribute values for declared items. To be used with Get/Set_Value_Chain. There is no order, therefore, a new attribute value may be always prepended.
Sequential_Statement_Chain	Field4	Iir	chain	—
Subprogram_Specification	Field6	Iir	ref	—
Callees_List	Field7	Iir_List	of ref	Returns the list of subprogram called in this subprogram or process. Note: implicit function (such as implicit operators) are omitted from this list, since the purpose of this list is to correctly set flags for side effects (purity_state, wait_state). Can return null_iir if there is no subprogram called.
End_Has_Reserved_Id	Flag8	Boolean	owned	Layout flag: true if ‘end’ is followed by the reserved identifier.
End_Has_Identifier	Flag9	Boolean	owned	Layout flag: true if ‘end’ is followed by the identifier.
Suspend_Flag	Flag11	Boolean	owned	Set on wait, procedure call and composite statements when there is a sub-statement that can suspend a procedure or a process. Also set on procedure declaration. Note that the flag is conservative: it must be true if the node contains directly or indirectly a wait statement, but need not to be false otherwise.