Other nodes (Non_Object_Alias_Declaration … Psl_Endpoint_Declaration)

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_Non_Object_Alias_Declaration

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.
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.
Name	Field4	Iir	owned	—
Alias_Signature	Field5	Iir	owned	—
Implicit_Alias_Flag	Flag1	Boolean	owned	Set when the alias was implicitly created (by Sem) because of an explicit alias of a type.
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.
Use_Flag	Flag6	Boolean	owned	For a declaration: true if the declaration is used somewhere.

Iir_Kind_Mode_View_Declaration

LRM19 6.5.2 Interface object declarations

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.
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.
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.
Elements_Definition_Chain	Field1	Iir	chain	Chain of elements in source order.
Elements_Definition_List	Field4	Iir_Flist	of ref	Flist of elements, indexed by element position.
End_Has_Identifier	Flag9	Boolean	owned	Layout flag: true if ‘end’ is followed by the identifier.
End_Has_Reserved_Id	Flag8	Boolean	owned	Layout flag: true if ‘end’ is followed by the reserved identifier.
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.
Use_Flag	Flag6	Boolean	owned	For a declaration: true if the declaration is used somewhere.
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_Psl_Declaration

A psl sequence or property declaration.

Format: Medium

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.
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.
Psl_Declaration	Field5	PSL_Node	owned	—
PSL_Clock	Field6	PSL_Node	owned	Valid only for property declaration.
PSL_NFA	Field8	PSL_NFA	owned	Valid only for property declaration without parameters.
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.
Use_Flag	Flag6	Boolean	owned	For a declaration: true if the declaration is used somewhere.

Iir_Kind_Psl_Boolean_Parameter

A psl boolean parameter.

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.
Psl_Declaration	Field5	PSL_Node	owned	—
Type	Field1	Iir	ref	—
Chain	Field2	Iir	chain next	—
Expr_Staticness	State1	Iir_Staticness	owned	Expression staticness, defined by rules of LRM 7.4
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.
Use_Flag	Flag6	Boolean	owned	For a declaration: true if the declaration is used somewhere.

Iir_Kind_Psl_Endpoint_Declaration

Format: Medium

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.
Type	Field1	Iir	ref	Always boolean.
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.
Psl_Declaration	Field5	PSL_Node	owned	—
PSL_Clock	Field6	PSL_Node	owned	—
PSL_NFA	Field8	PSL_NFA	owned	—
PSL_Nbr_States	Field9	Int32	owned	Number of states in the NFA.
PSL_Clock_Sensitivity	Field10	Iir_List	owned	—
PSL_EOS_Flag	Flag1	Boolean	owned	True if at least one of the NFA edge has the EOS flag.
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.
Use_Flag	Flag6	Boolean	owned	For a declaration: true if the declaration is used somewhere.
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