vhdl: move nodes_meta package to vhdl child.

1 files changed, 924 insertions, 0 deletions

diff --git a/src/vhdl/vhdl-nodes_meta.ads b/src/vhdl/vhdl-nodes_meta.ads
new file mode 100644
index 000000000..38113509f
--- /dev/null
+++ b/src/vhdl/vhdl-nodes_meta.ads
@@ -0,0 +1,924 @@
+--  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 Vhdl.Nodes; use Vhdl.Nodes;
+with Vhdl.Tokens; use Vhdl.Tokens;
+
+package Vhdl.Nodes_Meta is
+   --  The enumeration of all possible types in the nodes.
+   type Types_Enum is
+     (
+      Type_Boolean,
+      Type_Date_State_Type,
+      Type_Date_Type,
+      Type_File_Checksum_Id,
+      Type_Iir,
+      Type_Iir_All_Sensitized,
+      Type_Iir_Constraint,
+      Type_Iir_Delay_Mechanism,
+      Type_Iir_Direction,
+      Type_Iir_Flist,
+      Type_Iir_Fp64,
+      Type_Iir_Index32,
+      Type_Iir_Int32,
+      Type_Iir_Int64,
+      Type_Iir_List,
+      Type_Iir_Mode,
+      Type_Iir_Predefined_Functions,
+      Type_Iir_Pure_State,
+      Type_Iir_Signal_Kind,
+      Type_Iir_Staticness,
+      Type_Int32,
+      Type_Name_Id,
+      Type_Number_Base_Type,
+      Type_PSL_NFA,
+      Type_PSL_Node,
+      Type_Source_File_Entry,
+      Type_Source_Ptr,
+      Type_String8_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_Checksum,
+      Field_Analysis_Time_Stamp,
+      Field_Design_File_Source,
+      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_Fp_Value,
+      Field_Simple_Aggregate_List,
+      Field_String8_Id,
+      Field_String_Length,
+      Field_Bit_String_Base,
+      Field_Has_Signed,
+      Field_Has_Sign,
+      Field_Has_Length,
+      Field_Literal_Origin,
+      Field_Range_Origin,
+      Field_Literal_Subtype,
+      Field_Allocator_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_Actual_Conversion,
+      Field_Formal_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_Choice_Order,
+      Field_Associated_Expr,
+      Field_Associated_Block,
+      Field_Associated_Chain,
+      Field_Choice_Name,
+      Field_Choice_Expression,
+      Field_Choice_Range,
+      Field_Same_Alternative_Flag,
+      Field_Element_Type_Flag,
+      Field_Architecture,
+      Field_Block_Specification,
+      Field_Prev_Block_Configuration,
+      Field_Configuration_Item_Chain,
+      Field_Attribute_Value_Chain,
+      Field_Spec_Chain,
+      Field_Value_Chain,
+      Field_Attribute_Value_Spec_Chain,
+      Field_Entity_Name,
+      Field_Package,
+      Field_Package_Body,
+      Field_Instance_Package_Body,
+      Field_Need_Body,
+      Field_Macro_Expanded_Flag,
+      Field_Need_Instance_Bodies,
+      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_Incomplete_Type_Declaration,
+      Field_Interface_Type_Subprograms,
+      Field_Nature,
+      Field_Mode,
+      Field_Guarded_Signal_Flag,
+      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_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_Use_Clause_Chain,
+      Field_Context_Reference_Chain,
+      Field_Selected_Name,
+      Field_Type_Declarator,
+      Field_Complete_Type_Definition,
+      Field_Incomplete_Type_Ref_Chain,
+      Field_Associated_Type,
+      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_Left_Limit_Expr,
+      Field_Right_Limit_Expr,
+      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_Is_Character_Type,
+      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_Owned_Elements_Chain,
+      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_Package_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_Configuration_Mark_Flag,
+      Field_Configuration_Done_Flag,
+      Field_Index_Constraint_Flag,
+      Field_Hide_Implicit_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_Conditional_Expression,
+      Field_Allocator_Designated_Type,
+      Field_Selected_Waveform_Chain,
+      Field_Conditional_Waveform_Chain,
+      Field_Guard_Expression,
+      Field_Guard_Decl,
+      Field_Guard_Sensitivity_List,
+      Field_Signal_Attribute_Chain,
+      Field_Block_Block_Configuration,
+      Field_Package_Header,
+      Field_Block_Header,
+      Field_Uninstantiated_Package_Name,
+      Field_Uninstantiated_Package_Decl,
+      Field_Instance_Source_File,
+      Field_Generate_Block_Configuration,
+      Field_Generate_Statement_Body,
+      Field_Alternative_Label,
+      Field_Generate_Else_Clause,
+      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_Binding_Indication,
+      Field_Named_Entity,
+      Field_Alias_Declaration,
+      Field_Referenced_Name,
+      Field_Expr_Staticness,
+      Field_Error_Origin,
+      Field_Operand,
+      Field_Left,
+      Field_Right,
+      Field_Physical_Unit,
+      Field_Unit_Name,
+      Field_Name,
+      Field_Group_Template_Name,
+      Field_Name_Staticness,
+      Field_Prefix,
+      Field_Signature_Prefix,
+      Field_External_Pathname,
+      Field_Pathname_Suffix,
+      Field_Pathname_Expression,
+      Field_In_Formal_Flag,
+      Field_Slice_Subtype,
+      Field_Suffix,
+      Field_Index_Subtype,
+      Field_Parameter,
+      Field_Attr_Chain,
+      Field_Signal_Attribute_Declaration,
+      Field_Actual_Type,
+      Field_Actual_Type_Definition,
+      Field_Association_Chain,
+      Field_Individual_Association_Chain,
+      Field_Subprogram_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_Aggregate_Expand_Flag,
+      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_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_Use_Flag,
+      Field_End_Has_Reserved_Id,
+      Field_End_Has_Identifier,
+      Field_End_Has_Postponed,
+      Field_Has_Label,
+      Field_Has_Begin,
+      Field_Has_End,
+      Field_Has_Is,
+      Field_Has_Pure,
+      Field_Has_Body,
+      Field_Has_Parameter,
+      Field_Has_Component,
+      Field_Has_Identifier_List,
+      Field_Has_Mode,
+      Field_Has_Class,
+      Field_Suspend_Flag,
+      Field_Is_Ref,
+      Field_Is_Forward_Ref,
+      Field_Psl_Property,
+      Field_Psl_Sequence,
+      Field_Psl_Declaration,
+      Field_Psl_Expression,
+      Field_Psl_Boolean,
+      Field_PSL_Clock,
+      Field_PSL_NFA,
+      Field_PSL_Nbr_States,
+      Field_PSL_Clock_Sensitivity,
+      Field_PSL_EOS_Flag
+     );
+   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_Chain,
+      Attr_Chain_Next,
+      Attr_Forward_Ref,
+      Attr_Maybe_Forward_Ref,
+      Attr_Maybe_Ref,
+      Attr_Of_Maybe_Ref,
+      Attr_Of_Ref,
+      Attr_Ref
+     );
+
+   --  Get the attribute of a field.
+   function Get_Field_Attribute (F : Fields_Enum) return Field_Attribute;
+
+   type Fields_Index_Extended is new Int32;
+   subtype Fields_Index is Fields_Index_Extended
+     range 0 .. Fields_Index_Extended'Last;
+
+   type Fields_Array is array (Fields_Index 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;
+
+   --  Likewise, but without using arrays (for interfacing with C).
+   function Get_Fields_First (K : Iir_Kind) return Fields_Index;
+   function Get_Fields_Last (K : Iir_Kind) return Fields_Index;
+   function Get_Field_By_Index (Idx : Fields_Index) return Fields_Enum;
+
+   --  Get/Set a field.
+   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_File_Checksum_Id
+      (N : Iir; F : Fields_Enum) return File_Checksum_Id;
+   procedure Set_File_Checksum_Id
+      (N : Iir; F : Fields_Enum; V: File_Checksum_Id);
+
+   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_Flist
+      (N : Iir; F : Fields_Enum) return Iir_Flist;
+   procedure Set_Iir_Flist
+      (N : Iir; F : Fields_Enum; V: Iir_Flist);
+
+   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_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_Name_Id
+      (N : Iir; F : Fields_Enum) return Name_Id;
+   procedure Set_Name_Id
+      (N : Iir; F : Fields_Enum; V: Name_Id);
+
+   function Get_Number_Base_Type
+      (N : Iir; F : Fields_Enum) return Number_Base_Type;
+   procedure Set_Number_Base_Type
+      (N : Iir; F : Fields_Enum; V: Number_Base_Type);
+
+   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_File_Entry
+      (N : Iir; F : Fields_Enum) return Source_File_Entry;
+   procedure Set_Source_File_Entry
+      (N : Iir; F : Fields_Enum; V: Source_File_Entry);
+
+   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_String8_Id
+      (N : Iir; F : Fields_Enum) return String8_Id;
+   procedure Set_String8_Id
+      (N : Iir; F : Fields_Enum; V: String8_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_Checksum (K : Iir_Kind) return Boolean;
+   function Has_Analysis_Time_Stamp (K : Iir_Kind) return Boolean;
+   function Has_Design_File_Source (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_Fp_Value (K : Iir_Kind) return Boolean;
+   function Has_Simple_Aggregate_List (K : Iir_Kind) return Boolean;
+   function Has_String8_Id (K : Iir_Kind) return Boolean;
+   function Has_String_Length (K : Iir_Kind) return Boolean;
+   function Has_Bit_String_Base (K : Iir_Kind) return Boolean;
+   function Has_Has_Signed (K : Iir_Kind) return Boolean;
+   function Has_Has_Sign (K : Iir_Kind) return Boolean;
+   function Has_Has_Length (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_Allocator_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_Actual_Conversion (K : Iir_Kind) return Boolean;
+   function Has_Formal_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_Choice_Order (K : Iir_Kind) return Boolean;
+   function Has_Associated_Expr (K : Iir_Kind) return Boolean;
+   function Has_Associated_Block (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_Element_Type_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_Value_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_Instance_Package_Body (K : Iir_Kind) return Boolean;
+   function Has_Need_Body (K : Iir_Kind) return Boolean;
+   function Has_Macro_Expanded_Flag (K : Iir_Kind) return Boolean;
+   function Has_Need_Instance_Bodies (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_Incomplete_Type_Declaration (K : Iir_Kind) return Boolean;
+   function Has_Interface_Type_Subprograms (K : Iir_Kind) return Boolean;
+   function Has_Nature (K : Iir_Kind) return Boolean;
+   function Has_Mode (K : Iir_Kind) return Boolean;
+   function Has_Guarded_Signal_Flag (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_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_Use_Clause_Chain (K : Iir_Kind) return Boolean;
+   function Has_Context_Reference_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_Complete_Type_Definition (K : Iir_Kind) return Boolean;
+   function Has_Incomplete_Type_Ref_Chain (K : Iir_Kind) return Boolean;
+   function Has_Associated_Type (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_Left_Limit_Expr (K : Iir_Kind) return Boolean;
+   function Has_Right_Limit_Expr (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_Is_Character_Type (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_Owned_Elements_Chain (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_Package_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_Configuration_Mark_Flag (K : Iir_Kind) return Boolean;
+   function Has_Configuration_Done_Flag (K : Iir_Kind) return Boolean;
+   function Has_Index_Constraint_Flag (K : Iir_Kind) return Boolean;
+   function Has_Hide_Implicit_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_Conditional_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_Signal_Attribute_Chain (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_Package_Name (K : Iir_Kind) return Boolean;
+   function Has_Uninstantiated_Package_Decl (K : Iir_Kind) return Boolean;
+   function Has_Instance_Source_File (K : Iir_Kind) return Boolean;
+   function Has_Generate_Block_Configuration (K : Iir_Kind) return Boolean;
+   function Has_Generate_Statement_Body (K : Iir_Kind) return Boolean;
+   function Has_Alternative_Label (K : Iir_Kind) return Boolean;
+   function Has_Generate_Else_Clause (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_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_Referenced_Name (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_Physical_Unit (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_External_Pathname (K : Iir_Kind) return Boolean;
+   function Has_Pathname_Suffix (K : Iir_Kind) return Boolean;
+   function Has_Pathname_Expression (K : Iir_Kind) return Boolean;
+   function Has_In_Formal_Flag (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_Attr_Chain (K : Iir_Kind) return Boolean;
+   function Has_Signal_Attribute_Declaration (K : Iir_Kind) return Boolean;
+   function Has_Actual_Type (K : Iir_Kind) return Boolean;
+   function Has_Actual_Type_Definition (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_Subprogram_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_Aggregate_Expand_Flag (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_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_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_Label (K : Iir_Kind) return Boolean;
+   function Has_Has_Begin (K : Iir_Kind) return Boolean;
+   function Has_Has_End (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_Parameter (K : Iir_Kind) return Boolean;
+   function Has_Has_Component (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_Has_Class (K : Iir_Kind) return Boolean;
+   function Has_Suspend_Flag (K : Iir_Kind) return Boolean;
+   function Has_Is_Ref (K : Iir_Kind) return Boolean;
+   function Has_Is_Forward_Ref (K : Iir_Kind) return Boolean;
+   function Has_Psl_Property (K : Iir_Kind) return Boolean;
+   function Has_Psl_Sequence (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;
+   function Has_PSL_Nbr_States (K : Iir_Kind) return Boolean;
+   function Has_PSL_Clock_Sensitivity (K : Iir_Kind) return Boolean;
+   function Has_PSL_EOS_Flag (K : Iir_Kind) return Boolean;
+end Vhdl.Nodes_Meta;