Type And Subtype Definition

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_Access_Type_Definition

LRM08 5.4 Access types

access_type_definition ::= ACCESS subtype_indication

Format: Short

Accessor	Field	Type	Access	Description
Designated_Subtype_Indication	Field5	Iir	owned	The subtype_indication as it appears. Can designate an incomplete_type_definition.
Designated_Type	Field1	Iir	forward ref	The resolved designated type.
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Incomplete_Type_Ref_Chain	Field0	Iir	forward ref	Next access type that also referenced the same incomplete type when defined.
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Type_Staticness	State1	Iir_Staticness	owned	—

Iir_Kind_Incomplete_Type_Definition

Type definition for an incomplete type. This is created during the analysis of the incomplete type declaration.

Format: Short

Accessor	Field	Type	Access	Description
Incomplete_Type_Ref_Chain	Field0	Iir	forward ref	Chain of access_type_definition that designated this type. This is simply a forward_ref as the access type is declared after the incomplete type.
Type_Declarator	Field3	Iir	ref	Set to the incomplete type declaration.
Complete_Type_Definition	Field5	Iir	forward ref	Set to the complete type definition when completed.
Type_Staticness	State1	Iir_Staticness	owned	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).

Iir_Kind_Interface_Type_Definition

Type definition for an interface type.

Format: Short

Accessor	Field	Type	Access	Description
Type_Declarator	Field3	Iir	ref	Set to interface type declaration.
Associated_Type	Field5	Iir	forward ref	Set only during analysis of association: type associated with this interface, so that references to this interface can use the actual type.
Type_Staticness	State1	Iir_Staticness	owned	—
Constraint_State	State2	Iir_Constraint	owned	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).

Iir_Kind_File_Type_Definition

Format: Short

Accessor	Field	Type	Access	Description
File_Type_Mark	Field2	Iir	owned	The type of values for a type file.
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Text_File_Flag	Flag4	Boolean	owned	True if this is the std.textio.text file type, which may require special handling.
Type_Staticness	State1	Iir_Staticness	owned	—

Iir_Kind_Protected_Type_Declaration

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	The parent of a protected type declaration is the same parent as the type declaration.
Declaration_Chain	Field1	Iir	chain	—
Protected_Type_Body	Field2	Iir	forward ref	Body of a protected type declaration.
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
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.
Type_Staticness	State1	Iir_Staticness	owned	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Elaborated_Flag	Flag7	Boolean	owned	Set at end of the package or when the body is analyzed.
End_Has_Reserved_Id	Flag8	Boolean	owned	Layout flag: true if ‘end’ is followed by the reserved identifier.
End_Has_Identifier	Flag9	Boolean	owned	Layout flag: true if ‘end’ is followed by the identifier.

Iir_Kind_Record_Type_Definition

LRM08 5.3.3 Record types / LRM93 3.2.2 Record types

record_type_definition ::=
   RECORD
      element_declaration
      { element_declaration }
   END RECORD [ /record_type/_simple_name ]

Format: Short

Accessor	Field	Type	Access	Description
Elements_Declaration_List	Field1	Iir_Flist	of maybe ref	List of elements of a record. For a record_type_definition: Is_Ref is false, as the elements declaration are owned by the type definition. For a record_subtype_definition: Is_Ref is false, as new constrained elements are owned through the Owned_Elements_Chain list.
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Type_Staticness	State1	Iir_Staticness	owned	—
Constraint_State	State2	Iir_Constraint	owned	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
End_Has_Reserved_Id	Flag8	Boolean	owned	Layout flag: true if ‘end’ is followed by the reserved identifier.
End_Has_Identifier	Flag9	Boolean	owned	Layout flag: true if ‘end’ is followed by the identifier.
Is_Ref	Flag12	Boolean	owned	Always false for record type: elements are owned by this node.

Iir_Kind_Array_Type_Definition

LRM08 5.3.2 Array types / LRM93 3.2.1

unbounded_array_definition ::=
   ARRAY ( index_subtype_definition { , index_subtype_definition } )
     OF element_subtype_indication

index_subtype_definition ::= type_mark RANGE <>

Format: Medium

Accessor	Field	Type	Access	Description
Index_Subtype_Definition_List	Field6	Iir_Flist	owned	This is a list of type marks.
Element_Subtype_Indication	Field2	Iir	owned	The subtype_indication as it appears in a array type declaration.
Index_Subtype_List	Field9	Iir_Flist	ref	Same as the index_subtype_definition_list.
Element_Subtype	Field1	Iir	ref	—
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Type_Staticness	State1	Iir_Staticness	owned	—
Constraint_State	State2	Iir_Constraint	owned	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
Index_Constraint_Flag	Flag4	Boolean	owned	Always false.

Iir_Kind_Array_Subtype_Definition

Format: Medium

Accessor	Field	Type	Access	Description
Subtype_Type_Mark	Field2	Iir	owned	The type_mark that appeared in the subtype indication. This is a name. May be null_iir if there is no type mark (as in an iterator).
Resolution_Indication	Field5	Iir	owned	Either a resolution function name, an array_element_resolution or a record_resolution
Index_Constraint_List	Field6	Iir_Flist	owned	The index_constraint list as it appears in the subtype indication (if present). This is a list of subtype indication. Owned by this node.
Index_Subtype_List	Field9	Iir_Flist	ref	The type of the index. This is either the index_constraint list or the index subtypes of the type_mark. Not owned by this node.
Array_Element_Constraint	Field8	Iir	owned	Set when the element is re-constrained. Note that the element subtype may be different from the parent also if it is resolved. This is mostly for ownership.
Tolerance	Field7	Iir	owned	—
Element_Subtype	Field1	Iir	ref	—
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Parent_Type	Field4	Iir	ref	—
Type_Staticness	State1	Iir_Staticness	owned	—
Constraint_State	State2	Iir_Constraint	owned	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
Index_Constraint_Flag	Flag4	Boolean	owned	True if the indexes are constrained (either by this definition or by a parent).
Has_Array_Constraint_Flag	Flag5	Boolean	owned	If True, an array constraint is lexically present (at least for the index). This can be an index constraint or ‘open’.
Has_Element_Constraint_Flag	Flag6	Boolean	owned	If True, an element constraint is lexically present. It can be ‘open’.

Iir_Kind_Record_Subtype_Definition

Format: Medium

Accessor	Field	Type	Access	Description
Owned_Elements_Chain	Field6	Iir	chain	Chain of new elements constraint. Needed only for internal consistency of the tree (ownership).
Elements_Declaration_List	Field1	Iir_Flist	of maybe ref	Chain of either element_declaration or record_element_constraint.
Subtype_Type_Mark	Field2	Iir	owned	The type_mark that appeared in the subtype indication. This is a name. May be null_iir if there is no type mark (as in an iterator).
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Parent_Type	Field4	Iir	ref	—
Resolution_Indication	Field5	Iir	owned	Either a resolution function name, an array_element_resolution or a record_resolution
Tolerance	Field7	Iir	owned	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
Type_Staticness	State1	Iir_Staticness	owned	—
Constraint_State	State2	Iir_Constraint	owned	—
Is_Ref	Flag12	Boolean	owned	Always true for record subtype: elements are owned through Owned_Elements_Chain

Iir_Kind_Access_Subtype_Definition

Format: Short

Accessor	Field	Type	Access	Description
Designated_Type	Field1	Iir	forward ref	—
Subtype_Type_Mark	Field2	Iir	owned	The type_mark that appeared in the subtype indication. This is a name. May be null_iir if there is no type mark (as in an iterator).
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Parent_Type	Field4	Iir	ref	—
Designated_Subtype_Indication	Field5	Iir	owned	—
Type_Staticness	State1	Iir_Staticness	owned	Note: no resolution function for access subtype.
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.

Iir_Kind_File_Subtype_Definition

Format: Short

Accessor	Field	Type	Access	Description
Subtype_Type_Mark	Field2	Iir	owned	The type_mark that appeared in the subtype indication. This is a name. May be null_iir if there is no type mark (as in an iterator).
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Parent_Type	Field4	Iir	ref	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Text_File_Flag	Flag4	Boolean	owned	True if this is the std.textio.text file type, which may require special handling.
Type_Staticness	State1	Iir_Staticness	owned	—

Iir_Kind_Physical_Subtype_Definition

Format: Short

Accessor	Field	Type	Access	Description
Range_Constraint	Field1	Iir	maybe ref	—
Subtype_Type_Mark	Field2	Iir	owned	The type_mark that appeared in the subtype indication. This is a name. May be null_iir if there is no type mark (as in an iterator).
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Parent_Type	Field4	Iir	ref	—
Resolution_Indication	Field5	Iir	owned	Either a resolution function name, an array_element_resolution or a record_resolution
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
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.
Type_Staticness	State1	Iir_Staticness	owned	—

Iir_Kind_Floating_Subtype_Definition

Format: Medium

Accessor	Field	Type	Access	Description
Range_Constraint	Field1	Iir	maybe ref	—
Subtype_Type_Mark	Field2	Iir	owned	The type_mark that appeared in the subtype indication. This is a name. May be null_iir if there is no type mark (as in an iterator).
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Parent_Type	Field4	Iir	ref	—
Resolution_Indication	Field5	Iir	owned	Either a resolution function name, an array_element_resolution or a record_resolution
Tolerance	Field7	Iir	owned	—
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
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.
Type_Staticness	State1	Iir_Staticness	owned	—

Iir_Kind_Integer_Subtype_Definition

Format: Short

Accessor	Field	Type	Access	Description
Range_Constraint	Field1	Iir	maybe ref	—
Subtype_Type_Mark	Field2	Iir	owned	The type_mark that appeared in the subtype indication. This is a name. May be null_iir if there is no type mark (as in an iterator).
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Parent_Type	Field4	Iir	ref	—
Resolution_Indication	Field5	Iir	owned	Either a resolution function name, an array_element_resolution or a record_resolution
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
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.
Type_Staticness	State1	Iir_Staticness	owned	—

Iir_Kind_Enumeration_Subtype_Definition

Format: Short

Accessor	Field	Type	Access	Description
Range_Constraint	Field1	Iir	maybe ref	—
Subtype_Type_Mark	Field2	Iir	owned	The type_mark that appeared in the subtype indication. This is a name. May be null_iir if there is no type mark (as in an iterator).
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Parent_Type	Field4	Iir	ref	—
Resolution_Indication	Field5	Iir	owned	Either a resolution function name, an array_element_resolution or a record_resolution
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
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.
Type_Staticness	State1	Iir_Staticness	owned	—

Iir_Kind_Enumeration_Type_Definition

Format: Short

Accessor	Field	Type	Access	Description
Enumeration_Literal_List	Field2	Iir_Flist	owned	Return the list of literals. This list is created when the node is created.
Range_Constraint	Field1	Iir	maybe ref	Get the range of the type (This is just an ascending range from the first literal to the last declared literal).
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
Only_Characters_Flag	Flag4	Boolean	owned	True if enumeration type ATYPE has only character literals.
Is_Character_Type	Flag5	Boolean	owned	True if enumeration type ATYPE is a character type (at least one literal is a character).
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.
Type_Staticness	State1	Iir_Staticness	owned	—
Scalar_Size	Flag6	Scalar_Size	owned	Note: only 8 or 32.

Iir_Kind_Integer_Type_Definition

Format: Short

Accessor	Field	Type	Access	Description
Range_Constraint	Field1	Iir	maybe ref	The range_constraint from the type declaration.
Type_Declarator	Field3	Iir	ref	The type declarator that has created this type.
Type_Staticness	State1	Iir_Staticness	owned	Type staticness is always locally.
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
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.
Scalar_Size	Flag6	Scalar_Size	owned	Note: only 32 or 64.

Iir_Kind_Floating_Type_Definition

Format: Short

Accessor	Field	Type	Access	Description
Range_Constraint	Field1	Iir	maybe ref	The range_constraint from the type declaration.
Type_Declarator	Field3	Iir	ref	The type declarator that has created this type.
Type_Staticness	State1	Iir_Staticness	owned	Type staticness is always locally.
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
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.
Scalar_Size	Flag6	Scalar_Size	owned	Note: only 32 or 64.

Iir_Kind_Physical_Type_Definition

Format: Short

Accessor	Field	Type	Access	Description
Range_Constraint	Field1	Iir	maybe ref	The range_constraint from the type declaration.
Unit_Chain	Field2	Iir	chain	Chain of physical type units. The first unit is the primary unit. If you really need the primary unit (and not the chain), you’d better to use Get_Primary_Unit.
Type_Declarator	Field3	Iir	ref	The type declarator which declares the type definition DEF. Can also be a nature declarator for composite nature definition.
Resolved_Flag	Flag1	Boolean	owned	Get/Set the resolved flag of a subtype definition. A subtype definition may be resolved either because a resolution_indication is present in the subtype_indication, or because all elements type are resolved.
Signal_Type_Flag	Flag2	Boolean	owned	Get/Set the signal_type flag of a type/subtype definition. This flags indicates whether the type can be used as a signal type. Access types, file types and composite types whose a sub-element is an access type cannot be used as a signal type.
Has_Signal_Flag	Flag3	Boolean	owned	True if ATYPE is used to declare a signal or to handle a signal (such as slice or aliases).
Type_Staticness	State1	Iir_Staticness	owned	—
End_Has_Reserved_Id	Flag8	Boolean	owned	Layout flag: true if ‘end’ is followed by the reserved identifier.
End_Has_Identifier	Flag9	Boolean	owned	Layout flag: true if ‘end’ is followed by the identifier.
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.
Scalar_Size	Flag6	Scalar_Size	owned	—