Association Element

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_Association_Element_By_Expression

These are used for association element of an association list with an interface (ie subprogram call, port map, generic map).

Format: Short

Accessor	Field	Type	Access	Description
Formal	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Actual	Field3	Iir	owned	—
Actual_Conversion	Field4	Iir	owned	A function call or a type conversion for the actual. FIXME: should be a name ?
Formal_Conversion	Field5	Iir	owned	A function call or a type conversion for the formal.
Whole_Association_Flag	Flag1	Boolean	owned	Get/Set the whole association flag (true if the formal is associated in whole and not individually, see LRM93 4.3.2.2)
Collapse_Signal_Flag	Flag2	Boolean	owned	This flag is set when the formal signal can be the actual signal. In this case, the formal signal is not created, and the actual is shared. This is the signal collapsing optimisation.
In_Formal_Flag	Flag4	Boolean	owned	True if the name appears in a formal_part. In that case, some checks must be disabled (eg: the expression of a type conversion can be a write-only interface).
Inertial_Flag	Flag5	Boolean	owned	True for inertial associations (even without the inertial word).

Iir_Kind_Association_Element_By_Name

These are used for association element of an association list with an interface (ie subprogram call, port map, generic map).

Format: Short

Accessor	Field	Type	Access	Description
Formal	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Actual	Field3	Iir	owned	—
Actual_Conversion	Field4	Iir	owned	A function call or a type conversion for the actual. FIXME: should be a name ?
Formal_Conversion	Field5	Iir	owned	A function call or a type conversion for the formal.
Whole_Association_Flag	Flag1	Boolean	owned	Get/Set the whole association flag (true if the formal is associated in whole and not individually, see LRM93 4.3.2.2)
Collapse_Signal_Flag	Flag2	Boolean	owned	This flag is set when the formal signal can be the actual signal. In this case, the formal signal is not created, and the actual is shared. This is the signal collapsing optimisation.
In_Formal_Flag	Flag4	Boolean	owned	True if the name appears in a formal_part. In that case, some checks must be disabled (eg: the expression of a type conversion can be a write-only interface).

Iir_Kind_Association_Element_By_Individual

These are used for association element of an association list with an interface (ie subprogram call, port map, generic map).

Format: Short

Accessor	Field	Type	Access	Description
Formal	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Individual_Association_Chain	Field4	Iir	chain	List of choices for association_element_by_individual.
Actual_Type_Definition	Field3	Iir	owned	Owner of Actual_Type if needed.
Actual_Type	Field5	Iir	ref	Type of the actual for an association by individual. Unless the formal is an unconstrained array type, this is the same as the formal type. Subtype indication for a type association.
Whole_Association_Flag	Flag1	Boolean	owned	Get/Set the whole association flag (true if the formal is associated in whole and not individually, see LRM93 4.3.2.2)
Collapse_Signal_Flag	Flag2	Boolean	owned	This flag is set when the formal signal can be the actual signal. In this case, the formal signal is not created, and the actual is shared. This is the signal collapsing optimisation.
In_Formal_Flag	Flag4	Boolean	owned	True if the name appears in a formal_part. In that case, some checks must be disabled (eg: the expression of a type conversion can be a write-only interface).
Choice_Staticness	State1	Iir_Staticness	owned	Must be Locally unless there is an error on one choice.

Iir_Kind_Association_Element_Open

These are used for association element of an association list with an interface (ie subprogram call, port map, generic map).

Format: Short

Accessor	Field	Type	Access	Description
Formal	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Open_Actual	Field3	Iir	ref	For ‘<>’ default interface subprogram.
Whole_Association_Flag	Flag1	Boolean	owned	Get/Set the whole association flag (true if the formal is associated in whole and not individually, see LRM93 4.3.2.2)
Collapse_Signal_Flag	Flag2	Boolean	owned	This flag is set when the formal signal can be the actual signal. In this case, the formal signal is not created, and the actual is shared. This is the signal collapsing optimisation.
Artificial_Flag	Flag3	Boolean	owned	Set when the node was artificially created, eg by canon. Currently used only by association_element_open.
In_Formal_Flag	Flag4	Boolean	owned	True if the name appears in a formal_part. In that case, some checks must be disabled (eg: the expression of a type conversion can be a write-only interface).

Iir_Kind_Association_Element_Package

These are used for association element of an association list with an interface (ie subprogram call, port map, generic map).

Format: Short

Accessor	Field	Type	Access	Description
Formal	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Actual	Field3	Iir	owned	—
Whole_Association_Flag	Flag1	Boolean	owned	Get/Set the whole association flag (true if the formal is associated in whole and not individually, see LRM93 4.3.2.2)
Collapse_Signal_Flag	Flag2	Boolean	owned	This flag is set when the formal signal can be the actual signal. In this case, the formal signal is not created, and the actual is shared. This is the signal collapsing optimisation.
In_Formal_Flag	Flag4	Boolean	owned	True if the name appears in a formal_part. In that case, some checks must be disabled (eg: the expression of a type conversion can be a write-only interface).

Iir_Kind_Association_Element_Type

These are used for association element of an association list with an interface (ie subprogram call, port map, generic map).

Format: Short

Accessor	Field	Type	Access	Description
Formal	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Actual	Field3	Iir	owned	—
Subprogram_Association_Chain	Field4	Iir	chain	Chain of implicit subprogram associations for a type association.
Actual_Type	Field5	Iir	ref	Type of the actual for an association by individual. Unless the formal is an unconstrained array type, this is the same as the formal type. Subtype indication for a type association.
Whole_Association_Flag	Flag1	Boolean	owned	Get/Set the whole association flag (true if the formal is associated in whole and not individually, see LRM93 4.3.2.2)
Collapse_Signal_Flag	Flag2	Boolean	owned	This flag is set when the formal signal can be the actual signal. In this case, the formal signal is not created, and the actual is shared. This is the signal collapsing optimisation.
In_Formal_Flag	Flag4	Boolean	owned	True if the name appears in a formal_part. In that case, some checks must be disabled (eg: the expression of a type conversion can be a write-only interface).

Iir_Kind_Association_Element_Subprogram

These are used for association element of an association list with an interface (ie subprogram call, port map, generic map).

Format: Short

Accessor	Field	Type	Access	Description
Formal	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Actual	Field3	Iir	owned	—
Whole_Association_Flag	Flag1	Boolean	owned	Get/Set the whole association flag (true if the formal is associated in whole and not individually, see LRM93 4.3.2.2)
Collapse_Signal_Flag	Flag2	Boolean	owned	This flag is set when the formal signal can be the actual signal. In this case, the formal signal is not created, and the actual is shared. This is the signal collapsing optimisation.
In_Formal_Flag	Flag4	Boolean	owned	True if the name appears in a formal_part. In that case, some checks must be disabled (eg: the expression of a type conversion can be a write-only interface).

Iir_Kind_Association_Element_Terminal

These are used for association element of an association list with an interface (ie subprogram call, port map, generic map).

Format: Short

Accessor	Field	Type	Access	Description
Formal	Field1	Iir	owned	—
Chain	Field2	Iir	chain next	—
Actual	Field3	Iir	owned	—
Whole_Association_Flag	Flag1	Boolean	owned	Get/Set the whole association flag (true if the formal is associated in whole and not individually, see LRM93 4.3.2.2)
Collapse_Signal_Flag	Flag2	Boolean	owned	This flag is set when the formal signal can be the actual signal. In this case, the formal signal is not created, and the actual is shared. This is the signal collapsing optimisation.
In_Formal_Flag	Flag4	Boolean	owned	True if the name appears in a formal_part. In that case, some checks must be disabled (eg: the expression of a type conversion can be a write-only interface).