Rework for support of generic packages.

1 files changed, 821 insertions, 0 deletions

diff --git a/nodes_meta.ads b/nodes_meta.ads
new file mode 100644
index 0000000..4183fc8
--- /dev/null
+++ b/nodes_meta.ads
@@ -0,0 +1,821 @@
+--  Meta description of nodes.
+--  Copyright (C) 2014 Tristan Gingold
+--
+--  GHDL is free software; you can redistribute it and/or modify it under
+--  the terms of the GNU General Public License as published by the Free
+--  Software Foundation; either version 2, or (at your option) any later
+--  version.
+--
+--  GHDL is distributed in the hope that it will be useful, but WITHOUT ANY
+--  WARRANTY; without even the implied warranty of MERCHANTABILITY or
+--  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+--  for more details.
+--
+--  You should have received a copy of the GNU General Public License
+--  along with GHDL; see the file COPYING.  If not, write to the Free
+--  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+--  02111-1307, USA.
+
+with Types; use Types;
+with Iirs; use Iirs;
+with Tokens; use Tokens;
+
+package Nodes_Meta is
+   --  The enumeration of all possible types in the nodes.
+   type Types_Enum is
+     (
+      Type_Base_Type,
+      Type_Boolean,
+      Type_Date_State_Type,
+      Type_Date_Type,
+      Type_Iir,
+      Type_Iir_All_Sensitized,
+      Type_Iir_Constraint,
+      Type_Iir_Delay_Mechanism,
+      Type_Iir_Direction,
+      Type_Iir_Fp64,
+      Type_Iir_Index32,
+      Type_Iir_Int32,
+      Type_Iir_Int64,
+      Type_Iir_Lexical_Layout_Type,
+      Type_Iir_List,
+      Type_Iir_Mode,
+      Type_Iir_Predefined_Functions,
+      Type_Iir_Pure_State,
+      Type_Iir_Signal_Kind,
+      Type_Iir_Staticness,
+      Type_Int32,
+      Type_Location_Type,
+      Type_Name_Id,
+      Type_PSL_NFA,
+      Type_PSL_Node,
+      Type_Source_Ptr,
+      Type_String_Id,
+      Type_Time_Stamp_Id,
+      Type_Token_Type,
+      Type_Tri_State_Type
+     );
+
+   --  The enumeration of all fields defined in iirs.
+   type Fields_Enum is
+     (
+      Field_First_Design_Unit,
+      Field_Last_Design_Unit,
+      Field_Library_Declaration,
+      Field_File_Time_Stamp,
+      Field_Analysis_Time_Stamp,
+      Field_Library,
+      Field_File_Dependence_List,
+      Field_Design_File_Filename,
+      Field_Design_File_Directory,
+      Field_Design_File,
+      Field_Design_File_Chain,
+      Field_Library_Directory,
+      Field_Date,
+      Field_Context_Items,
+      Field_Dependence_List,
+      Field_Analysis_Checks_List,
+      Field_Date_State,
+      Field_Guarded_Target_State,
+      Field_Library_Unit,
+      Field_Hash_Chain,
+      Field_Design_Unit_Source_Pos,
+      Field_Design_Unit_Source_Line,
+      Field_Design_Unit_Source_Col,
+      Field_Value,
+      Field_Enum_Pos,
+      Field_Physical_Literal,
+      Field_Physical_Unit_Value,
+      Field_Fp_Value,
+      Field_Enumeration_Decl,
+      Field_Simple_Aggregate_List,
+      Field_Bit_String_Base,
+      Field_Bit_String_0,
+      Field_Bit_String_1,
+      Field_Literal_Origin,
+      Field_Range_Origin,
+      Field_Literal_Subtype,
+      Field_Entity_Class,
+      Field_Entity_Name_List,
+      Field_Attribute_Designator,
+      Field_Attribute_Specification_Chain,
+      Field_Attribute_Specification,
+      Field_Signal_List,
+      Field_Designated_Entity,
+      Field_Formal,
+      Field_Actual,
+      Field_In_Conversion,
+      Field_Out_Conversion,
+      Field_Whole_Association_Flag,
+      Field_Collapse_Signal_Flag,
+      Field_Artificial_Flag,
+      Field_Open_Flag,
+      Field_After_Drivers_Flag,
+      Field_We_Value,
+      Field_Time,
+      Field_Associated_Expr,
+      Field_Associated_Chain,
+      Field_Choice_Name,
+      Field_Choice_Expression,
+      Field_Choice_Range,
+      Field_Same_Alternative_Flag,
+      Field_Architecture,
+      Field_Block_Specification,
+      Field_Prev_Block_Configuration,
+      Field_Configuration_Item_Chain,
+      Field_Attribute_Value_Chain,
+      Field_Spec_Chain,
+      Field_Attribute_Value_Spec_Chain,
+      Field_Entity_Name,
+      Field_Package,
+      Field_Package_Body,
+      Field_Need_Body,
+      Field_Block_Configuration,
+      Field_Concurrent_Statement_Chain,
+      Field_Chain,
+      Field_Port_Chain,
+      Field_Generic_Chain,
+      Field_Type,
+      Field_Subtype_Indication,
+      Field_Discrete_Range,
+      Field_Type_Definition,
+      Field_Subtype_Definition,
+      Field_Nature,
+      Field_Mode,
+      Field_Signal_Kind,
+      Field_Base_Name,
+      Field_Interface_Declaration_Chain,
+      Field_Subprogram_Specification,
+      Field_Sequential_Statement_Chain,
+      Field_Subprogram_Body,
+      Field_Overload_Number,
+      Field_Subprogram_Depth,
+      Field_Subprogram_Hash,
+      Field_Impure_Depth,
+      Field_Return_Type,
+      Field_Implicit_Definition,
+      Field_Type_Reference,
+      Field_Default_Value,
+      Field_Deferred_Declaration,
+      Field_Deferred_Declaration_Flag,
+      Field_Shared_Flag,
+      Field_Design_Unit,
+      Field_Block_Statement,
+      Field_Signal_Driver,
+      Field_Declaration_Chain,
+      Field_File_Logical_Name,
+      Field_File_Open_Kind,
+      Field_Element_Position,
+      Field_Element_Declaration,
+      Field_Selected_Element,
+      Field_Use_Clause_Chain,
+      Field_Selected_Name,
+      Field_Type_Declarator,
+      Field_Enumeration_Literal_List,
+      Field_Entity_Class_Entry_Chain,
+      Field_Group_Constituent_List,
+      Field_Unit_Chain,
+      Field_Primary_Unit,
+      Field_Identifier,
+      Field_Label,
+      Field_Visible_Flag,
+      Field_Range_Constraint,
+      Field_Direction,
+      Field_Left_Limit,
+      Field_Right_Limit,
+      Field_Base_Type,
+      Field_Resolution_Indication,
+      Field_Record_Element_Resolution_Chain,
+      Field_Tolerance,
+      Field_Plus_Terminal,
+      Field_Minus_Terminal,
+      Field_Simultaneous_Left,
+      Field_Simultaneous_Right,
+      Field_Text_File_Flag,
+      Field_Only_Characters_Flag,
+      Field_Type_Staticness,
+      Field_Constraint_State,
+      Field_Index_Subtype_List,
+      Field_Index_Subtype_Definition_List,
+      Field_Element_Subtype_Indication,
+      Field_Element_Subtype,
+      Field_Index_Constraint_List,
+      Field_Array_Element_Constraint,
+      Field_Elements_Declaration_List,
+      Field_Designated_Type,
+      Field_Designated_Subtype_Indication,
+      Field_Index_List,
+      Field_Reference,
+      Field_Nature_Declarator,
+      Field_Across_Type,
+      Field_Through_Type,
+      Field_Target,
+      Field_Waveform_Chain,
+      Field_Guard,
+      Field_Delay_Mechanism,
+      Field_Reject_Time_Expression,
+      Field_Sensitivity_List,
+      Field_Process_Origin,
+      Field_Condition_Clause,
+      Field_Timeout_Clause,
+      Field_Postponed_Flag,
+      Field_Callees_List,
+      Field_Passive_Flag,
+      Field_Resolution_Function_Flag,
+      Field_Wait_State,
+      Field_All_Sensitized_State,
+      Field_Seen_Flag,
+      Field_Pure_Flag,
+      Field_Foreign_Flag,
+      Field_Resolved_Flag,
+      Field_Signal_Type_Flag,
+      Field_Has_Signal_Flag,
+      Field_Purity_State,
+      Field_Elab_Flag,
+      Field_Index_Constraint_Flag,
+      Field_Assertion_Condition,
+      Field_Report_Expression,
+      Field_Severity_Expression,
+      Field_Instantiated_Unit,
+      Field_Generic_Map_Aspect_Chain,
+      Field_Port_Map_Aspect_Chain,
+      Field_Configuration_Name,
+      Field_Component_Configuration,
+      Field_Configuration_Specification,
+      Field_Default_Binding_Indication,
+      Field_Default_Configuration_Declaration,
+      Field_Expression,
+      Field_Allocator_Designated_Type,
+      Field_Selected_Waveform_Chain,
+      Field_Conditional_Waveform_Chain,
+      Field_Guard_Expression,
+      Field_Guard_Decl,
+      Field_Guard_Sensitivity_List,
+      Field_Block_Block_Configuration,
+      Field_Package_Header,
+      Field_Block_Header,
+      Field_Uninstantiated_Name,
+      Field_Generate_Block_Configuration,
+      Field_Generation_Scheme,
+      Field_Condition,
+      Field_Else_Clause,
+      Field_Parameter_Specification,
+      Field_Parent,
+      Field_Loop_Label,
+      Field_Component_Name,
+      Field_Instantiation_List,
+      Field_Entity_Aspect,
+      Field_Default_Entity_Aspect,
+      Field_Default_Generic_Map_Aspect_Chain,
+      Field_Default_Port_Map_Aspect_Chain,
+      Field_Binding_Indication,
+      Field_Named_Entity,
+      Field_Alias_Declaration,
+      Field_Expr_Staticness,
+      Field_Error_Origin,
+      Field_Operand,
+      Field_Left,
+      Field_Right,
+      Field_Unit_Name,
+      Field_Name,
+      Field_Group_Template_Name,
+      Field_Name_Staticness,
+      Field_Prefix,
+      Field_Signature_Prefix,
+      Field_Slice_Subtype,
+      Field_Suffix,
+      Field_Index_Subtype,
+      Field_Parameter,
+      Field_Actual_Type,
+      Field_Association_Chain,
+      Field_Individual_Association_Chain,
+      Field_Aggregate_Info,
+      Field_Sub_Aggregate_Info,
+      Field_Aggr_Dynamic_Flag,
+      Field_Aggr_Min_Length,
+      Field_Aggr_Low_Limit,
+      Field_Aggr_High_Limit,
+      Field_Aggr_Others_Flag,
+      Field_Aggr_Named_Flag,
+      Field_Value_Staticness,
+      Field_Association_Choices_Chain,
+      Field_Case_Statement_Alternative_Chain,
+      Field_Choice_Staticness,
+      Field_Procedure_Call,
+      Field_Implementation,
+      Field_Parameter_Association_Chain,
+      Field_Method_Object,
+      Field_Subtype_Type_Mark,
+      Field_Type_Conversion_Subtype,
+      Field_Type_Mark,
+      Field_File_Type_Mark,
+      Field_Return_Type_Mark,
+      Field_Lexical_Layout,
+      Field_Incomplete_Type_List,
+      Field_Has_Disconnect_Flag,
+      Field_Has_Active_Flag,
+      Field_Is_Within_Flag,
+      Field_Type_Marks_List,
+      Field_Implicit_Alias_Flag,
+      Field_Alias_Signature,
+      Field_Attribute_Signature,
+      Field_Overload_List,
+      Field_Simple_Name_Identifier,
+      Field_Simple_Name_Subtype,
+      Field_Protected_Type_Body,
+      Field_Protected_Type_Declaration,
+      Field_End_Location,
+      Field_String_Id,
+      Field_String_Length,
+      Field_Use_Flag,
+      Field_End_Has_Reserved_Id,
+      Field_End_Has_Identifier,
+      Field_End_Has_Postponed,
+      Field_Has_Begin,
+      Field_Has_Is,
+      Field_Has_Pure,
+      Field_Has_Body,
+      Field_Has_Identifier_List,
+      Field_Has_Mode,
+      Field_Is_Ref,
+      Field_Psl_Property,
+      Field_Psl_Declaration,
+      Field_Psl_Expression,
+      Field_Psl_Boolean,
+      Field_PSL_Clock,
+      Field_PSL_NFA
+     );
+   pragma Discard_Names (Fields_Enum);
+
+   --  Return the type of field F.
+   function Get_Field_Type (F : Fields_Enum) return Types_Enum;
+
+   --  Get the name of a field.
+   function Get_Field_Image (F : Fields_Enum) return String;
+
+   --  Get the name of a kind.
+   function Get_Iir_Image (K : Iir_Kind) return String;
+
+   --  Possible attributes of a field.
+   type Field_Attribute is
+     (
+      Attr_None,
+      Attr_Ref, Attr_Maybe_Ref, Attr_Of_Ref,
+      Attr_Chain, Attr_Chain_Next
+     );
+
+   --  Get the attribute of a field.
+   function Get_Field_Attribute (F : Fields_Enum) return Field_Attribute;
+
+   type Fields_Array is array (Natural range <>) of Fields_Enum;
+
+   --  Return the list of fields for node K.  The fields are sorted: first
+   --  the non nodes/list of nodes, then the nodes/lists that aren't reference,
+   --  and then the reference.
+   function Get_Fields (K : Iir_Kind) return Fields_Array;
+
+   --  Get/Set a field.
+   function Get_Base_Type
+      (N : Iir; F : Fields_Enum) return Base_Type;
+   procedure Set_Base_Type
+      (N : Iir; F : Fields_Enum; V: Base_Type);
+
+   function Get_Boolean
+      (N : Iir; F : Fields_Enum) return Boolean;
+   procedure Set_Boolean
+      (N : Iir; F : Fields_Enum; V: Boolean);
+
+   function Get_Date_State_Type
+      (N : Iir; F : Fields_Enum) return Date_State_Type;
+   procedure Set_Date_State_Type
+      (N : Iir; F : Fields_Enum; V: Date_State_Type);
+
+   function Get_Date_Type
+      (N : Iir; F : Fields_Enum) return Date_Type;
+   procedure Set_Date_Type
+      (N : Iir; F : Fields_Enum; V: Date_Type);
+
+   function Get_Iir
+      (N : Iir; F : Fields_Enum) return Iir;
+   procedure Set_Iir
+      (N : Iir; F : Fields_Enum; V: Iir);
+
+   function Get_Iir_All_Sensitized
+      (N : Iir; F : Fields_Enum) return Iir_All_Sensitized;
+   procedure Set_Iir_All_Sensitized
+      (N : Iir; F : Fields_Enum; V: Iir_All_Sensitized);
+
+   function Get_Iir_Constraint
+      (N : Iir; F : Fields_Enum) return Iir_Constraint;
+   procedure Set_Iir_Constraint
+      (N : Iir; F : Fields_Enum; V: Iir_Constraint);
+
+   function Get_Iir_Delay_Mechanism
+      (N : Iir; F : Fields_Enum) return Iir_Delay_Mechanism;
+   procedure Set_Iir_Delay_Mechanism
+      (N : Iir; F : Fields_Enum; V: Iir_Delay_Mechanism);
+
+   function Get_Iir_Direction
+      (N : Iir; F : Fields_Enum) return Iir_Direction;
+   procedure Set_Iir_Direction
+      (N : Iir; F : Fields_Enum; V: Iir_Direction);
+
+   function Get_Iir_Fp64
+      (N : Iir; F : Fields_Enum) return Iir_Fp64;
+   procedure Set_Iir_Fp64
+      (N : Iir; F : Fields_Enum; V: Iir_Fp64);
+
+   function Get_Iir_Index32
+      (N : Iir; F : Fields_Enum) return Iir_Index32;
+   procedure Set_Iir_Index32
+      (N : Iir; F : Fields_Enum; V: Iir_Index32);
+
+   function Get_Iir_Int32
+      (N : Iir; F : Fields_Enum) return Iir_Int32;
+   procedure Set_Iir_Int32
+      (N : Iir; F : Fields_Enum; V: Iir_Int32);
+
+   function Get_Iir_Int64
+      (N : Iir; F : Fields_Enum) return Iir_Int64;
+   procedure Set_Iir_Int64
+      (N : Iir; F : Fields_Enum; V: Iir_Int64);
+
+   function Get_Iir_Lexical_Layout_Type
+      (N : Iir; F : Fields_Enum) return Iir_Lexical_Layout_Type;
+   procedure Set_Iir_Lexical_Layout_Type
+      (N : Iir; F : Fields_Enum; V: Iir_Lexical_Layout_Type);
+
+   function Get_Iir_List
+      (N : Iir; F : Fields_Enum) return Iir_List;
+   procedure Set_Iir_List
+      (N : Iir; F : Fields_Enum; V: Iir_List);
+
+   function Get_Iir_Mode
+      (N : Iir; F : Fields_Enum) return Iir_Mode;
+   procedure Set_Iir_Mode
+      (N : Iir; F : Fields_Enum; V: Iir_Mode);
+
+   function Get_Iir_Predefined_Functions
+      (N : Iir; F : Fields_Enum) return Iir_Predefined_Functions;
+   procedure Set_Iir_Predefined_Functions
+      (N : Iir; F : Fields_Enum; V: Iir_Predefined_Functions);
+
+   function Get_Iir_Pure_State
+      (N : Iir; F : Fields_Enum) return Iir_Pure_State;
+   procedure Set_Iir_Pure_State
+      (N : Iir; F : Fields_Enum; V: Iir_Pure_State);
+
+   function Get_Iir_Signal_Kind
+      (N : Iir; F : Fields_Enum) return Iir_Signal_Kind;
+   procedure Set_Iir_Signal_Kind
+      (N : Iir; F : Fields_Enum; V: Iir_Signal_Kind);
+
+   function Get_Iir_Staticness
+      (N : Iir; F : Fields_Enum) return Iir_Staticness;
+   procedure Set_Iir_Staticness
+      (N : Iir; F : Fields_Enum; V: Iir_Staticness);
+
+   function Get_Int32
+      (N : Iir; F : Fields_Enum) return Int32;
+   procedure Set_Int32
+      (N : Iir; F : Fields_Enum; V: Int32);
+
+   function Get_Location_Type
+      (N : Iir; F : Fields_Enum) return Location_Type;
+   procedure Set_Location_Type
+      (N : Iir; F : Fields_Enum; V: Location_Type);
+
+   function Get_Name_Id
+      (N : Iir; F : Fields_Enum) return Name_Id;
+   procedure Set_Name_Id
+      (N : Iir; F : Fields_Enum; V: Name_Id);
+
+   function Get_PSL_NFA
+      (N : Iir; F : Fields_Enum) return PSL_NFA;
+   procedure Set_PSL_NFA
+      (N : Iir; F : Fields_Enum; V: PSL_NFA);
+
+   function Get_PSL_Node
+      (N : Iir; F : Fields_Enum) return PSL_Node;
+   procedure Set_PSL_Node
+      (N : Iir; F : Fields_Enum; V: PSL_Node);
+
+   function Get_Source_Ptr
+      (N : Iir; F : Fields_Enum) return Source_Ptr;
+   procedure Set_Source_Ptr
+      (N : Iir; F : Fields_Enum; V: Source_Ptr);
+
+   function Get_String_Id
+      (N : Iir; F : Fields_Enum) return String_Id;
+   procedure Set_String_Id
+      (N : Iir; F : Fields_Enum; V: String_Id);
+
+   function Get_Time_Stamp_Id
+      (N : Iir; F : Fields_Enum) return Time_Stamp_Id;
+   procedure Set_Time_Stamp_Id
+      (N : Iir; F : Fields_Enum; V: Time_Stamp_Id);
+
+   function Get_Token_Type
+      (N : Iir; F : Fields_Enum) return Token_Type;
+   procedure Set_Token_Type
+      (N : Iir; F : Fields_Enum; V: Token_Type);
+
+   function Get_Tri_State_Type
+      (N : Iir; F : Fields_Enum) return Tri_State_Type;
+   procedure Set_Tri_State_Type
+      (N : Iir; F : Fields_Enum; V: Tri_State_Type);
+
+   function Has_First_Design_Unit (K : Iir_Kind) return Boolean;
+   function Has_Last_Design_Unit (K : Iir_Kind) return Boolean;
+   function Has_Library_Declaration (K : Iir_Kind) return Boolean;
+   function Has_File_Time_Stamp (K : Iir_Kind) return Boolean;
+   function Has_Analysis_Time_Stamp (K : Iir_Kind) return Boolean;
+   function Has_Library (K : Iir_Kind) return Boolean;
+   function Has_File_Dependence_List (K : Iir_Kind) return Boolean;
+   function Has_Design_File_Filename (K : Iir_Kind) return Boolean;
+   function Has_Design_File_Directory (K : Iir_Kind) return Boolean;
+   function Has_Design_File (K : Iir_Kind) return Boolean;
+   function Has_Design_File_Chain (K : Iir_Kind) return Boolean;
+   function Has_Library_Directory (K : Iir_Kind) return Boolean;
+   function Has_Date (K : Iir_Kind) return Boolean;
+   function Has_Context_Items (K : Iir_Kind) return Boolean;
+   function Has_Dependence_List (K : Iir_Kind) return Boolean;
+   function Has_Analysis_Checks_List (K : Iir_Kind) return Boolean;
+   function Has_Date_State (K : Iir_Kind) return Boolean;
+   function Has_Guarded_Target_State (K : Iir_Kind) return Boolean;
+   function Has_Library_Unit (K : Iir_Kind) return Boolean;
+   function Has_Hash_Chain (K : Iir_Kind) return Boolean;
+   function Has_Design_Unit_Source_Pos (K : Iir_Kind) return Boolean;
+   function Has_Design_Unit_Source_Line (K : Iir_Kind) return Boolean;
+   function Has_Design_Unit_Source_Col (K : Iir_Kind) return Boolean;
+   function Has_Value (K : Iir_Kind) return Boolean;
+   function Has_Enum_Pos (K : Iir_Kind) return Boolean;
+   function Has_Physical_Literal (K : Iir_Kind) return Boolean;
+   function Has_Physical_Unit_Value (K : Iir_Kind) return Boolean;
+   function Has_Fp_Value (K : Iir_Kind) return Boolean;
+   function Has_Enumeration_Decl (K : Iir_Kind) return Boolean;
+   function Has_Simple_Aggregate_List (K : Iir_Kind) return Boolean;
+   function Has_Bit_String_Base (K : Iir_Kind) return Boolean;
+   function Has_Bit_String_0 (K : Iir_Kind) return Boolean;
+   function Has_Bit_String_1 (K : Iir_Kind) return Boolean;
+   function Has_Literal_Origin (K : Iir_Kind) return Boolean;
+   function Has_Range_Origin (K : Iir_Kind) return Boolean;
+   function Has_Literal_Subtype (K : Iir_Kind) return Boolean;
+   function Has_Entity_Class (K : Iir_Kind) return Boolean;
+   function Has_Entity_Name_List (K : Iir_Kind) return Boolean;
+   function Has_Attribute_Designator (K : Iir_Kind) return Boolean;
+   function Has_Attribute_Specification_Chain (K : Iir_Kind)
+      return Boolean;
+   function Has_Attribute_Specification (K : Iir_Kind) return Boolean;
+   function Has_Signal_List (K : Iir_Kind) return Boolean;
+   function Has_Designated_Entity (K : Iir_Kind) return Boolean;
+   function Has_Formal (K : Iir_Kind) return Boolean;
+   function Has_Actual (K : Iir_Kind) return Boolean;
+   function Has_In_Conversion (K : Iir_Kind) return Boolean;
+   function Has_Out_Conversion (K : Iir_Kind) return Boolean;
+   function Has_Whole_Association_Flag (K : Iir_Kind) return Boolean;
+   function Has_Collapse_Signal_Flag (K : Iir_Kind) return Boolean;
+   function Has_Artificial_Flag (K : Iir_Kind) return Boolean;
+   function Has_Open_Flag (K : Iir_Kind) return Boolean;
+   function Has_After_Drivers_Flag (K : Iir_Kind) return Boolean;
+   function Has_We_Value (K : Iir_Kind) return Boolean;
+   function Has_Time (K : Iir_Kind) return Boolean;
+   function Has_Associated_Expr (K : Iir_Kind) return Boolean;
+   function Has_Associated_Chain (K : Iir_Kind) return Boolean;
+   function Has_Choice_Name (K : Iir_Kind) return Boolean;
+   function Has_Choice_Expression (K : Iir_Kind) return Boolean;
+   function Has_Choice_Range (K : Iir_Kind) return Boolean;
+   function Has_Same_Alternative_Flag (K : Iir_Kind) return Boolean;
+   function Has_Architecture (K : Iir_Kind) return Boolean;
+   function Has_Block_Specification (K : Iir_Kind) return Boolean;
+   function Has_Prev_Block_Configuration (K : Iir_Kind) return Boolean;
+   function Has_Configuration_Item_Chain (K : Iir_Kind) return Boolean;
+   function Has_Attribute_Value_Chain (K : Iir_Kind) return Boolean;
+   function Has_Spec_Chain (K : Iir_Kind) return Boolean;
+   function Has_Attribute_Value_Spec_Chain (K : Iir_Kind) return Boolean;
+   function Has_Entity_Name (K : Iir_Kind) return Boolean;
+   function Has_Package (K : Iir_Kind) return Boolean;
+   function Has_Package_Body (K : Iir_Kind) return Boolean;
+   function Has_Need_Body (K : Iir_Kind) return Boolean;
+   function Has_Block_Configuration (K : Iir_Kind) return Boolean;
+   function Has_Concurrent_Statement_Chain (K : Iir_Kind) return Boolean;
+   function Has_Chain (K : Iir_Kind) return Boolean;
+   function Has_Port_Chain (K : Iir_Kind) return Boolean;
+   function Has_Generic_Chain (K : Iir_Kind) return Boolean;
+   function Has_Type (K : Iir_Kind) return Boolean;
+   function Has_Subtype_Indication (K : Iir_Kind) return Boolean;
+   function Has_Discrete_Range (K : Iir_Kind) return Boolean;
+   function Has_Type_Definition (K : Iir_Kind) return Boolean;
+   function Has_Subtype_Definition (K : Iir_Kind) return Boolean;
+   function Has_Nature (K : Iir_Kind) return Boolean;
+   function Has_Mode (K : Iir_Kind) return Boolean;
+   function Has_Signal_Kind (K : Iir_Kind) return Boolean;
+   function Has_Base_Name (K : Iir_Kind) return Boolean;
+   function Has_Interface_Declaration_Chain (K : Iir_Kind) return Boolean;
+   function Has_Subprogram_Specification (K : Iir_Kind) return Boolean;
+   function Has_Sequential_Statement_Chain (K : Iir_Kind) return Boolean;
+   function Has_Subprogram_Body (K : Iir_Kind) return Boolean;
+   function Has_Overload_Number (K : Iir_Kind) return Boolean;
+   function Has_Subprogram_Depth (K : Iir_Kind) return Boolean;
+   function Has_Subprogram_Hash (K : Iir_Kind) return Boolean;
+   function Has_Impure_Depth (K : Iir_Kind) return Boolean;
+   function Has_Return_Type (K : Iir_Kind) return Boolean;
+   function Has_Implicit_Definition (K : Iir_Kind) return Boolean;
+   function Has_Type_Reference (K : Iir_Kind) return Boolean;
+   function Has_Default_Value (K : Iir_Kind) return Boolean;
+   function Has_Deferred_Declaration (K : Iir_Kind) return Boolean;
+   function Has_Deferred_Declaration_Flag (K : Iir_Kind) return Boolean;
+   function Has_Shared_Flag (K : Iir_Kind) return Boolean;
+   function Has_Design_Unit (K : Iir_Kind) return Boolean;
+   function Has_Block_Statement (K : Iir_Kind) return Boolean;
+   function Has_Signal_Driver (K : Iir_Kind) return Boolean;
+   function Has_Declaration_Chain (K : Iir_Kind) return Boolean;
+   function Has_File_Logical_Name (K : Iir_Kind) return Boolean;
+   function Has_File_Open_Kind (K : Iir_Kind) return Boolean;
+   function Has_Element_Position (K : Iir_Kind) return Boolean;
+   function Has_Element_Declaration (K : Iir_Kind) return Boolean;
+   function Has_Selected_Element (K : Iir_Kind) return Boolean;
+   function Has_Use_Clause_Chain (K : Iir_Kind) return Boolean;
+   function Has_Selected_Name (K : Iir_Kind) return Boolean;
+   function Has_Type_Declarator (K : Iir_Kind) return Boolean;
+   function Has_Enumeration_Literal_List (K : Iir_Kind) return Boolean;
+   function Has_Entity_Class_Entry_Chain (K : Iir_Kind) return Boolean;
+   function Has_Group_Constituent_List (K : Iir_Kind) return Boolean;
+   function Has_Unit_Chain (K : Iir_Kind) return Boolean;
+   function Has_Primary_Unit (K : Iir_Kind) return Boolean;
+   function Has_Identifier (K : Iir_Kind) return Boolean;
+   function Has_Label (K : Iir_Kind) return Boolean;
+   function Has_Visible_Flag (K : Iir_Kind) return Boolean;
+   function Has_Range_Constraint (K : Iir_Kind) return Boolean;
+   function Has_Direction (K : Iir_Kind) return Boolean;
+   function Has_Left_Limit (K : Iir_Kind) return Boolean;
+   function Has_Right_Limit (K : Iir_Kind) return Boolean;
+   function Has_Base_Type (K : Iir_Kind) return Boolean;
+   function Has_Resolution_Indication (K : Iir_Kind) return Boolean;
+   function Has_Record_Element_Resolution_Chain (K : Iir_Kind)
+      return Boolean;
+   function Has_Tolerance (K : Iir_Kind) return Boolean;
+   function Has_Plus_Terminal (K : Iir_Kind) return Boolean;
+   function Has_Minus_Terminal (K : Iir_Kind) return Boolean;
+   function Has_Simultaneous_Left (K : Iir_Kind) return Boolean;
+   function Has_Simultaneous_Right (K : Iir_Kind) return Boolean;
+   function Has_Text_File_Flag (K : Iir_Kind) return Boolean;
+   function Has_Only_Characters_Flag (K : Iir_Kind) return Boolean;
+   function Has_Type_Staticness (K : Iir_Kind) return Boolean;
+   function Has_Constraint_State (K : Iir_Kind) return Boolean;
+   function Has_Index_Subtype_List (K : Iir_Kind) return Boolean;
+   function Has_Index_Subtype_Definition_List (K : Iir_Kind)
+      return Boolean;
+   function Has_Element_Subtype_Indication (K : Iir_Kind) return Boolean;
+   function Has_Element_Subtype (K : Iir_Kind) return Boolean;
+   function Has_Index_Constraint_List (K : Iir_Kind) return Boolean;
+   function Has_Array_Element_Constraint (K : Iir_Kind) return Boolean;
+   function Has_Elements_Declaration_List (K : Iir_Kind) return Boolean;
+   function Has_Designated_Type (K : Iir_Kind) return Boolean;
+   function Has_Designated_Subtype_Indication (K : Iir_Kind)
+      return Boolean;
+   function Has_Index_List (K : Iir_Kind) return Boolean;
+   function Has_Reference (K : Iir_Kind) return Boolean;
+   function Has_Nature_Declarator (K : Iir_Kind) return Boolean;
+   function Has_Across_Type (K : Iir_Kind) return Boolean;
+   function Has_Through_Type (K : Iir_Kind) return Boolean;
+   function Has_Target (K : Iir_Kind) return Boolean;
+   function Has_Waveform_Chain (K : Iir_Kind) return Boolean;
+   function Has_Guard (K : Iir_Kind) return Boolean;
+   function Has_Delay_Mechanism (K : Iir_Kind) return Boolean;
+   function Has_Reject_Time_Expression (K : Iir_Kind) return Boolean;
+   function Has_Sensitivity_List (K : Iir_Kind) return Boolean;
+   function Has_Process_Origin (K : Iir_Kind) return Boolean;
+   function Has_Condition_Clause (K : Iir_Kind) return Boolean;
+   function Has_Timeout_Clause (K : Iir_Kind) return Boolean;
+   function Has_Postponed_Flag (K : Iir_Kind) return Boolean;
+   function Has_Callees_List (K : Iir_Kind) return Boolean;
+   function Has_Passive_Flag (K : Iir_Kind) return Boolean;
+   function Has_Resolution_Function_Flag (K : Iir_Kind) return Boolean;
+   function Has_Wait_State (K : Iir_Kind) return Boolean;
+   function Has_All_Sensitized_State (K : Iir_Kind) return Boolean;
+   function Has_Seen_Flag (K : Iir_Kind) return Boolean;
+   function Has_Pure_Flag (K : Iir_Kind) return Boolean;
+   function Has_Foreign_Flag (K : Iir_Kind) return Boolean;
+   function Has_Resolved_Flag (K : Iir_Kind) return Boolean;
+   function Has_Signal_Type_Flag (K : Iir_Kind) return Boolean;
+   function Has_Has_Signal_Flag (K : Iir_Kind) return Boolean;
+   function Has_Purity_State (K : Iir_Kind) return Boolean;
+   function Has_Elab_Flag (K : Iir_Kind) return Boolean;
+   function Has_Index_Constraint_Flag (K : Iir_Kind) return Boolean;
+   function Has_Assertion_Condition (K : Iir_Kind) return Boolean;
+   function Has_Report_Expression (K : Iir_Kind) return Boolean;
+   function Has_Severity_Expression (K : Iir_Kind) return Boolean;
+   function Has_Instantiated_Unit (K : Iir_Kind) return Boolean;
+   function Has_Generic_Map_Aspect_Chain (K : Iir_Kind) return Boolean;
+   function Has_Port_Map_Aspect_Chain (K : Iir_Kind) return Boolean;
+   function Has_Configuration_Name (K : Iir_Kind) return Boolean;
+   function Has_Component_Configuration (K : Iir_Kind) return Boolean;
+   function Has_Configuration_Specification (K : Iir_Kind) return Boolean;
+   function Has_Default_Binding_Indication (K : Iir_Kind) return Boolean;
+   function Has_Default_Configuration_Declaration (K : Iir_Kind)
+      return Boolean;
+   function Has_Expression (K : Iir_Kind) return Boolean;
+   function Has_Allocator_Designated_Type (K : Iir_Kind) return Boolean;
+   function Has_Selected_Waveform_Chain (K : Iir_Kind) return Boolean;
+   function Has_Conditional_Waveform_Chain (K : Iir_Kind) return Boolean;
+   function Has_Guard_Expression (K : Iir_Kind) return Boolean;
+   function Has_Guard_Decl (K : Iir_Kind) return Boolean;
+   function Has_Guard_Sensitivity_List (K : Iir_Kind) return Boolean;
+   function Has_Block_Block_Configuration (K : Iir_Kind) return Boolean;
+   function Has_Package_Header (K : Iir_Kind) return Boolean;
+   function Has_Block_Header (K : Iir_Kind) return Boolean;
+   function Has_Uninstantiated_Name (K : Iir_Kind) return Boolean;
+   function Has_Generate_Block_Configuration (K : Iir_Kind) return Boolean;
+   function Has_Generation_Scheme (K : Iir_Kind) return Boolean;
+   function Has_Condition (K : Iir_Kind) return Boolean;
+   function Has_Else_Clause (K : Iir_Kind) return Boolean;
+   function Has_Parameter_Specification (K : Iir_Kind) return Boolean;
+   function Has_Parent (K : Iir_Kind) return Boolean;
+   function Has_Loop_Label (K : Iir_Kind) return Boolean;
+   function Has_Component_Name (K : Iir_Kind) return Boolean;
+   function Has_Instantiation_List (K : Iir_Kind) return Boolean;
+   function Has_Entity_Aspect (K : Iir_Kind) return Boolean;
+   function Has_Default_Entity_Aspect (K : Iir_Kind) return Boolean;
+   function Has_Default_Generic_Map_Aspect_Chain (K : Iir_Kind)
+      return Boolean;
+   function Has_Default_Port_Map_Aspect_Chain (K : Iir_Kind)
+      return Boolean;
+   function Has_Binding_Indication (K : Iir_Kind) return Boolean;
+   function Has_Named_Entity (K : Iir_Kind) return Boolean;
+   function Has_Alias_Declaration (K : Iir_Kind) return Boolean;
+   function Has_Expr_Staticness (K : Iir_Kind) return Boolean;
+   function Has_Error_Origin (K : Iir_Kind) return Boolean;
+   function Has_Operand (K : Iir_Kind) return Boolean;
+   function Has_Left (K : Iir_Kind) return Boolean;
+   function Has_Right (K : Iir_Kind) return Boolean;
+   function Has_Unit_Name (K : Iir_Kind) return Boolean;
+   function Has_Name (K : Iir_Kind) return Boolean;
+   function Has_Group_Template_Name (K : Iir_Kind) return Boolean;
+   function Has_Name_Staticness (K : Iir_Kind) return Boolean;
+   function Has_Prefix (K : Iir_Kind) return Boolean;
+   function Has_Signature_Prefix (K : Iir_Kind) return Boolean;
+   function Has_Slice_Subtype (K : Iir_Kind) return Boolean;
+   function Has_Suffix (K : Iir_Kind) return Boolean;
+   function Has_Index_Subtype (K : Iir_Kind) return Boolean;
+   function Has_Parameter (K : Iir_Kind) return Boolean;
+   function Has_Actual_Type (K : Iir_Kind) return Boolean;
+   function Has_Association_Chain (K : Iir_Kind) return Boolean;
+   function Has_Individual_Association_Chain (K : Iir_Kind) return Boolean;
+   function Has_Aggregate_Info (K : Iir_Kind) return Boolean;
+   function Has_Sub_Aggregate_Info (K : Iir_Kind) return Boolean;
+   function Has_Aggr_Dynamic_Flag (K : Iir_Kind) return Boolean;
+   function Has_Aggr_Min_Length (K : Iir_Kind) return Boolean;
+   function Has_Aggr_Low_Limit (K : Iir_Kind) return Boolean;
+   function Has_Aggr_High_Limit (K : Iir_Kind) return Boolean;
+   function Has_Aggr_Others_Flag (K : Iir_Kind) return Boolean;
+   function Has_Aggr_Named_Flag (K : Iir_Kind) return Boolean;
+   function Has_Value_Staticness (K : Iir_Kind) return Boolean;
+   function Has_Association_Choices_Chain (K : Iir_Kind) return Boolean;
+   function Has_Case_Statement_Alternative_Chain (K : Iir_Kind)
+      return Boolean;
+   function Has_Choice_Staticness (K : Iir_Kind) return Boolean;
+   function Has_Procedure_Call (K : Iir_Kind) return Boolean;
+   function Has_Implementation (K : Iir_Kind) return Boolean;
+   function Has_Parameter_Association_Chain (K : Iir_Kind) return Boolean;
+   function Has_Method_Object (K : Iir_Kind) return Boolean;
+   function Has_Subtype_Type_Mark (K : Iir_Kind) return Boolean;
+   function Has_Type_Conversion_Subtype (K : Iir_Kind) return Boolean;
+   function Has_Type_Mark (K : Iir_Kind) return Boolean;
+   function Has_File_Type_Mark (K : Iir_Kind) return Boolean;
+   function Has_Return_Type_Mark (K : Iir_Kind) return Boolean;
+   function Has_Lexical_Layout (K : Iir_Kind) return Boolean;
+   function Has_Incomplete_Type_List (K : Iir_Kind) return Boolean;
+   function Has_Has_Disconnect_Flag (K : Iir_Kind) return Boolean;
+   function Has_Has_Active_Flag (K : Iir_Kind) return Boolean;
+   function Has_Is_Within_Flag (K : Iir_Kind) return Boolean;
+   function Has_Type_Marks_List (K : Iir_Kind) return Boolean;
+   function Has_Implicit_Alias_Flag (K : Iir_Kind) return Boolean;
+   function Has_Alias_Signature (K : Iir_Kind) return Boolean;
+   function Has_Attribute_Signature (K : Iir_Kind) return Boolean;
+   function Has_Overload_List (K : Iir_Kind) return Boolean;
+   function Has_Simple_Name_Identifier (K : Iir_Kind) return Boolean;
+   function Has_Simple_Name_Subtype (K : Iir_Kind) return Boolean;
+   function Has_Protected_Type_Body (K : Iir_Kind) return Boolean;
+   function Has_Protected_Type_Declaration (K : Iir_Kind) return Boolean;
+   function Has_End_Location (K : Iir_Kind) return Boolean;
+   function Has_String_Id (K : Iir_Kind) return Boolean;
+   function Has_String_Length (K : Iir_Kind) return Boolean;
+   function Has_Use_Flag (K : Iir_Kind) return Boolean;
+   function Has_End_Has_Reserved_Id (K : Iir_Kind) return Boolean;
+   function Has_End_Has_Identifier (K : Iir_Kind) return Boolean;
+   function Has_End_Has_Postponed (K : Iir_Kind) return Boolean;
+   function Has_Has_Begin (K : Iir_Kind) return Boolean;
+   function Has_Has_Is (K : Iir_Kind) return Boolean;
+   function Has_Has_Pure (K : Iir_Kind) return Boolean;
+   function Has_Has_Body (K : Iir_Kind) return Boolean;
+   function Has_Has_Identifier_List (K : Iir_Kind) return Boolean;
+   function Has_Has_Mode (K : Iir_Kind) return Boolean;
+   function Has_Is_Ref (K : Iir_Kind) return Boolean;
+   function Has_Psl_Property (K : Iir_Kind) return Boolean;
+   function Has_Psl_Declaration (K : Iir_Kind) return Boolean;
+   function Has_Psl_Expression (K : Iir_Kind) return Boolean;
+   function Has_Psl_Boolean (K : Iir_Kind) return Boolean;
+   function Has_PSL_Clock (K : Iir_Kind) return Boolean;
+   function Has_PSL_NFA (K : Iir_Kind) return Boolean;
+end Nodes_Meta;