Allocator

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

LRM08 9.3.7 Allocators

allocator ::=
    NEW subtype_indication
  | NEW qualified_expression

Format: Short

Accessor	Field	Type	Access	Description
Type	`Field1`	`Iir`	ref	—
Expression	`Field5`	`Iir`	owned	Contains the expression for a by expression allocator.
Allocator_Designated_Type	`Field2`	`Iir`	ref	To ease analysis: set to the designated type (either the type of the expression or the subtype)
Expr_Staticness	`State1`	`Iir_Staticness`	owned	Expression staticness, defined by rules of LRM 7.4
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_Allocator_By_Subtype

LRM08 9.3.7 Allocators

allocator ::=
    NEW subtype_indication
  | NEW qualified_expression

Format: Short

Accessor	Field	Type	Access	Description
Type	`Field1`	`Iir`	ref	—
Subtype_Indication	`Field5`	`Iir`	maybe ref	Contains the subtype indication for a by subtype allocator.
Allocator_Subtype	`Field3`	`Iir`	ref	Same as subtype indication but owned.
Allocator_Designated_Type	`Field2`	`Iir`	ref	To ease analysis: set to the designated type (either the type of the expression or the subtype)
Expr_Staticness	`State1`	`Iir_Staticness`	owned	Expression staticness, defined by rules of LRM 7.4
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.