Object 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_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	—
Subtype_Indication	Field5	Iir	maybe ref	The subtype indication may not be present.
Type	Field1	Iir	ref	The type can be deduced from the subtype indication, but this field is present for uniformity (and speed).
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
Seen_Flag	Flag1	Boolean	owned	Get/Set the seen flag. Used when the graph of callees is walked, to avoid infinite loops, since the graph is not a DAG (there may be cycles).
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.
After_Drivers_Flag	Flag5	Boolean	owned	This flag is set by trans_analyze if there is a projected waveform assignment in the process.
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_Free_Quantity_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	—
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.
Default_Value	Field4	Iir	maybe ref	Get the default value of an object declaration. Null_iir if no default value. Note that this node can be shared between declarations if they are separated by comma, such as in: variable a, b : integer := 5; procedure p (a, b : natural := 7);
Identifier	Field3	Name_Id	owned	Get/Set the identifier of a declaration. Can also be used instead of get/set_label.
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.
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
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).
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_Spectrum_Quantity_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.
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.
Magnitude_Expression	Field6	Iir	owned	—
Phase_Expression	Field7	Iir	owned	—
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.
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
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).
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_Noise_Quantity_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.
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.
Power_Expression	Field4	Iir	owned	—
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.
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
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).
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_Across_Quantity_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	—
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.
Default_Value	Field4	Iir	maybe ref	Get the default value of an object declaration. Null_iir if no default value. Note that this node can be shared between declarations if they are separated by comma, such as in: variable a, b : integer := 5; procedure p (a, b : natural := 7);
Tolerance	Field7	Iir	owned	—
Plus_Terminal_Name	Field8	Iir	owned	Set only for the first declaration.
Minus_Terminal_Name	Field9	Iir	owned	Set only for the first declaration.
Plus_Terminal	Field10	Iir	ref	Same as Plus_Terminal_Name when defined.
Minus_Terminal	Field11	Iir	ref	Same as Minus_Terminal_Name when defined.
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).
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
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_Through_Quantity_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	—
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.
Default_Value	Field4	Iir	maybe ref	Get the default value of an object declaration. Null_iir if no default value. Note that this node can be shared between declarations if they are separated by comma, such as in: variable a, b : integer := 5; procedure p (a, b : natural := 7);
Tolerance	Field7	Iir	owned	—
Plus_Terminal_Name	Field8	Iir	owned	Set only for the first declaration.
Minus_Terminal_Name	Field9	Iir	owned	Set only for the first declaration.
Plus_Terminal	Field10	Iir	ref	Same as Plus_Terminal_Name when defined.
Minus_Terminal	Field11	Iir	ref	Same as Minus_Terminal_Name when defined.
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).
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
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_File_Declaration

LRM08 6.4.2.5 File declarations

file_declaration ::=
   FILE identifier_list : subtype_indication [ file_open_information ] ;

file_open_information ::=
   [ OPEN file_open_kind_expression ] IS file_logical_name

file_logical_name ::= string_expression

LRM87

file_declaration ::=
   FILE identifier : subtype_indication IS [ mode ] file_logical_name ;

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	—
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.
File_Logical_Name	Field6	Iir	owned	—
File_Open_Kind	Field7	Iir	owned	This is not used in vhdl 87.
Mode	Flag13	Iir_Mode	owned	This is used only in vhdl 87.
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).
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.
Has_Mode	Flag10	Boolean	owned	Layout flag for object declaration. If True, the mode is present.
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
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_Guard_Signal_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.
Type	Field1	Iir	ref	—
Guard_Expression	Field2	Iir	owned	Expression defining the value of the implicit guard signal.
Identifier	Field3	Name_Id	owned	Get/Set the identifier of a declaration. Can also be used instead of get/set_label.
Guard_Sensitivity_List	Field4	Iir_List	of ref	Sensitivity list for the implicit guard signal.
Block_Statement	Field5	Iir	ref	Corresponding block statement for an implicit guard signal.
Has_Active_Flag	Flag2	Boolean	owned	This flag is set on a signal when its activity is read by the user. Some signals handling can be optimized when this flag is set.
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.
Guarded_Signal_Flag	Flag8	Boolean	owned	True if the signal is guarded (has a signal kind).
Signal_Kind	Flag9	Iir_Signal_Kind	owned	—
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
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_Signal_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.
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.
Default_Value	Field4	Iir	maybe ref	Get the default value of an object declaration. Null_iir if no default value. Note that this node can be shared between declarations if they are separated by comma, such as in: variable a, b : integer := 5; procedure p (a, b : natural := 7);
Type	Field1	Iir	ref	—
Has_Disconnect_Flag	Flag1	Boolean	owned	This flag is set on a signal_declaration, when a disconnection specification applies to the signal (or a subelement of it). This is used to check ‘others’ and ‘all’ designators.
Has_Active_Flag	Flag2	Boolean	owned	This flag is set on a signal when its activity is read by the user. Some signals handling can be optimized when this flag is set.
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).
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.
After_Drivers_Flag	Flag5	Boolean	owned	This flag is set by trans_analyze if there is a projected waveform assignment in the process.
Use_Flag	Flag6	Boolean	owned	For a declaration: true if the declaration is used somewhere.
Guarded_Signal_Flag	Flag8	Boolean	owned	True if the signal is guarded (has a signal kind).
Signal_Kind	Flag9	Iir_Signal_Kind	owned	—
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.
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

Note

Get/Set_Signal_Driver is present in the source but commented out. For a non-resolved signal: null_iir if the signal has no driver, or a process/concurrent_statement for which the signal should have a driver. This is used to catch at analyse time unresolved signals with several drivers.

Iir_Kind_Variable_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.
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.
Default_Value	Field4	Iir	maybe ref	Get the default value of an object declaration. Null_iir if no default value. Note that this node can be shared between declarations if they are separated by comma, such as in: variable a, b : integer := 5; procedure p (a, b : natural := 7);
Type	Field1	Iir	ref	—
Shared_Flag	Flag2	Boolean	owned	True if the variable is a shared variable.
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).
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.
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_Constant_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.
Subtype_Indication	Field5	Iir	maybe ref	For iterator, this is the reconstructed subtype indication.
Default_Value	Field4	Iir	maybe ref	Default value of a deferred constant points to the full constant declaration.
Type	Field1	Iir	ref	Note that the type may be extracted from the default_value if the subtype indication is unconstrained.
Deferred_Declaration	Field6	Iir	forward ref	Summary: | constant C1 : integer; – Deferred declaration (in a package) | constant C2 : integer := 4; – Declaration | constant C1 : integer := 3; – Full declaration (in a body) | NAME Deferred_declaration Deferred_declaration_flag | C1 Null_iir or C1’ (*) True | C2 Null_Iir False | C1’ C1 False |(*): Deferred_declaration is Null_Iir as long as the full declaration | has not been analyzed.
Deferred_Declaration_Flag	Flag1	Boolean	owned	The deferred_declaration_flag must be set if the constant declaration is a deferred_constant declaration. Set only during sem.
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).
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.
Elaborated_Flag	Flag7	Boolean	owned	Set if not deferred, at end of the package.
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.
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_Iterator_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.
Subtype_Indication	Field5	Iir	maybe ref	For iterator, this is the reconstructed subtype indication.
Discrete_Range	Field4	Iir	owned	Discrete range of an iterator. During analysis, a subtype indication is created from this range.
Type	Field1	Iir	ref	Note that the type may be extracted from the default_value if the subtype indication is unconstrained.
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).
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.
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_Interface_Constant_Declaration

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	Get/Set the parent of an interface declaration. The parent is an entity declaration, a subprogram specification, a component declaration, a loop statement, a block declaration or ?? Useful to distinguish a port and an interface.
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	For interface view, this is the subtype indication of the view indication.
Default_Value	Field4	Iir	maybe ref	Must always be null_iir for iir_kind_interface_file_declaration.
Type	Field1	Iir	ref	The type can be deduced from the subtype indication, but this field is present for uniformity (and speed).
Mode	Flag13	Iir_Mode	owned	Mode of interfaces or file (v87).
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).
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.
Has_Mode	Flag10	Boolean	owned	Layout flag for object declaration. If True, the mode is present.
Has_Class	Flag11	Boolean	owned	Layout flag for object declaration. If True, the object class is present.
Has_Semicolon	Flag16	Boolean	owned	Layout flag for interface declaration. If True, ‘;’ is present after the interface. In case of multiple names separated with colon, it cannot be set with Has_Identifier_List.
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.
Open_Flag	Flag7	Boolean	owned	This flag is set for a very short time during the check that no in port is unconnected.
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_Interface_Variable_Declaration

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	Get/Set the parent of an interface declaration. The parent is an entity declaration, a subprogram specification, a component declaration, a loop statement, a block declaration or ?? Useful to distinguish a port and an interface.
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	For interface view, this is the subtype indication of the view indication.
Default_Value	Field4	Iir	maybe ref	Must always be null_iir for iir_kind_interface_file_declaration.
Type	Field1	Iir	ref	The type can be deduced from the subtype indication, but this field is present for uniformity (and speed).
Mode	Flag13	Iir_Mode	owned	Mode of interfaces or file (v87).
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).
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.
Has_Mode	Flag10	Boolean	owned	Layout flag for object declaration. If True, the mode is present.
Has_Class	Flag11	Boolean	owned	Layout flag for object declaration. If True, the object class is present.
Has_Semicolon	Flag16	Boolean	owned	Layout flag for interface declaration. If True, ‘;’ is present after the interface. In case of multiple names separated with colon, it cannot be set with Has_Identifier_List.
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.
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_Interface_Signal_Declaration

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	Get/Set the parent of an interface declaration. The parent is an entity declaration, a subprogram specification, a component declaration, a loop statement, a block declaration or ?? Useful to distinguish a port and an interface.
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	For interface view, this is the subtype indication of the view indication.
Default_Value	Field4	Iir	maybe ref	Must always be null_iir for iir_kind_interface_file_declaration.
Type	Field1	Iir	ref	The type can be deduced from the subtype indication, but this field is present for uniformity (and speed).
Mode	Flag13	Iir_Mode	owned	Mode of interfaces or file (v87).
Has_Disconnect_Flag	Flag1	Boolean	owned	This flag is set on a signal_declaration, when a disconnection specification applies to the signal (or a subelement of it). This is used to check ‘others’ and ‘all’ designators.
Has_Active_Flag	Flag2	Boolean	owned	This flag is set on a signal when its activity is read by the user. Some signals handling can be optimized when this flag is set.
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).
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.
After_Drivers_Flag	Flag5	Boolean	owned	This flag is set by trans_analyze if there is a projected waveform assignment in the process.
Use_Flag	Flag6	Boolean	owned	For a declaration: true if the declaration is used somewhere.
Guarded_Signal_Flag	Flag8	Boolean	owned	True if the signal is guarded (has a signal kind).
Signal_Kind	Flag9	Iir_Signal_Kind	owned	—
Has_Mode	Flag10	Boolean	owned	Layout flag for object declaration. If True, the mode is present.
Has_Class	Flag11	Boolean	owned	Layout flag for object declaration. If True, the object class is present.
Has_Semicolon	Flag16	Boolean	owned	Layout flag for interface declaration. If True, ‘;’ is present after the interface. In case of multiple names separated with colon, it cannot be set with Has_Identifier_List.
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.
Open_Flag	Flag7	Boolean	owned	This flag is set for a very short time during the check that no in port is unconnected.
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_Interface_View_Declaration

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	Get/Set the parent of an interface declaration. The parent is an entity declaration, a subprogram specification, a component declaration, a loop statement, a block declaration or ?? Useful to distinguish a port and an interface.
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	For interface view, this is the subtype indication of the view indication.
Mode_View_Indication	Field4	Iir	maybe ref	—
Type	Field1	Iir	ref	The type can be deduced from the subtype indication, but this field is present for uniformity (and speed).
Has_Disconnect_Flag	Flag1	Boolean	owned	This flag is set on a signal_declaration, when a disconnection specification applies to the signal (or a subelement of it). This is used to check ‘others’ and ‘all’ designators.
Has_Active_Flag	Flag2	Boolean	owned	This flag is set on a signal when its activity is read by the user. Some signals handling can be optimized when this flag is set.
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).
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.
After_Drivers_Flag	Flag5	Boolean	owned	This flag is set by trans_analyze if there is a projected waveform assignment in the process.
Use_Flag	Flag6	Boolean	owned	For a declaration: true if the declaration is used somewhere.
Has_Mode	Flag10	Boolean	owned	Layout flag for object declaration. If True, the mode is present.
Has_Class	Flag11	Boolean	owned	Layout flag for object declaration. If True, the object class is present.
Has_Semicolon	Flag16	Boolean	owned	Layout flag for interface declaration. If True, ‘;’ is present after the interface. In case of multiple names separated with colon, it cannot be set with Has_Identifier_List.
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.
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_Interface_File_Declaration

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	Get/Set the parent of an interface declaration. The parent is an entity declaration, a subprogram specification, a component declaration, a loop statement, a block declaration or ?? Useful to distinguish a port and an interface.
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	For interface view, this is the subtype indication of the view indication.
Default_Value	Field4	Iir	maybe ref	Must always be null_iir for iir_kind_interface_file_declaration.
Type	Field1	Iir	ref	The type can be deduced from the subtype indication, but this field is present for uniformity (and speed).
Mode	Flag13	Iir_Mode	owned	Mode of interfaces or file (v87).
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).
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.
Has_Mode	Flag10	Boolean	owned	Layout flag for object declaration. If True, the mode is present.
Has_Class	Flag11	Boolean	owned	Layout flag for object declaration. If True, the object class is present.
Has_Semicolon	Flag16	Boolean	owned	Layout flag for interface declaration. If True, ‘;’ is present after the interface. In case of multiple names separated with colon, it cannot be set with Has_Identifier_List.
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.
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_Interface_Quantity_Declaration

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	Get/Set the parent of an interface declaration. The parent is an entity declaration, a subprogram specification, a component declaration, a loop statement, a block declaration or ?? Useful to distinguish a port and an interface.
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	For interface view, this is the subtype indication of the view indication.
Default_Value	Field4	Iir	maybe ref	Must always be null_iir for iir_kind_interface_file_declaration.
Type	Field1	Iir	ref	The type can be deduced from the subtype indication, but this field is present for uniformity (and speed).
Mode	Flag13	Iir_Mode	owned	Mode of interfaces or file (v87).
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).
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.
Has_Mode	Flag10	Boolean	owned	Layout flag for object declaration. If True, the mode is present.
Has_Class	Flag11	Boolean	owned	Layout flag for object declaration. If True, the object class is present.
Has_Semicolon	Flag16	Boolean	owned	Layout flag for interface declaration. If True, ‘;’ is present after the interface. In case of multiple names separated with colon, it cannot be set with Has_Identifier_List.
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.
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