Clause

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_Library_Clause

LRM08 13.2 Design libraries

library_clause ::= LIBRARY logical_name_list ;

logical_name_list ::= logical_name { , logical_name }

logical_name ::= identifier

Note: a library_clause node is created for every logical_name. As a consequence, the scope of the library starts after the logical_name and not after the library_clause. However, since an identifier can only be used as a logical_name, and since the second occurrence has no effect, this is correct.

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.
Identifier	`Field3`	`Name_Id`	owned	Get/Set the identifier of a declaration. Can also be used instead of get/set_label.
Library_Declaration	`Field1`	`Iir`	forward ref	Library declaration of a library clause. This is Forward_Ref as the dependency of the unit on the library is not tracked.
Chain	`Field2`	`Iir`	chain next	—
Has_Identifier_List	`Flag3`	`Boolean`	owned	Layout flag for object declaration. If True, the identifier of this declaration is followed by an identifier (and separated by a comma). This flag is set on all but the last declarations. Eg: on ‘signal A, B, C : Bit’, the flag is set on A and B (but not C).

Iir_Kind_Use_Clause

LRM08 12.4 Use clauses

use_clause ::=
   USE selected_name { , selected_name } ;

Location is on ‘USE’.

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.
Selected_Name	`Field1`	`Iir`	owned	Selected name of an use_clause or context_reference
Chain	`Field2`	`Iir`	chain next	—
Use_Clause_Chain	`Field3`	`Iir`	owned	Selected names of an use_clause are chained.

Iir_Kind_Context_Reference

LRM08 13.4 Context clauses

context_reference ::=
   CONTEXT selected_name { , selected_name }

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.
Selected_Name	`Field1`	`Iir`	owned	Selected name of an use_clause or context_reference
Chain	`Field2`	`Iir`	chain next	—
Context_Reference_Chain	`Field3`	`Iir`	owned	Selected names of a context_reference are chained.