1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
|
-- 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_File_Checksum_Id,
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_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_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_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_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_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_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_Element_Declaration,
Field_Selected_Element,
Field_Use_Clause_Chain,
Field_Context_Reference_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_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_Block_Block_Configuration,
Field_Package_Header,
Field_Block_Header,
Field_Uninstantiated_Package_Name,
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_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_External_Pathname,
Field_Pathname_Suffix,
Field_Pathname_Expression,
Field_Slice_Subtype,
Field_Suffix,
Field_Index_Subtype,
Field_Parameter,
Field_Actual_Type,
Field_Associated_Interface,
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_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_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_Identifier_List,
Field_Has_Mode,
Field_Has_Class,
Field_Suspend_Flag,
Field_Is_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_Associated_Interface (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_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_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_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_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 Nodes_Meta;
|