Sequential Statement Ext

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_Simple_Signal_Assignment_Statement

Format: Short

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.
Target	Field1	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Reject_Time_Expression	Field4	Iir	owned	—
Waveform_Chain	Field5	Iir	chain	The waveform. If the waveform_chain is null_iir, then the signal assignment is a disconnection statement, ie TARGET <= null_iir after disconection_time, where disconnection_time is specified by a disconnection specification.
Delay_Mechanism	Flag1	Iir_Delay_Mechanism	owned	—
Has_Delay_Mechanism	Flag2	Boolean	owned	Layout flag for signal assignment. If True, the delay mechanism is present. This is obviously true for transport or inertial with reject, but the simple ‘inertial’ is optional.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Guarded_Target_State	State1	Tri_State_Type	owned	True if the target of the assignment is guarded
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Conditional_Signal_Assignment_Statement

Format: Short

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.
Target	Field1	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Reject_Time_Expression	Field4	Iir	owned	—
Conditional_Waveform_Chain	Field5	Iir	chain	—
Delay_Mechanism	Flag1	Iir_Delay_Mechanism	owned	—
Has_Delay_Mechanism	Flag2	Boolean	owned	Layout flag for signal assignment. If True, the delay mechanism is present. This is obviously true for transport or inertial with reject, but the simple ‘inertial’ is optional.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Guarded_Target_State	State1	Tri_State_Type	owned	True if the target of the assignment is guarded
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Selected_Waveform_Assignment_Statement

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.
Target	Field1	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Reject_Time_Expression	Field4	Iir	owned	—
Expression	Field5	Iir	owned	Expression for an various nodes.
Selected_Waveform_Chain	Field7	Iir	chain	—
Matching_Flag	Flag5	Boolean	owned	Matching condition for case statement.
Delay_Mechanism	Flag1	Iir_Delay_Mechanism	owned	—
Has_Delay_Mechanism	Flag2	Boolean	owned	Layout flag for signal assignment. If True, the delay mechanism is present. This is obviously true for transport or inertial with reject, but the simple ‘inertial’ is optional.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Guarded_Target_State	State1	Tri_State_Type	owned	True if the target of the assignment is guarded
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Signal_Force_Assignment_Statement

Format: Short

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.
Target	Field1	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Expression	Field5	Iir	owned	Expression for an various nodes.
Force_Mode	Flag1	Iir_Force_Mode	owned	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Guarded_Target_State	State1	Tri_State_Type	owned	True if the target of the assignment is guarded
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Has_Force_Mode	Flag2	Boolean	owned	—
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Signal_Release_Assignment_Statement

Format: Short

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.
Target	Field1	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Force_Mode	Flag1	Iir_Force_Mode	owned	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Guarded_Target_State	State1	Tri_State_Type	owned	True if the target of the assignment is guarded
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Has_Force_Mode	Flag2	Boolean	owned	—
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Variable_Assignment_Statement

Format: Short

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.
Target	Field1	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Expression	Field5	Iir	owned	Expression for an various nodes.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Conditional_Variable_Assignment_Statement

Format: Short

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.
Target	Field1	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Conditional_Expression_Chain	Field5	Iir	chain	Chain of conditional_expressions.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Selected_Variable_Assignment_Statement

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.
Target	Field1	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Expression	Field5	Iir	owned	Expression for an various nodes.
Selected_Expressions_Chain	Field7	Iir	chain	—
Matching_Flag	Flag5	Boolean	owned	Matching condition for case statement.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Null_Statement

Format: Short

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.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Assertion_Statement

Format: Short

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.
Assertion_Condition	Field1	Iir	owned	Condition of an assertion.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Severity_Expression	Field4	Iir	owned	Severity expression of an assertion or report statement.
Report_Expression	Field5	Iir	owned	Report expression of an assertion or report statement.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Report_Statement

Format: Short

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.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Severity_Expression	Field4	Iir	owned	Severity expression of an assertion or report statement.
Report_Expression	Field5	Iir	owned	Report expression of an assertion or report statement.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Next_Statement

LRM08 10.11 Next statement

next_statement ::=
   [ label : ] NEXT [ loop_label ] [ WHEN condition ] ;

LRM08 10.12 Exit statement

exit_statement ::=
   [ label : ] exit [ loop_label ] [ when condition ] ;

Format: Short

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.
Condition	Field1	Iir	maybe ref	Condition of a conditional_waveform, if_statement, elsif, while_loop_statement, next_statement or exit_statement.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Loop_Label	Field5	Iir	owned	Loop label for an exit_statement or next_statement.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Exit_Statement

LRM08 10.11 Next statement

next_statement ::=
   [ label : ] NEXT [ loop_label ] [ WHEN condition ] ;

LRM08 10.12 Exit statement

exit_statement ::=
   [ label : ] exit [ loop_label ] [ when condition ] ;

Format: Short

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.
Condition	Field1	Iir	maybe ref	Condition of a conditional_waveform, if_statement, elsif, while_loop_statement, next_statement or exit_statement.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Loop_Label	Field5	Iir	owned	Loop label for an exit_statement or next_statement.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Return_Statement

Format: Short

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.
Condition	Field1	Iir	maybe ref	Condition of a conditional_waveform, if_statement, elsif, while_loop_statement, next_statement or exit_statement.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Expression	Field5	Iir	owned	Expression for an various nodes.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.

Iir_Kind_Procedure_Call_Statement

Format: Short

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.
Procedure_Call	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
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.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Wait_Statement

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.
Timeout_Clause	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Condition_Clause	Field5	Iir	owned	—
Sensitivity_List	Field6	Iir_List	of maybe ref	The Is_Ref flag is set for extracted sensitivity lists.
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Break_Statement

Format: Short

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.
Condition	Field1	Iir	maybe ref	Condition of a conditional_waveform, if_statement, elsif, while_loop_statement, next_statement or exit_statement.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Break_Element	Field4	Iir	chain	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_For_Loop_Statement

Format: Short

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.
Parameter_Specification	Field1	Iir	owned	The parameters specification is represented by an Iterator_Declaration.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Sequential_Statement_Chain	Field4	Iir	chain	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Is_Within_Flag	Flag5	Boolean	owned	This flag is set is code being analyzed is textually within TARGET. This is used for selected by name rule.
Exit_Flag	Flag1	Boolean	owned	True if there is an exit statement targeting this loop statement.
Next_Flag	Flag2	Boolean	owned	True if there is a next statement targeting this loop statement.
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.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_While_Loop_Statement

Format: Short

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.
Condition	Field1	Iir	maybe ref	Condition of a conditional_waveform, if_statement, elsif, while_loop_statement, next_statement or exit_statement.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Sequential_Statement_Chain	Field4	Iir	chain	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
Exit_Flag	Flag1	Boolean	owned	True if there is an exit statement targeting this loop statement.
Next_Flag	Flag2	Boolean	owned	True if there is a next statement targeting this loop statement.
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.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_Case_Statement

Format: Short

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.
Expression	Field5	Iir	owned	Expression for an various nodes.
Matching_Flag	Flag5	Boolean	owned	Matching condition for case statement.
Case_Statement_Alternative_Chain	Field1	Iir	chain	Chain is composed of Iir_Kind_Choice_By_XXX.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
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.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.

Iir_Kind_If_Statement

LRM08 10.8

if_statement ::=
  [ /if/_label : ]
     IF condition THEN
        sequence_of_statements
     { ELSIF condition THEN
        sequence_of_statements }
     [ ELSE
        sequence_of_statements ]
     END IF [ /if/_label ] ;

Format: Short

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.
Label	Field3	Name_Id	owned	—
Condition	Field1	Iir	maybe ref	May be NULL only for an iir_kind_elsif node, and then means the else clause.
Sequential_Statement_Chain	Field4	Iir	chain	—
Else_Clause	Field5	Iir	owned	Must be an Iir_kind_elsif node, or NULL for no more elsif clauses.
Chain	Field2	Iir	chain next	—
Visible_Flag	Flag4	Boolean	owned	Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished.
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.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.
Is_Ref	Flag12	Boolean	owned	Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.

Iir_Kind_Suspend_State_Statement

Implicit statement added to mark a suspend point.

Format: Short

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.
Chain	Field2	Iir	chain next	Next statement
Suspend_State_Index	Field3	Int32	owned	State index for the statement.
Suspend_State_Decl	Field5	Iir	ref	Corresponding suspend state declaration.
Suspend_State_Chain	Field4	Iir	forward ref	Chain of suspend state statement.
Covered_Flag	Flag10	Boolean	owned	Set during elaboration when the statement is executed.