Other nodes (Psl_Hierarchical_Name … Record_Element_Resolution)

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_Psl_Hierarchical_Name

Format: Short

Accessor	Field	Type	Access	Description
Entity_Name	Field2	Iir	owned	The entity name for an architecture or a configuration.
Architecture	Field3	Iir	owned	—

Iir_Kind_Block_Configuration

LRM08 3.4.2 Block configuration

block_configuration ::=
  FOR block_specification
    { use_clause }
    { configuration_item }
  END FOR;

configuration_item ::=
    block_configuration
  | component_configuration

block_specification ::=
    /architecture_/name
  | /block_statement_/label
  | /generate_statement_/label [ ( generate_specification ) ]

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.
Block_Specification	Field5	Iir	owned	Note: for default block configurations of iterative generate statement, the block specification is an indexed_name, whose index_list is others. The name designates either a block statement or a generate statement body.
Declaration_Chain	Field1	Iir	chain	Only use_clause are allowed here.
Chain	Field2	Iir	chain next	—
Configuration_Item_Chain	Field3	Iir	chain	—
Prev_Block_Configuration	Field4	Iir	ref	Single linked list of block configuration that apply to the same for scheme generate block.

Iir_Kind_Block_Header

Format: Medium

Accessor	Field	Type	Access	Description
Generic_Chain	Field6	Iir	chain	—
Port_Chain	Field7	Iir	chain	—
Generic_Map_Aspect_Chain	Field8	Iir	chain	Generic map aspect list.
Port_Map_Aspect_Chain	Field9	Iir	chain	Port map aspect list.

Iir_Kind_Component_Configuration

LRM08 7.3 Configuration specification

configuration_specification ::=
    simple_configuration_specification
  | compound_configuration_specification

simple_configuration_specification ::=
   FOR component_specification binding_indication ;
   [ END FOR ; ]

compound_configuration_specification ::=
   FOR component_specification binding_indication ;
      verification_unit_binding_indication ;
      { verification_unit_binding_indication ; }
   END FOR ;

component_specification ::=
   instantiation_list : component_name

instantiation_list ::=
    instantiation_label { , instantiation_label }
  | OTHERS
  | ALL

The location points to ‘for’.

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	The declaration containing this type declaration.
Component_Name	Field5	Iir	owned	Component name for a component_configuration or a configuration_specification.
Instantiation_List	Field1	Iir_Flist	owned	A list, list_others or list_all.
Block_Configuration	Field4	Iir	owned	—
Binding_Indication	Field3	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Has_End	Flag11	Boolean	owned	Only for Iir_Kind_Configuration_Specification:
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_Binding_Indication

Format: Medium

Accessor	Field	Type	Access	Description
Default_Entity_Aspect	Field1	Iir	owned	—
Entity_Aspect	Field3	Iir	owned	The entity aspect. It is a iir_kind_entity_aspect_entity, iir_kind_entity_aspect_open or iir_kind_entity_aspect_configuration. This may be transformed into a declaration by semantic.
Generic_Map_Aspect_Chain	Field8	Iir	chain	Generic map aspect list.
Port_Map_Aspect_Chain	Field9	Iir	chain	Port map aspect list.

Iir_Kind_Entity_Class

Format: Short

Accessor	Field	Type	Access	Description
Chain	Field2	Iir	chain next	—
Entity_Class	Field3	Token_Type	owned	—

Iir_Kind_Attribute_Value

An attribute value is the element of the chain of attribute of an entity, marking the entity as decorated by the attribute. This node is built only by sem. In fact, the node is member of the chain of attribute of an entity, and of the chain of a parent node containing all the attributes value for a scope. This makes elaboration (and more precisely, expression evaluation) easier.

Format: Short

Accessor	Field	Type	Access	Description
Spec_Chain	Field2	Iir	owned	Chain of attribute_value for the attribute specification
Type	Field1	Iir	ref	—
Value_Chain	Field0	Iir	ref	Chain of all attribute_value for the node containing declarations
Designated_Entity	Field3	Iir	forward ref	The entity (as a declaration) on which the value applies.
Attribute_Specification	Field4	Iir	ref	—
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_Signature

LRM08 4.5.3 Signatures

signature ::= '[' [ type_mark { , type_mark } ] [ RETURN type_mark ] ']'

Format: Medium

Accessor	Field	Type	Access	Description
Signature_Prefix	Field1	Iir	owned	Prefix of a name signature
Type_Marks_List	Field2	Iir_Flist	owned	List of type_mark for an Iir_Kind_Signature
Return_Type_Mark	Field8	Iir	owned	—
Named_Entity	Field4	Iir	maybe forward ref	The named entity designated by a name.
Is_Forward_Ref	Flag1	Boolean	owned	—

Iir_Kind_Aggregate_Info

Format: Short

Accessor	Field	Type	Access	Description
Sub_Aggregate_Info	Field1	Iir	owned	Get info for the next dimension. NULL_IIR terminated.
Aggr_Dynamic_Flag	Flag3	Boolean	owned	For array aggregate only: If TRUE, the choices are not locally static. This flag is only valid when the array aggregate is constrained, ie has no ‘others’ choice.
Aggr_Named_Flag	Flag4	Boolean	owned	If TRUE, the aggregate is named, else it is positional.
Aggr_Low_Limit	Field2	Iir	ref	The following three fields are used to check bounds of an array aggregate. For named aggregate, low and high bounds are computed, for positional aggregate, the (minimum) number of elements is computed. Note there may be elements beyond the bounds, due to other choice. These fields may apply for the aggregate or for the aggregate and its brothers if the node is for a sub-aggregate. The low and high index choice, if any.
Aggr_High_Limit	Field3	Iir	ref	Highest index choice, if any.
Aggr_Min_Length	Field4	Iir_Int32	owned	The minimum number of elements, if any. This is a minimax.
Aggr_Others_Flag	Flag2	Boolean	owned	True if the choice list has an ‘others’ choice.

Iir_Kind_Procedure_Call

Format: Short

Accessor	Field	Type	Access	Description
Prefix	Field0	Iir	owned	Prefix of a name.
Parameter_Association_Chain	Field2	Iir	chain	Parameter associations for procedure and function call.
Implementation	Field3	Iir	ref	Procedure declaration corresponding to the procedure to call.
Method_Object	Field4	Iir	ref	Object of a method call. NULL_IIR if the subprogram is not a method.

Iir_Kind_Record_Element_Constraint

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	Record subtype definition which defines this constraint.
Chain	Field2	Iir	chain next	For Owned_Elements_Chain, so that the node has an owner.
Identifier	Field3	Name_Id	owned	Get/Set the identifier of a declaration. Can also be used instead of get/set_label.
Element_Position	Field4	Iir_Index32	owned	Return the position of the element in the record, starting from 0 for the first record element, increasing by one for each successive element.
Subtype_Indication	Field5	Iir	maybe ref	The subtype indication of a declaration. If several declarations share the same subtype_indication like in: variable a, b : integer := 5; then only the first declaration is the owner of the subtype_indication.
Type	Field1	Iir	ref	—
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.

Iir_Kind_Array_Element_Resolution

LRM08 6.3 Subtype declarations

array_element_resolution ::= resolution_indication

Format: Short

Accessor	Field	Type	Access	Description
Resolution_Indication	Field5	Iir	owned	The indication as it appears in the sources.
Element_Subtype_Indication	Field2	Iir	owned	The subtype definition of the element. Owner of it.

Iir_Kind_Record_Resolution

LRM08 6.3 Subtype declarations

record_resolution ::=
   record_element_resolution { , record_element_resolution }

Format: Short

Accessor	Field	Type	Access	Description
Record_Element_Resolution_Chain	Field1	Iir	chain	—

Iir_Kind_Record_Element_Resolution

LRM08 6.3 Subtype declarations

record_element_resolution ::=
   /record_element/_simple_name resolution_indication

Format: Short

Accessor	Field	Type	Access	Description
Chain	Field2	Iir	chain next	—
Identifier	Field3	Name_Id	owned	Get/Set the identifier of a declaration. Can also be used instead of get/set_label.
Resolution_Indication	Field5	Iir	owned	Either a resolution function name, an array_element_resolution or a record_resolution