Other nodes (Psl_Default_Clock … If_Generate_Else_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_Psl_Default_Clock

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.
Psl_Boolean	`Field1`	`PSL_Node`	owned	—
Chain	`Field2`	`Iir`	chain next	—

Iir_Kind_Generate_Statement_Body

LRM08 11.8 Generate statements

generate_statement_body ::=
      [ block_declarative_part
   BEGIN ]
      { concurrent_statement }
   [ END [ alternative_label ] ; ]

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.
Declaration_Chain	`Field1`	`Iir`	chain	—
Generate_Block_Configuration	`Field2`	`Iir`	forward ref	The block configuration for this statement body.
Alternative_Label	`Field3`	`Name_Id`	owned	—
Attribute_Value_Chain	`Field5`	`Iir`	ref	Chain of attribute values for declared items. To be used with Get/Set_Value_Chain. There is no order, therefore, a new attribute value may be always prepended.
Concurrent_Statement_Chain	`Field4`	`Iir`	chain	—
Is_Within_Flag	`Flag5`	`Boolean`	owned	This flag is set is code being analyzed is textually within TARGET. This is used for selected by name rule.
Use_Flag	`Flag6`	`Boolean`	owned	For a declaration: true if the declaration is used somewhere.
End_Has_Identifier	`Flag9`	`Boolean`	owned	Layout flag: true if ‘end’ is followed by the identifier.
Has_Begin	`Flag10`	`Boolean`	owned	Layout flag: true if ‘begin’ is present.
Has_End	`Flag11`	`Boolean`	owned	Layout flag: true if ‘end’ is present (only for generate body).

Iir_Kind_If_Generate_Else_Clause

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.
Condition	`Field1`	`Iir`	maybe ref	Null_Iir for the else clause.
Generate_Statement_Body	`Field4`	`Iir`	owned	—
Generate_Else_Clause	`Field5`	`Iir`	owned	—
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.