diff options
Diffstat (limited to 'src/vhdl/nodes_meta.adb')
| -rw-r--r-- | src/vhdl/nodes_meta.adb | 528 |
1 files changed, 279 insertions, 249 deletions
diff --git a/src/vhdl/nodes_meta.adb b/src/vhdl/nodes_meta.adb index d5aeba314..38fcca01c 100644 --- a/src/vhdl/nodes_meta.adb +++ b/src/vhdl/nodes_meta.adb @@ -269,6 +269,7 @@ package body Nodes_Meta is Field_External_Pathname => Type_Iir, Field_Pathname_Suffix => Type_Iir, Field_Pathname_Expression => Type_Iir, + Field_In_Formal_Flag => Type_Boolean, Field_Slice_Subtype => Type_Iir, Field_Suffix => Type_Iir, Field_Index_Subtype => Type_Iir, @@ -851,6 +852,8 @@ package body Nodes_Meta is return "pathname_suffix"; when Field_Pathname_Expression => return "pathname_expression"; + when Field_In_Formal_Flag => + return "in_formal_flag"; when Field_Slice_Subtype => return "slice_subtype"; when Field_Suffix => @@ -2043,6 +2046,8 @@ package body Nodes_Meta is return Attr_None; when Field_Pathname_Expression => return Attr_None; + when Field_In_Formal_Flag => + return Attr_None; when Field_Slice_Subtype => return Attr_None; when Field_Suffix => @@ -2314,6 +2319,7 @@ package body Nodes_Meta is -- Iir_Kind_Association_Element_By_Expression Field_Whole_Association_Flag, Field_Collapse_Signal_Flag, + Field_In_Formal_Flag, Field_Formal, Field_Chain, Field_Actual, @@ -2322,6 +2328,7 @@ package body Nodes_Meta is -- Iir_Kind_Association_Element_By_Individual Field_Whole_Association_Flag, Field_Collapse_Signal_Flag, + Field_In_Formal_Flag, Field_Choice_Staticness, Field_Formal, Field_Chain, @@ -2332,17 +2339,20 @@ package body Nodes_Meta is Field_Whole_Association_Flag, Field_Collapse_Signal_Flag, Field_Artificial_Flag, + Field_In_Formal_Flag, Field_Formal, Field_Chain, -- Iir_Kind_Association_Element_Package Field_Whole_Association_Flag, Field_Collapse_Signal_Flag, + Field_In_Formal_Flag, Field_Formal, Field_Chain, Field_Actual, -- Iir_Kind_Association_Element_Type Field_Whole_Association_Flag, Field_Collapse_Signal_Flag, + Field_In_Formal_Flag, Field_Formal, Field_Chain, Field_Actual, @@ -2351,6 +2361,7 @@ package body Nodes_Meta is -- Iir_Kind_Association_Element_Subprogram Field_Whole_Association_Flag, Field_Collapse_Signal_Flag, + Field_In_Formal_Flag, Field_Formal, Field_Chain, Field_Actual, @@ -4380,255 +4391,255 @@ package body Nodes_Meta is Iir_Kind_Waveform_Element => 91, Iir_Kind_Conditional_Waveform => 95, Iir_Kind_Conditional_Expression => 99, - Iir_Kind_Association_Element_By_Expression => 106, - Iir_Kind_Association_Element_By_Individual => 114, - Iir_Kind_Association_Element_Open => 119, - Iir_Kind_Association_Element_Package => 124, - Iir_Kind_Association_Element_Type => 131, - Iir_Kind_Association_Element_Subprogram => 136, - Iir_Kind_Choice_By_Range => 143, - Iir_Kind_Choice_By_Expression => 150, - Iir_Kind_Choice_By_Others => 155, - Iir_Kind_Choice_By_None => 160, - Iir_Kind_Choice_By_Name => 166, - Iir_Kind_Entity_Aspect_Entity => 168, - Iir_Kind_Entity_Aspect_Configuration => 169, - Iir_Kind_Entity_Aspect_Open => 169, - Iir_Kind_Block_Configuration => 175, - Iir_Kind_Block_Header => 179, - Iir_Kind_Component_Configuration => 186, - Iir_Kind_Binding_Indication => 190, - Iir_Kind_Entity_Class => 192, - Iir_Kind_Attribute_Value => 200, - Iir_Kind_Signature => 203, - Iir_Kind_Aggregate_Info => 210, - Iir_Kind_Procedure_Call => 214, - Iir_Kind_Record_Element_Constraint => 221, - Iir_Kind_Array_Element_Resolution => 223, - Iir_Kind_Record_Resolution => 224, - Iir_Kind_Record_Element_Resolution => 227, - Iir_Kind_Attribute_Specification => 235, - Iir_Kind_Disconnection_Specification => 241, - Iir_Kind_Configuration_Specification => 247, - Iir_Kind_Access_Type_Definition => 255, - Iir_Kind_Incomplete_Type_Definition => 263, - Iir_Kind_Interface_Type_Definition => 270, - Iir_Kind_File_Type_Definition => 277, - Iir_Kind_Protected_Type_Declaration => 286, - Iir_Kind_Record_Type_Definition => 296, - Iir_Kind_Array_Type_Definition => 308, - Iir_Kind_Array_Subtype_Definition => 323, - Iir_Kind_Record_Subtype_Definition => 334, - Iir_Kind_Access_Subtype_Definition => 342, - Iir_Kind_Physical_Subtype_Definition => 352, - Iir_Kind_Floating_Subtype_Definition => 363, - Iir_Kind_Integer_Subtype_Definition => 373, - Iir_Kind_Enumeration_Subtype_Definition => 383, - Iir_Kind_Enumeration_Type_Definition => 393, - Iir_Kind_Integer_Type_Definition => 401, - Iir_Kind_Floating_Type_Definition => 409, - Iir_Kind_Physical_Type_Definition => 420, - Iir_Kind_Range_Expression => 428, - Iir_Kind_Protected_Type_Body => 435, - Iir_Kind_Wildcard_Type_Definition => 440, - Iir_Kind_Subtype_Definition => 445, - Iir_Kind_Scalar_Nature_Definition => 449, - Iir_Kind_Overload_List => 450, - Iir_Kind_Type_Declaration => 457, - Iir_Kind_Anonymous_Type_Declaration => 463, - Iir_Kind_Subtype_Declaration => 470, - Iir_Kind_Nature_Declaration => 476, - Iir_Kind_Subnature_Declaration => 482, - Iir_Kind_Package_Declaration => 496, - Iir_Kind_Package_Instantiation_Declaration => 509, - Iir_Kind_Package_Body => 517, - Iir_Kind_Configuration_Declaration => 526, - Iir_Kind_Entity_Declaration => 538, - Iir_Kind_Architecture_Body => 550, - Iir_Kind_Context_Declaration => 556, - Iir_Kind_Package_Header => 558, - Iir_Kind_Unit_Declaration => 566, - Iir_Kind_Library_Declaration => 573, - Iir_Kind_Component_Declaration => 583, - Iir_Kind_Attribute_Declaration => 590, - Iir_Kind_Group_Template_Declaration => 596, - Iir_Kind_Group_Declaration => 603, - Iir_Kind_Element_Declaration => 611, - Iir_Kind_Non_Object_Alias_Declaration => 619, - Iir_Kind_Psl_Declaration => 627, - Iir_Kind_Psl_Endpoint_Declaration => 641, - Iir_Kind_Terminal_Declaration => 647, - Iir_Kind_Free_Quantity_Declaration => 656, - Iir_Kind_Across_Quantity_Declaration => 668, - Iir_Kind_Through_Quantity_Declaration => 680, - Iir_Kind_Enumeration_Literal => 691, - Iir_Kind_Function_Declaration => 716, - Iir_Kind_Procedure_Declaration => 740, - Iir_Kind_Function_Body => 750, - Iir_Kind_Procedure_Body => 761, - Iir_Kind_Object_Alias_Declaration => 772, - Iir_Kind_File_Declaration => 786, - Iir_Kind_Guard_Signal_Declaration => 799, - Iir_Kind_Signal_Declaration => 816, - Iir_Kind_Variable_Declaration => 829, - Iir_Kind_Constant_Declaration => 843, - Iir_Kind_Iterator_Declaration => 854, - Iir_Kind_Interface_Constant_Declaration => 870, - Iir_Kind_Interface_Variable_Declaration => 886, - Iir_Kind_Interface_Signal_Declaration => 907, - Iir_Kind_Interface_File_Declaration => 923, - Iir_Kind_Interface_Type_Declaration => 933, - Iir_Kind_Interface_Package_Declaration => 944, - Iir_Kind_Interface_Function_Declaration => 961, - Iir_Kind_Interface_Procedure_Declaration => 974, - Iir_Kind_Signal_Attribute_Declaration => 977, - Iir_Kind_Identity_Operator => 981, - Iir_Kind_Negation_Operator => 985, - Iir_Kind_Absolute_Operator => 989, - Iir_Kind_Not_Operator => 993, - Iir_Kind_Condition_Operator => 997, - Iir_Kind_Reduction_And_Operator => 1001, - Iir_Kind_Reduction_Or_Operator => 1005, - Iir_Kind_Reduction_Nand_Operator => 1009, - Iir_Kind_Reduction_Nor_Operator => 1013, - Iir_Kind_Reduction_Xor_Operator => 1017, - Iir_Kind_Reduction_Xnor_Operator => 1021, - Iir_Kind_And_Operator => 1026, - Iir_Kind_Or_Operator => 1031, - Iir_Kind_Nand_Operator => 1036, - Iir_Kind_Nor_Operator => 1041, - Iir_Kind_Xor_Operator => 1046, - Iir_Kind_Xnor_Operator => 1051, - Iir_Kind_Equality_Operator => 1056, - Iir_Kind_Inequality_Operator => 1061, - Iir_Kind_Less_Than_Operator => 1066, - Iir_Kind_Less_Than_Or_Equal_Operator => 1071, - Iir_Kind_Greater_Than_Operator => 1076, - Iir_Kind_Greater_Than_Or_Equal_Operator => 1081, - Iir_Kind_Match_Equality_Operator => 1086, - Iir_Kind_Match_Inequality_Operator => 1091, - Iir_Kind_Match_Less_Than_Operator => 1096, - Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1101, - Iir_Kind_Match_Greater_Than_Operator => 1106, - Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1111, - Iir_Kind_Sll_Operator => 1116, - Iir_Kind_Sla_Operator => 1121, - Iir_Kind_Srl_Operator => 1126, - Iir_Kind_Sra_Operator => 1131, - Iir_Kind_Rol_Operator => 1136, - Iir_Kind_Ror_Operator => 1141, - Iir_Kind_Addition_Operator => 1146, - Iir_Kind_Substraction_Operator => 1151, - Iir_Kind_Concatenation_Operator => 1156, - Iir_Kind_Multiplication_Operator => 1161, - Iir_Kind_Division_Operator => 1166, - Iir_Kind_Modulus_Operator => 1171, - Iir_Kind_Remainder_Operator => 1176, - Iir_Kind_Exponentiation_Operator => 1181, - Iir_Kind_Function_Call => 1189, - Iir_Kind_Aggregate => 1196, - Iir_Kind_Parenthesis_Expression => 1199, - Iir_Kind_Qualified_Expression => 1203, - Iir_Kind_Type_Conversion => 1208, - Iir_Kind_Allocator_By_Expression => 1212, - Iir_Kind_Allocator_By_Subtype => 1217, - Iir_Kind_Selected_Element => 1223, - Iir_Kind_Dereference => 1228, - Iir_Kind_Implicit_Dereference => 1233, - Iir_Kind_Slice_Name => 1240, - Iir_Kind_Indexed_Name => 1246, - Iir_Kind_Psl_Expression => 1248, - Iir_Kind_Sensitized_Process_Statement => 1269, - Iir_Kind_Process_Statement => 1289, - Iir_Kind_Concurrent_Simple_Signal_Assignment => 1301, - Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1313, - Iir_Kind_Concurrent_Selected_Signal_Assignment => 1326, - Iir_Kind_Concurrent_Assertion_Statement => 1334, - Iir_Kind_Concurrent_Procedure_Call_Statement => 1341, - Iir_Kind_Psl_Assert_Statement => 1354, - Iir_Kind_Psl_Cover_Statement => 1367, - Iir_Kind_Block_Statement => 1380, - Iir_Kind_If_Generate_Statement => 1391, - Iir_Kind_Case_Generate_Statement => 1400, - Iir_Kind_For_Generate_Statement => 1409, - Iir_Kind_Component_Instantiation_Statement => 1419, - Iir_Kind_Psl_Default_Clock => 1423, - Iir_Kind_Simple_Simultaneous_Statement => 1430, - Iir_Kind_Generate_Statement_Body => 1441, - Iir_Kind_If_Generate_Else_Clause => 1447, - Iir_Kind_Simple_Signal_Assignment_Statement => 1457, - Iir_Kind_Conditional_Signal_Assignment_Statement => 1467, - Iir_Kind_Selected_Waveform_Assignment_Statement => 1478, - Iir_Kind_Null_Statement => 1482, - Iir_Kind_Assertion_Statement => 1489, - Iir_Kind_Report_Statement => 1495, - Iir_Kind_Wait_Statement => 1503, - Iir_Kind_Variable_Assignment_Statement => 1510, - Iir_Kind_Conditional_Variable_Assignment_Statement => 1517, - Iir_Kind_Return_Statement => 1523, - Iir_Kind_For_Loop_Statement => 1532, - Iir_Kind_While_Loop_Statement => 1541, - Iir_Kind_Next_Statement => 1548, - Iir_Kind_Exit_Statement => 1555, - Iir_Kind_Case_Statement => 1563, - Iir_Kind_Procedure_Call_Statement => 1569, - Iir_Kind_If_Statement => 1579, - Iir_Kind_Elsif => 1585, - Iir_Kind_Character_Literal => 1593, - Iir_Kind_Simple_Name => 1601, - Iir_Kind_Selected_Name => 1610, - Iir_Kind_Operator_Symbol => 1616, - Iir_Kind_Reference_Name => 1619, - Iir_Kind_Selected_By_All_Name => 1625, - Iir_Kind_Parenthesis_Name => 1630, - Iir_Kind_External_Constant_Name => 1638, - Iir_Kind_External_Signal_Name => 1646, - Iir_Kind_External_Variable_Name => 1654, - Iir_Kind_Package_Pathname => 1658, - Iir_Kind_Absolute_Pathname => 1659, - Iir_Kind_Relative_Pathname => 1660, - Iir_Kind_Pathname_Element => 1665, - Iir_Kind_Base_Attribute => 1667, - Iir_Kind_Subtype_Attribute => 1672, - Iir_Kind_Element_Attribute => 1677, - Iir_Kind_Left_Type_Attribute => 1682, - Iir_Kind_Right_Type_Attribute => 1687, - Iir_Kind_High_Type_Attribute => 1692, - Iir_Kind_Low_Type_Attribute => 1697, - Iir_Kind_Ascending_Type_Attribute => 1702, - Iir_Kind_Image_Attribute => 1708, - Iir_Kind_Value_Attribute => 1714, - Iir_Kind_Pos_Attribute => 1720, - Iir_Kind_Val_Attribute => 1726, - Iir_Kind_Succ_Attribute => 1732, - Iir_Kind_Pred_Attribute => 1738, - Iir_Kind_Leftof_Attribute => 1744, - Iir_Kind_Rightof_Attribute => 1750, - Iir_Kind_Delayed_Attribute => 1759, - Iir_Kind_Stable_Attribute => 1768, - Iir_Kind_Quiet_Attribute => 1777, - Iir_Kind_Transaction_Attribute => 1786, - Iir_Kind_Event_Attribute => 1790, - Iir_Kind_Active_Attribute => 1794, - Iir_Kind_Last_Event_Attribute => 1798, - Iir_Kind_Last_Active_Attribute => 1802, - Iir_Kind_Last_Value_Attribute => 1806, - Iir_Kind_Driving_Attribute => 1810, - Iir_Kind_Driving_Value_Attribute => 1814, - Iir_Kind_Behavior_Attribute => 1814, - Iir_Kind_Structure_Attribute => 1814, - Iir_Kind_Simple_Name_Attribute => 1821, - Iir_Kind_Instance_Name_Attribute => 1826, - Iir_Kind_Path_Name_Attribute => 1831, - Iir_Kind_Left_Array_Attribute => 1838, - Iir_Kind_Right_Array_Attribute => 1845, - Iir_Kind_High_Array_Attribute => 1852, - Iir_Kind_Low_Array_Attribute => 1859, - Iir_Kind_Length_Array_Attribute => 1866, - Iir_Kind_Ascending_Array_Attribute => 1873, - Iir_Kind_Range_Array_Attribute => 1880, - Iir_Kind_Reverse_Range_Array_Attribute => 1887, - Iir_Kind_Attribute_Name => 1896 + Iir_Kind_Association_Element_By_Expression => 107, + Iir_Kind_Association_Element_By_Individual => 116, + Iir_Kind_Association_Element_Open => 122, + Iir_Kind_Association_Element_Package => 128, + Iir_Kind_Association_Element_Type => 136, + Iir_Kind_Association_Element_Subprogram => 142, + Iir_Kind_Choice_By_Range => 149, + Iir_Kind_Choice_By_Expression => 156, + Iir_Kind_Choice_By_Others => 161, + Iir_Kind_Choice_By_None => 166, + Iir_Kind_Choice_By_Name => 172, + Iir_Kind_Entity_Aspect_Entity => 174, + Iir_Kind_Entity_Aspect_Configuration => 175, + Iir_Kind_Entity_Aspect_Open => 175, + Iir_Kind_Block_Configuration => 181, + Iir_Kind_Block_Header => 185, + Iir_Kind_Component_Configuration => 192, + Iir_Kind_Binding_Indication => 196, + Iir_Kind_Entity_Class => 198, + Iir_Kind_Attribute_Value => 206, + Iir_Kind_Signature => 209, + Iir_Kind_Aggregate_Info => 216, + Iir_Kind_Procedure_Call => 220, + Iir_Kind_Record_Element_Constraint => 227, + Iir_Kind_Array_Element_Resolution => 229, + Iir_Kind_Record_Resolution => 230, + Iir_Kind_Record_Element_Resolution => 233, + Iir_Kind_Attribute_Specification => 241, + Iir_Kind_Disconnection_Specification => 247, + Iir_Kind_Configuration_Specification => 253, + Iir_Kind_Access_Type_Definition => 261, + Iir_Kind_Incomplete_Type_Definition => 269, + Iir_Kind_Interface_Type_Definition => 276, + Iir_Kind_File_Type_Definition => 283, + Iir_Kind_Protected_Type_Declaration => 292, + Iir_Kind_Record_Type_Definition => 302, + Iir_Kind_Array_Type_Definition => 314, + Iir_Kind_Array_Subtype_Definition => 329, + Iir_Kind_Record_Subtype_Definition => 340, + Iir_Kind_Access_Subtype_Definition => 348, + Iir_Kind_Physical_Subtype_Definition => 358, + Iir_Kind_Floating_Subtype_Definition => 369, + Iir_Kind_Integer_Subtype_Definition => 379, + Iir_Kind_Enumeration_Subtype_Definition => 389, + Iir_Kind_Enumeration_Type_Definition => 399, + Iir_Kind_Integer_Type_Definition => 407, + Iir_Kind_Floating_Type_Definition => 415, + Iir_Kind_Physical_Type_Definition => 426, + Iir_Kind_Range_Expression => 434, + Iir_Kind_Protected_Type_Body => 441, + Iir_Kind_Wildcard_Type_Definition => 446, + Iir_Kind_Subtype_Definition => 451, + Iir_Kind_Scalar_Nature_Definition => 455, + Iir_Kind_Overload_List => 456, + Iir_Kind_Type_Declaration => 463, + Iir_Kind_Anonymous_Type_Declaration => 469, + Iir_Kind_Subtype_Declaration => 476, + Iir_Kind_Nature_Declaration => 482, + Iir_Kind_Subnature_Declaration => 488, + Iir_Kind_Package_Declaration => 502, + Iir_Kind_Package_Instantiation_Declaration => 515, + Iir_Kind_Package_Body => 523, + Iir_Kind_Configuration_Declaration => 532, + Iir_Kind_Entity_Declaration => 544, + Iir_Kind_Architecture_Body => 556, + Iir_Kind_Context_Declaration => 562, + Iir_Kind_Package_Header => 564, + Iir_Kind_Unit_Declaration => 572, + Iir_Kind_Library_Declaration => 579, + Iir_Kind_Component_Declaration => 589, + Iir_Kind_Attribute_Declaration => 596, + Iir_Kind_Group_Template_Declaration => 602, + Iir_Kind_Group_Declaration => 609, + Iir_Kind_Element_Declaration => 617, + Iir_Kind_Non_Object_Alias_Declaration => 625, + Iir_Kind_Psl_Declaration => 633, + Iir_Kind_Psl_Endpoint_Declaration => 647, + Iir_Kind_Terminal_Declaration => 653, + Iir_Kind_Free_Quantity_Declaration => 662, + Iir_Kind_Across_Quantity_Declaration => 674, + Iir_Kind_Through_Quantity_Declaration => 686, + Iir_Kind_Enumeration_Literal => 697, + Iir_Kind_Function_Declaration => 722, + Iir_Kind_Procedure_Declaration => 746, + Iir_Kind_Function_Body => 756, + Iir_Kind_Procedure_Body => 767, + Iir_Kind_Object_Alias_Declaration => 778, + Iir_Kind_File_Declaration => 792, + Iir_Kind_Guard_Signal_Declaration => 805, + Iir_Kind_Signal_Declaration => 822, + Iir_Kind_Variable_Declaration => 835, + Iir_Kind_Constant_Declaration => 849, + Iir_Kind_Iterator_Declaration => 860, + Iir_Kind_Interface_Constant_Declaration => 876, + Iir_Kind_Interface_Variable_Declaration => 892, + Iir_Kind_Interface_Signal_Declaration => 913, + Iir_Kind_Interface_File_Declaration => 929, + Iir_Kind_Interface_Type_Declaration => 939, + Iir_Kind_Interface_Package_Declaration => 950, + Iir_Kind_Interface_Function_Declaration => 967, + Iir_Kind_Interface_Procedure_Declaration => 980, + Iir_Kind_Signal_Attribute_Declaration => 983, + Iir_Kind_Identity_Operator => 987, + Iir_Kind_Negation_Operator => 991, + Iir_Kind_Absolute_Operator => 995, + Iir_Kind_Not_Operator => 999, + Iir_Kind_Condition_Operator => 1003, + Iir_Kind_Reduction_And_Operator => 1007, + Iir_Kind_Reduction_Or_Operator => 1011, + Iir_Kind_Reduction_Nand_Operator => 1015, + Iir_Kind_Reduction_Nor_Operator => 1019, + Iir_Kind_Reduction_Xor_Operator => 1023, + Iir_Kind_Reduction_Xnor_Operator => 1027, + Iir_Kind_And_Operator => 1032, + Iir_Kind_Or_Operator => 1037, + Iir_Kind_Nand_Operator => 1042, + Iir_Kind_Nor_Operator => 1047, + Iir_Kind_Xor_Operator => 1052, + Iir_Kind_Xnor_Operator => 1057, + Iir_Kind_Equality_Operator => 1062, + Iir_Kind_Inequality_Operator => 1067, + Iir_Kind_Less_Than_Operator => 1072, + Iir_Kind_Less_Than_Or_Equal_Operator => 1077, + Iir_Kind_Greater_Than_Operator => 1082, + Iir_Kind_Greater_Than_Or_Equal_Operator => 1087, + Iir_Kind_Match_Equality_Operator => 1092, + Iir_Kind_Match_Inequality_Operator => 1097, + Iir_Kind_Match_Less_Than_Operator => 1102, + Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1107, + Iir_Kind_Match_Greater_Than_Operator => 1112, + Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1117, + Iir_Kind_Sll_Operator => 1122, + Iir_Kind_Sla_Operator => 1127, + Iir_Kind_Srl_Operator => 1132, + Iir_Kind_Sra_Operator => 1137, + Iir_Kind_Rol_Operator => 1142, + Iir_Kind_Ror_Operator => 1147, + Iir_Kind_Addition_Operator => 1152, + Iir_Kind_Substraction_Operator => 1157, + Iir_Kind_Concatenation_Operator => 1162, + Iir_Kind_Multiplication_Operator => 1167, + Iir_Kind_Division_Operator => 1172, + Iir_Kind_Modulus_Operator => 1177, + Iir_Kind_Remainder_Operator => 1182, + Iir_Kind_Exponentiation_Operator => 1187, + Iir_Kind_Function_Call => 1195, + Iir_Kind_Aggregate => 1202, + Iir_Kind_Parenthesis_Expression => 1205, + Iir_Kind_Qualified_Expression => 1209, + Iir_Kind_Type_Conversion => 1214, + Iir_Kind_Allocator_By_Expression => 1218, + Iir_Kind_Allocator_By_Subtype => 1223, + Iir_Kind_Selected_Element => 1229, + Iir_Kind_Dereference => 1234, + Iir_Kind_Implicit_Dereference => 1239, + Iir_Kind_Slice_Name => 1246, + Iir_Kind_Indexed_Name => 1252, + Iir_Kind_Psl_Expression => 1254, + Iir_Kind_Sensitized_Process_Statement => 1275, + Iir_Kind_Process_Statement => 1295, + Iir_Kind_Concurrent_Simple_Signal_Assignment => 1307, + Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1319, + Iir_Kind_Concurrent_Selected_Signal_Assignment => 1332, + Iir_Kind_Concurrent_Assertion_Statement => 1340, + Iir_Kind_Concurrent_Procedure_Call_Statement => 1347, + Iir_Kind_Psl_Assert_Statement => 1360, + Iir_Kind_Psl_Cover_Statement => 1373, + Iir_Kind_Block_Statement => 1386, + Iir_Kind_If_Generate_Statement => 1397, + Iir_Kind_Case_Generate_Statement => 1406, + Iir_Kind_For_Generate_Statement => 1415, + Iir_Kind_Component_Instantiation_Statement => 1425, + Iir_Kind_Psl_Default_Clock => 1429, + Iir_Kind_Simple_Simultaneous_Statement => 1436, + Iir_Kind_Generate_Statement_Body => 1447, + Iir_Kind_If_Generate_Else_Clause => 1453, + Iir_Kind_Simple_Signal_Assignment_Statement => 1463, + Iir_Kind_Conditional_Signal_Assignment_Statement => 1473, + Iir_Kind_Selected_Waveform_Assignment_Statement => 1484, + Iir_Kind_Null_Statement => 1488, + Iir_Kind_Assertion_Statement => 1495, + Iir_Kind_Report_Statement => 1501, + Iir_Kind_Wait_Statement => 1509, + Iir_Kind_Variable_Assignment_Statement => 1516, + Iir_Kind_Conditional_Variable_Assignment_Statement => 1523, + Iir_Kind_Return_Statement => 1529, + Iir_Kind_For_Loop_Statement => 1538, + Iir_Kind_While_Loop_Statement => 1547, + Iir_Kind_Next_Statement => 1554, + Iir_Kind_Exit_Statement => 1561, + Iir_Kind_Case_Statement => 1569, + Iir_Kind_Procedure_Call_Statement => 1575, + Iir_Kind_If_Statement => 1585, + Iir_Kind_Elsif => 1591, + Iir_Kind_Character_Literal => 1599, + Iir_Kind_Simple_Name => 1607, + Iir_Kind_Selected_Name => 1616, + Iir_Kind_Operator_Symbol => 1622, + Iir_Kind_Reference_Name => 1625, + Iir_Kind_Selected_By_All_Name => 1631, + Iir_Kind_Parenthesis_Name => 1636, + Iir_Kind_External_Constant_Name => 1644, + Iir_Kind_External_Signal_Name => 1652, + Iir_Kind_External_Variable_Name => 1660, + Iir_Kind_Package_Pathname => 1664, + Iir_Kind_Absolute_Pathname => 1665, + Iir_Kind_Relative_Pathname => 1666, + Iir_Kind_Pathname_Element => 1671, + Iir_Kind_Base_Attribute => 1673, + Iir_Kind_Subtype_Attribute => 1678, + Iir_Kind_Element_Attribute => 1683, + Iir_Kind_Left_Type_Attribute => 1688, + Iir_Kind_Right_Type_Attribute => 1693, + Iir_Kind_High_Type_Attribute => 1698, + Iir_Kind_Low_Type_Attribute => 1703, + Iir_Kind_Ascending_Type_Attribute => 1708, + Iir_Kind_Image_Attribute => 1714, + Iir_Kind_Value_Attribute => 1720, + Iir_Kind_Pos_Attribute => 1726, + Iir_Kind_Val_Attribute => 1732, + Iir_Kind_Succ_Attribute => 1738, + Iir_Kind_Pred_Attribute => 1744, + Iir_Kind_Leftof_Attribute => 1750, + Iir_Kind_Rightof_Attribute => 1756, + Iir_Kind_Delayed_Attribute => 1765, + Iir_Kind_Stable_Attribute => 1774, + Iir_Kind_Quiet_Attribute => 1783, + Iir_Kind_Transaction_Attribute => 1792, + Iir_Kind_Event_Attribute => 1796, + Iir_Kind_Active_Attribute => 1800, + Iir_Kind_Last_Event_Attribute => 1804, + Iir_Kind_Last_Active_Attribute => 1808, + Iir_Kind_Last_Value_Attribute => 1812, + Iir_Kind_Driving_Attribute => 1816, + Iir_Kind_Driving_Value_Attribute => 1820, + Iir_Kind_Behavior_Attribute => 1820, + Iir_Kind_Structure_Attribute => 1820, + Iir_Kind_Simple_Name_Attribute => 1827, + Iir_Kind_Instance_Name_Attribute => 1832, + Iir_Kind_Path_Name_Attribute => 1837, + Iir_Kind_Left_Array_Attribute => 1844, + Iir_Kind_Right_Array_Attribute => 1851, + Iir_Kind_High_Array_Attribute => 1858, + Iir_Kind_Low_Array_Attribute => 1865, + Iir_Kind_Length_Array_Attribute => 1872, + Iir_Kind_Ascending_Array_Attribute => 1879, + Iir_Kind_Range_Array_Attribute => 1886, + Iir_Kind_Reverse_Range_Array_Attribute => 1893, + Iir_Kind_Attribute_Name => 1902 ); function Get_Fields (K : Iir_Kind) return Fields_Array @@ -4714,6 +4725,8 @@ package body Nodes_Meta is return Get_Index_Constraint_Flag (N); when Field_Hide_Implicit_Flag => return Get_Hide_Implicit_Flag (N); + when Field_In_Formal_Flag => + return Get_In_Formal_Flag (N); when Field_Aggr_Dynamic_Flag => return Get_Aggr_Dynamic_Flag (N); when Field_Aggr_Others_Flag => @@ -4840,6 +4853,8 @@ package body Nodes_Meta is Set_Index_Constraint_Flag (N, V); when Field_Hide_Implicit_Flag => Set_Hide_Implicit_Flag (N, V); + when Field_In_Formal_Flag => + Set_In_Formal_Flag (N, V); when Field_Aggr_Dynamic_Flag => Set_Aggr_Dynamic_Flag (N, V); when Field_Aggr_Others_Flag => @@ -9761,6 +9776,21 @@ package body Nodes_Meta is return K = Iir_Kind_Pathname_Element; end Has_Pathname_Expression; + function Has_In_Formal_Flag (K : Iir_Kind) return Boolean is + begin + case K is + when Iir_Kind_Association_Element_By_Expression + | Iir_Kind_Association_Element_By_Individual + | Iir_Kind_Association_Element_Open + | Iir_Kind_Association_Element_Package + | Iir_Kind_Association_Element_Type + | Iir_Kind_Association_Element_Subprogram => + return True; + when others => + return False; + end case; + end Has_In_Formal_Flag; + function Has_Slice_Subtype (K : Iir_Kind) return Boolean is begin return K = Iir_Kind_Slice_Name; |