Concurrent Statement

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_Sensitized_Process_Statement

Location is on the label, or ‘postponed’ or ‘process’.

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	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
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.
Process_Origin	Field8	Iir	owned	The concurrent statement at the origin of that process. This is Null_Iir for a user process.
Sequential_Statement_Chain	Field4	Iir	chain	—
Sensitivity_List	Field6	Iir_List	of maybe ref	Sensitivity list. Must be after the statements, because signal aliases may be referenced (in case of implicit process).
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.
Wait_State	State1	Tri_State_Type	owned	Get/Set the wait state of the current subprogram or process. TRUE if it contains a wait statement, either directly or indirectly. FALSE if it doesn’t contain a wait statement. UNKNOWN if the wait status is not yet known.
Seen_Flag	Flag1	Boolean	owned	Get/Set the seen flag. Used when the graph of callees is walked, to avoid infinite loops, since the graph is not a DAG (there may be cycles).
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.
Has_Is	Flag7	Boolean	owned	Layout flag: true if ‘is’ is present.
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.
End_Has_Postponed	Flag10	Boolean	owned	Layout flag: true if ‘end’ is followed by ‘postponed’.
Stop_Flag	Flag2	Boolean	owned	Set when std.env.stop/finish is called. Prevents the infinite loop warning.
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.
Passive_Flag	Flag14	Boolean	owned	Get/Set the passive flag of a process. TRUE if the process must be passive. FALSE if the process may be not passive. For a procedure declaration, set if it is passive.

Iir_Kind_Process_Statement

Location is on the label, or ‘postponed’ or ‘process’.

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	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
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.
Process_Origin	Field8	Iir	owned	The concurrent statement at the origin of that process. This is Null_Iir for a user process.
Sequential_Statement_Chain	Field4	Iir	chain	—
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.
Wait_State	State1	Tri_State_Type	owned	Get/Set the wait state of the current subprogram or process. TRUE if it contains a wait statement, either directly or indirectly. FALSE if it doesn’t contain a wait statement. UNKNOWN if the wait status is not yet known.
Seen_Flag	Flag1	Boolean	owned	Get/Set the seen flag. Used when the graph of callees is walked, to avoid infinite loops, since the graph is not a DAG (there may be cycles).
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.
Has_Is	Flag7	Boolean	owned	Layout flag: true if ‘is’ is present.
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.
End_Has_Postponed	Flag10	Boolean	owned	Layout flag: true if ‘end’ is followed by ‘postponed’.
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.
Stop_Flag	Flag2	Boolean	owned	Set when std.env.stop/finish is called. Prevents the infinite loop warning.
Passive_Flag	Flag14	Boolean	owned	Get/Set the passive flag of a process. TRUE if the process must be passive. FALSE if the process may be not passive. For a procedure declaration, set if it is passive.

Iir_Kind_Concurrent_Simple_Signal_Assignment

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	—
Waveform_Chain	Field5	Iir	chain	—
Guard	Field8	Iir	ref	If the assignment is guarded, then get_guard must return the declaration of the signal guard, otherwise, null_iir. If the guard signal decl is not known, as a kludge and only to mark this assignment guarded, the guard can be this assignment.
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.
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.

Iir_Kind_Concurrent_Conditional_Signal_Assignment

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	—
Conditional_Waveform_Chain	Field5	Iir	chain	—
Guard	Field8	Iir	ref	If the assignment is guarded, then get_guard must return the declaration of the signal guard, otherwise, null_iir. If the guard signal decl is not known, as a kludge and only to mark this assignment guarded, the guard can be this assignment.
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.
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.

Iir_Kind_Concurrent_Selected_Signal_Assignment

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	—
Guard	Field8	Iir	ref	If the assignment is guarded, then get_guard must return the declaration of the signal guard, otherwise, null_iir. If the guard signal decl is not known, as a kludge and only to mark this assignment guarded, the guard can be this assignment.
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.
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.
Matching_Flag	Flag5	Boolean	owned	Matching condition for case statement.
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.

Iir_Kind_Concurrent_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.
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.

Iir_Kind_Concurrent_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	—
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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_Concurrent_Break_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.
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	—
Sensitivity_List	Field6	Iir_List	of maybe ref	The Is_Ref flag is set for extracted sensitivity lists.
Break_Element	Field4	Iir	chain	—
Postponed_Flag	Flag3	Boolean	owned	Never set.
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_Psl_Assert_Directive

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.
Psl_Property	Field1	PSL_Node	owned	—
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.
PSL_Clock	Field6	PSL_Node	owned	The following fields are set by canon.
PSL_Abort	Field7	PSL_Node	owned	—
PSL_NFA	Field8	PSL_NFA	owned	—
PSL_Nbr_States	Field9	Int32	owned	Number of states in the NFA.
PSL_Clock_Sensitivity	Field10	Iir_List	owned	—
PSL_EOS_Flag	Flag1	Boolean	owned	True if at least one of the NFA edge has the EOS flag.
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.

Iir_Kind_Psl_Assume_Directive

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.
Psl_Property	Field1	PSL_Node	owned	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
PSL_Clock	Field6	PSL_Node	owned	The following fields are set by canon.
PSL_Abort	Field7	PSL_Node	owned	—
PSL_NFA	Field8	PSL_NFA	owned	—
PSL_Nbr_States	Field9	Int32	owned	Number of states in the NFA.
PSL_Clock_Sensitivity	Field10	Iir_List	owned	—
PSL_EOS_Flag	Flag1	Boolean	owned	True if at least one of the NFA edge has the EOS flag.
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.

Iir_Kind_Psl_Cover_Directive

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.
Psl_Sequence	Field1	PSL_Node	owned	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Report_Expression	Field5	Iir	owned	Report expression of an assertion or report statement.
PSL_Clock	Field6	PSL_Node	owned	The following fields are set by canon.
PSL_Abort	Field7	PSL_Node	owned	—
PSL_NFA	Field8	PSL_NFA	owned	—
PSL_Nbr_States	Field9	Int32	owned	Number of states in the NFA.
PSL_Clock_Sensitivity	Field10	Iir_List	owned	—
PSL_EOS_Flag	Flag1	Boolean	owned	True if at least one of the NFA edge has the EOS flag.
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.

Iir_Kind_Psl_Restrict_Directive

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.
Psl_Sequence	Field1	PSL_Node	owned	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
PSL_Clock	Field6	PSL_Node	owned	The following fields are set by canon.
PSL_Abort	Field7	PSL_Node	owned	—
PSL_NFA	Field8	PSL_NFA	owned	—
PSL_Nbr_States	Field9	Int32	owned	Number of states in the NFA.
PSL_Clock_Sensitivity	Field10	Iir_List	owned	—
PSL_EOS_Flag	Flag1	Boolean	owned	True if at least one of the NFA edge has the EOS flag.
Postponed_Flag	Flag3	Boolean	owned	If set, the concurrent statement is postponed.
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.

Iir_Kind_Block_Statement

LRM08 11.2 Block statement

block_statement ::=
  block_label :
    BLOCK [ ( guard_condition ) ] [ IS ]
      block_header
      block_declarative_part
    BEGIN
      block_statement_part
    END BLOCK [ block_label ] ;

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.
Guard_Decl	Field8	Iir	owned	get/set_guard_decl is used for semantic analysis, in order to add a signal declaration.
Block_Header	Field7	Iir	owned	—
Declaration_Chain	Field1	Iir	chain	—
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
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.
Concurrent_Statement_Chain	Field4	Iir	chain	—
Block_Block_Configuration	Field6	Iir	forward ref	Block_Configuration that applies to this block 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_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.
Has_Is	Flag7	Boolean	owned	Layout flag: true if ‘is’ is present.
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.

Iir_Kind_If_Generate_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	Null_Iir for the else clause.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Generate_Statement_Body	Field4	Iir	owned	—
Generate_Else_Clause	Field5	Iir	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.
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.
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.
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_Case_Generate_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.
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	—
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_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.
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.

Iir_Kind_For_Generate_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	—
Generate_Statement_Body	Field4	Iir	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.
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.
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.

Iir_Kind_Component_Instantiation_Statement

LRM08 11.7 Component instantiation statements

component_instantiation_statement ::=
   instantiation_label :
      instantiated_unit
         [ generic_map_aspect ]
         [ port_map_aspect ] ;

instantiated_unit ::=
     [ COMPONENT ] component_name
   | ENTITY entity_name [ ( architecture_identifier ) ]
   | CONFIGURATION configuration_name

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.
Instantiated_Unit	Field1	Iir	owned	Unit instantiated. This is a name, an entity_aspect_entity or an entity_aspect_configuration.
Chain	Field2	Iir	chain next	—
Label	Field3	Name_Id	owned	—
Instantiated_Header	Field4	Iir	owned	If the instantiated unit contains generic types or packages, this is the instantiated unit.
Default_Binding_Indication	Field5	Iir	owned	Set/Get the default binding indication of a configuration specification or a component configuration.
Generic_Map_Aspect_Chain	Field8	Iir	chain	Generic map aspect list.
Port_Map_Aspect_Chain	Field9	Iir	chain	Port map aspect list.
Configuration_Specification	Field7	Iir	ref	Configuration: In case of a configuration specification, the node is put into default configuration. In the absence of a specification, the default entity aspect, if any; if none, this field is null_iir.
Component_Configuration	Field6	Iir	forward ref	During Sem and elaboration, the configuration field can be filled by a component configuration declaration. Configuration for this component. FIXME: must be get/set_binding_indication.
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.
Has_Component	Flag5	Boolean	owned	Layout flag: true if ‘component’ reserved identifier is present.