Other nodes (Function_Call … Type_Conversion)

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_Function_Call

Format: Short

Accessor	Field	Type	Access	Description
Prefix	Field0	Iir	owned	Prefix of a name.
Type	Field1	Iir	ref	—
Parameter_Association_Chain	Field2	Iir	chain	Parameter associations for procedure and function call.
Implementation	Field3	Iir	ref	Function declaration corresponding to the function to call.
Method_Object	Field4	Iir	ref	Object of a method call. NULL_IIR if the subprogram is not a method.
Base_Name	Field5	Iir	ref	The base name of a name is the node at the origin of the name. The base name is a declaration (signal, object, constant or interface), a selected_by_all name, an implicit_dereference name.
Expr_Staticness	State1	Iir_Staticness	owned	Expression staticness, defined by rules of LRM 7.4
Name_Staticness	State2	Iir_Staticness	owned	Staticness of a name, according to rules of LRM 6.1

Iir_Kind_Aggregate

Format: Short

Accessor	Field	Type	Access	Description
Association_Choices_Chain	Field4	Iir	chain	Chain of choices.
Literal_Subtype	Field3	Iir	owned	Same as Type, but marked as property of that node.
Literal_Origin	Field2	Iir	owned	Exist for symmetry with other literals, but must never be set. The content of the aggregate is modified during evaluation, not the aggregate itself.
Aggregate_Info	Field5	Iir	owned	Get/Set info for the aggregate. There is one aggregate_info for for each dimension.
Type	Field1	Iir	ref	—
Expr_Staticness	State1	Iir_Staticness	owned	Expression staticness, defined by rules of LRM 7.4
Aggregate_Expand_Flag	Flag1	Boolean	owned	If true, the aggregate can be statically built. This is an optimization and the conditions are defined in sem_expr.
Determined_Aggregate_Flag	Flag2	Boolean	owned	True if the bounds of the aggregated are determined by the context.

Iir_Kind_Parenthesis_Expression

Format: Short

Accessor	Field	Type	Access	Description
Expression	Field5	Iir	owned	Expression for an various nodes.
Type	Field1	Iir	ref	—
Expr_Staticness	State1	Iir_Staticness	owned	Expression staticness, defined by rules of LRM 7.4

Iir_Kind_Qualified_Expression

LRM08 9.3.5 Qualified expressions

qualified_expression ::=
     type_mark ' ( expression )
   | type_mark ' aggregate

Format: Short

Accessor	Field	Type	Access	Description
Type_Mark	Field4	Iir	owned	The type_mark that appeared in qualified expressions or type conversions.
Expression	Field5	Iir	owned	Expression for an various nodes.
Type	Field1	Iir	ref	—
Expr_Staticness	State1	Iir_Staticness	owned	Expression staticness, defined by rules of LRM 7.4

Iir_Kind_Type_Conversion

LRM08 9.3.6 Type conversions

type_conversion ::= type_mark ( expression )

Format: Short

Accessor	Field	Type	Access	Description
Type	Field1	Iir	ref	—
Type_Conversion_Subtype	Field3	Iir	owned	If the type mark denotes an unconstrained array and the expression is locally static, the result should be locally static according to vhdl93 (which is not clear on that point). As a subtype is created, it is referenced by this field.
Type_Mark	Field4	Iir	owned	The type_mark that appeared in qualified expressions or type conversions.
Expression	Field5	Iir	owned	Expression for an various nodes.
Expr_Staticness	State1	Iir_Staticness	owned	Expression staticness, defined by rules of LRM 7.4