diff options
Diffstat (limited to 'src/vhdl/vhdl-nodes_meta.adb')
-rw-r--r-- | src/vhdl/vhdl-nodes_meta.adb | 477 |
1 files changed, 251 insertions, 226 deletions
diff --git a/src/vhdl/vhdl-nodes_meta.adb b/src/vhdl/vhdl-nodes_meta.adb index c64eed50b..1392a860d 100644 --- a/src/vhdl/vhdl-nodes_meta.adb +++ b/src/vhdl/vhdl-nodes_meta.adb @@ -105,6 +105,7 @@ package body Vhdl.Nodes_Meta is Field_Inherit_Spec_Chain => Type_Iir, Field_Vunit_Item_Chain => Type_Iir, Field_Bound_Vunit_Chain => Type_Iir, + Field_Verification_Block_Configuration => Type_Iir, Field_Block_Configuration => Type_Iir, Field_Concurrent_Statement_Chain => Type_Iir, Field_Chain => Type_Iir, @@ -564,6 +565,8 @@ package body Vhdl.Nodes_Meta is return "vunit_item_chain"; when Field_Bound_Vunit_Chain => return "bound_vunit_chain"; + when Field_Verification_Block_Configuration => + return "verification_block_configuration"; when Field_Block_Configuration => return "block_configuration"; when Field_Concurrent_Statement_Chain => @@ -1924,6 +1927,8 @@ package body Vhdl.Nodes_Meta is return Attr_Chain; when Field_Bound_Vunit_Chain => return Attr_Chain; + when Field_Verification_Block_Configuration => + return Attr_None; when Field_Block_Configuration => return Attr_None; when Field_Concurrent_Statement_Chain => @@ -3177,6 +3182,7 @@ package body Vhdl.Nodes_Meta is Field_Inherit_Spec_Chain, Field_Attribute_Value_Chain, Field_Vunit_Item_Chain, + Field_Verification_Block_Configuration, -- Iir_Kind_Vprop_Declaration Field_Identifier, Field_Has_Begin, @@ -3189,6 +3195,7 @@ package body Vhdl.Nodes_Meta is Field_Inherit_Spec_Chain, Field_Attribute_Value_Chain, Field_Vunit_Item_Chain, + Field_Verification_Block_Configuration, -- Iir_Kind_Vunit_Declaration Field_Identifier, Field_Has_Begin, @@ -3201,6 +3208,7 @@ package body Vhdl.Nodes_Meta is Field_Inherit_Spec_Chain, Field_Attribute_Value_Chain, Field_Vunit_Item_Chain, + Field_Verification_Block_Configuration, Field_Bound_Vunit_Chain, -- Iir_Kind_Package_Body Field_Identifier, @@ -5204,232 +5212,232 @@ package body Vhdl.Nodes_Meta is Iir_Kind_Context_Declaration => 567, Iir_Kind_Package_Declaration => 582, Iir_Kind_Package_Instantiation_Declaration => 596, - Iir_Kind_Vmode_Declaration => 607, - Iir_Kind_Vprop_Declaration => 618, - Iir_Kind_Vunit_Declaration => 630, - Iir_Kind_Package_Body => 638, - Iir_Kind_Architecture_Body => 651, - Iir_Kind_Type_Declaration => 658, - Iir_Kind_Anonymous_Type_Declaration => 664, - Iir_Kind_Subtype_Declaration => 671, - Iir_Kind_Nature_Declaration => 677, - Iir_Kind_Subnature_Declaration => 684, - Iir_Kind_Package_Header => 686, - Iir_Kind_Unit_Declaration => 695, - Iir_Kind_Library_Declaration => 703, - Iir_Kind_Component_Declaration => 713, - Iir_Kind_Attribute_Declaration => 720, - Iir_Kind_Group_Template_Declaration => 726, - Iir_Kind_Group_Declaration => 733, - Iir_Kind_Element_Declaration => 740, - Iir_Kind_Nature_Element_Declaration => 747, - Iir_Kind_Non_Object_Alias_Declaration => 755, - Iir_Kind_Psl_Declaration => 763, - Iir_Kind_Psl_Endpoint_Declaration => 777, - Iir_Kind_Enumeration_Literal => 788, - Iir_Kind_Function_Declaration => 813, - Iir_Kind_Procedure_Declaration => 837, - Iir_Kind_Function_Body => 847, - Iir_Kind_Procedure_Body => 858, - Iir_Kind_Terminal_Declaration => 867, - Iir_Kind_Object_Alias_Declaration => 878, - Iir_Kind_Free_Quantity_Declaration => 890, - Iir_Kind_Spectrum_Quantity_Declaration => 903, - Iir_Kind_Noise_Quantity_Declaration => 915, - Iir_Kind_Across_Quantity_Declaration => 931, - Iir_Kind_Through_Quantity_Declaration => 947, - Iir_Kind_File_Declaration => 961, - Iir_Kind_Guard_Signal_Declaration => 974, - Iir_Kind_Signal_Declaration => 991, - Iir_Kind_Variable_Declaration => 1004, - Iir_Kind_Constant_Declaration => 1018, - Iir_Kind_Iterator_Declaration => 1029, - Iir_Kind_Interface_Constant_Declaration => 1045, - Iir_Kind_Interface_Variable_Declaration => 1061, - Iir_Kind_Interface_Signal_Declaration => 1082, - Iir_Kind_Interface_File_Declaration => 1098, - Iir_Kind_Interface_Quantity_Declaration => 1114, - Iir_Kind_Interface_Terminal_Declaration => 1126, - Iir_Kind_Interface_Type_Declaration => 1136, - Iir_Kind_Interface_Package_Declaration => 1148, - Iir_Kind_Interface_Function_Declaration => 1165, - Iir_Kind_Interface_Procedure_Declaration => 1178, - Iir_Kind_Anonymous_Signal_Declaration => 1187, - Iir_Kind_Signal_Attribute_Declaration => 1190, - Iir_Kind_Identity_Operator => 1194, - Iir_Kind_Negation_Operator => 1198, - Iir_Kind_Absolute_Operator => 1202, - Iir_Kind_Not_Operator => 1206, - Iir_Kind_Implicit_Condition_Operator => 1210, - Iir_Kind_Condition_Operator => 1214, - Iir_Kind_Reduction_And_Operator => 1218, - Iir_Kind_Reduction_Or_Operator => 1222, - Iir_Kind_Reduction_Nand_Operator => 1226, - Iir_Kind_Reduction_Nor_Operator => 1230, - Iir_Kind_Reduction_Xor_Operator => 1234, - Iir_Kind_Reduction_Xnor_Operator => 1238, - Iir_Kind_And_Operator => 1243, - Iir_Kind_Or_Operator => 1248, - Iir_Kind_Nand_Operator => 1253, - Iir_Kind_Nor_Operator => 1258, - Iir_Kind_Xor_Operator => 1263, - Iir_Kind_Xnor_Operator => 1268, - Iir_Kind_Equality_Operator => 1273, - Iir_Kind_Inequality_Operator => 1278, - Iir_Kind_Less_Than_Operator => 1283, - Iir_Kind_Less_Than_Or_Equal_Operator => 1288, - Iir_Kind_Greater_Than_Operator => 1293, - Iir_Kind_Greater_Than_Or_Equal_Operator => 1298, - Iir_Kind_Match_Equality_Operator => 1303, - Iir_Kind_Match_Inequality_Operator => 1308, - Iir_Kind_Match_Less_Than_Operator => 1313, - Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1318, - Iir_Kind_Match_Greater_Than_Operator => 1323, - Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1328, - Iir_Kind_Sll_Operator => 1333, - Iir_Kind_Sla_Operator => 1338, - Iir_Kind_Srl_Operator => 1343, - Iir_Kind_Sra_Operator => 1348, - Iir_Kind_Rol_Operator => 1353, - Iir_Kind_Ror_Operator => 1358, - Iir_Kind_Addition_Operator => 1363, - Iir_Kind_Substraction_Operator => 1368, - Iir_Kind_Concatenation_Operator => 1373, - Iir_Kind_Multiplication_Operator => 1378, - Iir_Kind_Division_Operator => 1383, - Iir_Kind_Modulus_Operator => 1388, - Iir_Kind_Remainder_Operator => 1393, - Iir_Kind_Exponentiation_Operator => 1398, - Iir_Kind_Function_Call => 1406, - Iir_Kind_Aggregate => 1413, - Iir_Kind_Parenthesis_Expression => 1416, - Iir_Kind_Qualified_Expression => 1420, - Iir_Kind_Type_Conversion => 1425, - Iir_Kind_Allocator_By_Expression => 1429, - Iir_Kind_Allocator_By_Subtype => 1434, - Iir_Kind_Selected_Element => 1442, - Iir_Kind_Dereference => 1447, - Iir_Kind_Implicit_Dereference => 1452, - Iir_Kind_Slice_Name => 1459, - Iir_Kind_Indexed_Name => 1465, - Iir_Kind_Psl_Prev => 1471, - Iir_Kind_Psl_Stable => 1476, - Iir_Kind_Psl_Rose => 1481, - Iir_Kind_Psl_Fell => 1486, - Iir_Kind_Psl_Expression => 1488, - Iir_Kind_Sensitized_Process_Statement => 1509, - Iir_Kind_Process_Statement => 1529, - Iir_Kind_Concurrent_Simple_Signal_Assignment => 1542, - Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1555, - Iir_Kind_Concurrent_Selected_Signal_Assignment => 1569, - Iir_Kind_Concurrent_Assertion_Statement => 1577, - Iir_Kind_Concurrent_Procedure_Call_Statement => 1584, - Iir_Kind_Concurrent_Break_Statement => 1592, - Iir_Kind_Psl_Assert_Directive => 1605, - Iir_Kind_Psl_Assume_Directive => 1616, - Iir_Kind_Psl_Cover_Directive => 1628, - Iir_Kind_Psl_Restrict_Directive => 1639, - Iir_Kind_Block_Statement => 1653, - Iir_Kind_If_Generate_Statement => 1664, - Iir_Kind_Case_Generate_Statement => 1673, - Iir_Kind_For_Generate_Statement => 1682, - Iir_Kind_Component_Instantiation_Statement => 1693, - Iir_Kind_Psl_Default_Clock => 1697, - Iir_Kind_Generate_Statement_Body => 1708, - Iir_Kind_If_Generate_Else_Clause => 1714, - Iir_Kind_Simple_Simultaneous_Statement => 1721, - Iir_Kind_Simultaneous_Null_Statement => 1725, - Iir_Kind_Simultaneous_Procedural_Statement => 1736, - Iir_Kind_Simultaneous_Case_Statement => 1745, - Iir_Kind_Simultaneous_If_Statement => 1754, - Iir_Kind_Simultaneous_Elsif => 1760, - Iir_Kind_Simple_Signal_Assignment_Statement => 1771, - Iir_Kind_Conditional_Signal_Assignment_Statement => 1782, - Iir_Kind_Selected_Waveform_Assignment_Statement => 1794, - Iir_Kind_Null_Statement => 1798, - Iir_Kind_Assertion_Statement => 1805, - Iir_Kind_Report_Statement => 1811, - Iir_Kind_Wait_Statement => 1819, - Iir_Kind_Variable_Assignment_Statement => 1826, - Iir_Kind_Conditional_Variable_Assignment_Statement => 1833, - Iir_Kind_Return_Statement => 1839, - Iir_Kind_For_Loop_Statement => 1850, - Iir_Kind_While_Loop_Statement => 1861, - Iir_Kind_Next_Statement => 1868, - Iir_Kind_Exit_Statement => 1875, - Iir_Kind_Case_Statement => 1883, - Iir_Kind_Procedure_Call_Statement => 1889, - Iir_Kind_Break_Statement => 1896, - Iir_Kind_If_Statement => 1906, - Iir_Kind_Elsif => 1912, - Iir_Kind_Character_Literal => 1920, - Iir_Kind_Simple_Name => 1928, - Iir_Kind_Selected_Name => 1937, - Iir_Kind_Operator_Symbol => 1943, - Iir_Kind_Reference_Name => 1948, - Iir_Kind_External_Constant_Name => 1956, - Iir_Kind_External_Signal_Name => 1964, - Iir_Kind_External_Variable_Name => 1973, - Iir_Kind_Selected_By_All_Name => 1979, - Iir_Kind_Parenthesis_Name => 1984, - Iir_Kind_Package_Pathname => 1988, - Iir_Kind_Absolute_Pathname => 1989, - Iir_Kind_Relative_Pathname => 1990, - Iir_Kind_Pathname_Element => 1995, - Iir_Kind_Base_Attribute => 1997, - Iir_Kind_Subtype_Attribute => 2002, - Iir_Kind_Element_Attribute => 2007, - Iir_Kind_Across_Attribute => 2012, - Iir_Kind_Through_Attribute => 2017, - Iir_Kind_Nature_Reference_Attribute => 2021, - Iir_Kind_Left_Type_Attribute => 2026, - Iir_Kind_Right_Type_Attribute => 2031, - Iir_Kind_High_Type_Attribute => 2036, - Iir_Kind_Low_Type_Attribute => 2041, - Iir_Kind_Ascending_Type_Attribute => 2046, - Iir_Kind_Image_Attribute => 2052, - Iir_Kind_Value_Attribute => 2058, - Iir_Kind_Pos_Attribute => 2064, - Iir_Kind_Val_Attribute => 2070, - Iir_Kind_Succ_Attribute => 2076, - Iir_Kind_Pred_Attribute => 2082, - Iir_Kind_Leftof_Attribute => 2088, - Iir_Kind_Rightof_Attribute => 2094, - Iir_Kind_Signal_Slew_Attribute => 2102, - Iir_Kind_Quantity_Slew_Attribute => 2110, - Iir_Kind_Ramp_Attribute => 2118, - Iir_Kind_Zoh_Attribute => 2126, - Iir_Kind_Ltf_Attribute => 2134, - Iir_Kind_Ztf_Attribute => 2144, - Iir_Kind_Dot_Attribute => 2151, - Iir_Kind_Integ_Attribute => 2158, - Iir_Kind_Above_Attribute => 2166, - Iir_Kind_Quantity_Delayed_Attribute => 2174, - Iir_Kind_Delayed_Attribute => 2183, - Iir_Kind_Stable_Attribute => 2192, - Iir_Kind_Quiet_Attribute => 2201, - Iir_Kind_Transaction_Attribute => 2210, - Iir_Kind_Event_Attribute => 2214, - Iir_Kind_Active_Attribute => 2218, - Iir_Kind_Last_Event_Attribute => 2222, - Iir_Kind_Last_Active_Attribute => 2226, - Iir_Kind_Last_Value_Attribute => 2230, - Iir_Kind_Driving_Attribute => 2234, - Iir_Kind_Driving_Value_Attribute => 2238, - Iir_Kind_Behavior_Attribute => 2238, - Iir_Kind_Structure_Attribute => 2238, - Iir_Kind_Simple_Name_Attribute => 2245, - Iir_Kind_Instance_Name_Attribute => 2250, - Iir_Kind_Path_Name_Attribute => 2255, - Iir_Kind_Left_Array_Attribute => 2262, - Iir_Kind_Right_Array_Attribute => 2269, - Iir_Kind_High_Array_Attribute => 2276, - Iir_Kind_Low_Array_Attribute => 2283, - Iir_Kind_Length_Array_Attribute => 2290, - Iir_Kind_Ascending_Array_Attribute => 2297, - Iir_Kind_Range_Array_Attribute => 2304, - Iir_Kind_Reverse_Range_Array_Attribute => 2311, - Iir_Kind_Attribute_Name => 2320 + Iir_Kind_Vmode_Declaration => 608, + Iir_Kind_Vprop_Declaration => 620, + Iir_Kind_Vunit_Declaration => 633, + Iir_Kind_Package_Body => 641, + Iir_Kind_Architecture_Body => 654, + Iir_Kind_Type_Declaration => 661, + Iir_Kind_Anonymous_Type_Declaration => 667, + Iir_Kind_Subtype_Declaration => 674, + Iir_Kind_Nature_Declaration => 680, + Iir_Kind_Subnature_Declaration => 687, + Iir_Kind_Package_Header => 689, + Iir_Kind_Unit_Declaration => 698, + Iir_Kind_Library_Declaration => 706, + Iir_Kind_Component_Declaration => 716, + Iir_Kind_Attribute_Declaration => 723, + Iir_Kind_Group_Template_Declaration => 729, + Iir_Kind_Group_Declaration => 736, + Iir_Kind_Element_Declaration => 743, + Iir_Kind_Nature_Element_Declaration => 750, + Iir_Kind_Non_Object_Alias_Declaration => 758, + Iir_Kind_Psl_Declaration => 766, + Iir_Kind_Psl_Endpoint_Declaration => 780, + Iir_Kind_Enumeration_Literal => 791, + Iir_Kind_Function_Declaration => 816, + Iir_Kind_Procedure_Declaration => 840, + Iir_Kind_Function_Body => 850, + Iir_Kind_Procedure_Body => 861, + Iir_Kind_Terminal_Declaration => 870, + Iir_Kind_Object_Alias_Declaration => 881, + Iir_Kind_Free_Quantity_Declaration => 893, + Iir_Kind_Spectrum_Quantity_Declaration => 906, + Iir_Kind_Noise_Quantity_Declaration => 918, + Iir_Kind_Across_Quantity_Declaration => 934, + Iir_Kind_Through_Quantity_Declaration => 950, + Iir_Kind_File_Declaration => 964, + Iir_Kind_Guard_Signal_Declaration => 977, + Iir_Kind_Signal_Declaration => 994, + Iir_Kind_Variable_Declaration => 1007, + Iir_Kind_Constant_Declaration => 1021, + Iir_Kind_Iterator_Declaration => 1032, + Iir_Kind_Interface_Constant_Declaration => 1048, + Iir_Kind_Interface_Variable_Declaration => 1064, + Iir_Kind_Interface_Signal_Declaration => 1085, + Iir_Kind_Interface_File_Declaration => 1101, + Iir_Kind_Interface_Quantity_Declaration => 1117, + Iir_Kind_Interface_Terminal_Declaration => 1129, + Iir_Kind_Interface_Type_Declaration => 1139, + Iir_Kind_Interface_Package_Declaration => 1151, + Iir_Kind_Interface_Function_Declaration => 1168, + Iir_Kind_Interface_Procedure_Declaration => 1181, + Iir_Kind_Anonymous_Signal_Declaration => 1190, + Iir_Kind_Signal_Attribute_Declaration => 1193, + Iir_Kind_Identity_Operator => 1197, + Iir_Kind_Negation_Operator => 1201, + Iir_Kind_Absolute_Operator => 1205, + Iir_Kind_Not_Operator => 1209, + Iir_Kind_Implicit_Condition_Operator => 1213, + Iir_Kind_Condition_Operator => 1217, + Iir_Kind_Reduction_And_Operator => 1221, + Iir_Kind_Reduction_Or_Operator => 1225, + Iir_Kind_Reduction_Nand_Operator => 1229, + Iir_Kind_Reduction_Nor_Operator => 1233, + Iir_Kind_Reduction_Xor_Operator => 1237, + Iir_Kind_Reduction_Xnor_Operator => 1241, + Iir_Kind_And_Operator => 1246, + Iir_Kind_Or_Operator => 1251, + Iir_Kind_Nand_Operator => 1256, + Iir_Kind_Nor_Operator => 1261, + Iir_Kind_Xor_Operator => 1266, + Iir_Kind_Xnor_Operator => 1271, + Iir_Kind_Equality_Operator => 1276, + Iir_Kind_Inequality_Operator => 1281, + Iir_Kind_Less_Than_Operator => 1286, + Iir_Kind_Less_Than_Or_Equal_Operator => 1291, + Iir_Kind_Greater_Than_Operator => 1296, + Iir_Kind_Greater_Than_Or_Equal_Operator => 1301, + Iir_Kind_Match_Equality_Operator => 1306, + Iir_Kind_Match_Inequality_Operator => 1311, + Iir_Kind_Match_Less_Than_Operator => 1316, + Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1321, + Iir_Kind_Match_Greater_Than_Operator => 1326, + Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1331, + Iir_Kind_Sll_Operator => 1336, + Iir_Kind_Sla_Operator => 1341, + Iir_Kind_Srl_Operator => 1346, + Iir_Kind_Sra_Operator => 1351, + Iir_Kind_Rol_Operator => 1356, + Iir_Kind_Ror_Operator => 1361, + Iir_Kind_Addition_Operator => 1366, + Iir_Kind_Substraction_Operator => 1371, + Iir_Kind_Concatenation_Operator => 1376, + Iir_Kind_Multiplication_Operator => 1381, + Iir_Kind_Division_Operator => 1386, + Iir_Kind_Modulus_Operator => 1391, + Iir_Kind_Remainder_Operator => 1396, + Iir_Kind_Exponentiation_Operator => 1401, + Iir_Kind_Function_Call => 1409, + Iir_Kind_Aggregate => 1416, + Iir_Kind_Parenthesis_Expression => 1419, + Iir_Kind_Qualified_Expression => 1423, + Iir_Kind_Type_Conversion => 1428, + Iir_Kind_Allocator_By_Expression => 1432, + Iir_Kind_Allocator_By_Subtype => 1437, + Iir_Kind_Selected_Element => 1445, + Iir_Kind_Dereference => 1450, + Iir_Kind_Implicit_Dereference => 1455, + Iir_Kind_Slice_Name => 1462, + Iir_Kind_Indexed_Name => 1468, + Iir_Kind_Psl_Prev => 1474, + Iir_Kind_Psl_Stable => 1479, + Iir_Kind_Psl_Rose => 1484, + Iir_Kind_Psl_Fell => 1489, + Iir_Kind_Psl_Expression => 1491, + Iir_Kind_Sensitized_Process_Statement => 1512, + Iir_Kind_Process_Statement => 1532, + Iir_Kind_Concurrent_Simple_Signal_Assignment => 1545, + Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1558, + Iir_Kind_Concurrent_Selected_Signal_Assignment => 1572, + Iir_Kind_Concurrent_Assertion_Statement => 1580, + Iir_Kind_Concurrent_Procedure_Call_Statement => 1587, + Iir_Kind_Concurrent_Break_Statement => 1595, + Iir_Kind_Psl_Assert_Directive => 1608, + Iir_Kind_Psl_Assume_Directive => 1619, + Iir_Kind_Psl_Cover_Directive => 1631, + Iir_Kind_Psl_Restrict_Directive => 1642, + Iir_Kind_Block_Statement => 1656, + Iir_Kind_If_Generate_Statement => 1667, + Iir_Kind_Case_Generate_Statement => 1676, + Iir_Kind_For_Generate_Statement => 1685, + Iir_Kind_Component_Instantiation_Statement => 1696, + Iir_Kind_Psl_Default_Clock => 1700, + Iir_Kind_Generate_Statement_Body => 1711, + Iir_Kind_If_Generate_Else_Clause => 1717, + Iir_Kind_Simple_Simultaneous_Statement => 1724, + Iir_Kind_Simultaneous_Null_Statement => 1728, + Iir_Kind_Simultaneous_Procedural_Statement => 1739, + Iir_Kind_Simultaneous_Case_Statement => 1748, + Iir_Kind_Simultaneous_If_Statement => 1757, + Iir_Kind_Simultaneous_Elsif => 1763, + Iir_Kind_Simple_Signal_Assignment_Statement => 1774, + Iir_Kind_Conditional_Signal_Assignment_Statement => 1785, + Iir_Kind_Selected_Waveform_Assignment_Statement => 1797, + Iir_Kind_Null_Statement => 1801, + Iir_Kind_Assertion_Statement => 1808, + Iir_Kind_Report_Statement => 1814, + Iir_Kind_Wait_Statement => 1822, + Iir_Kind_Variable_Assignment_Statement => 1829, + Iir_Kind_Conditional_Variable_Assignment_Statement => 1836, + Iir_Kind_Return_Statement => 1842, + Iir_Kind_For_Loop_Statement => 1853, + Iir_Kind_While_Loop_Statement => 1864, + Iir_Kind_Next_Statement => 1871, + Iir_Kind_Exit_Statement => 1878, + Iir_Kind_Case_Statement => 1886, + Iir_Kind_Procedure_Call_Statement => 1892, + Iir_Kind_Break_Statement => 1899, + Iir_Kind_If_Statement => 1909, + Iir_Kind_Elsif => 1915, + Iir_Kind_Character_Literal => 1923, + Iir_Kind_Simple_Name => 1931, + Iir_Kind_Selected_Name => 1940, + Iir_Kind_Operator_Symbol => 1946, + Iir_Kind_Reference_Name => 1951, + Iir_Kind_External_Constant_Name => 1959, + Iir_Kind_External_Signal_Name => 1967, + Iir_Kind_External_Variable_Name => 1976, + Iir_Kind_Selected_By_All_Name => 1982, + Iir_Kind_Parenthesis_Name => 1987, + Iir_Kind_Package_Pathname => 1991, + Iir_Kind_Absolute_Pathname => 1992, + Iir_Kind_Relative_Pathname => 1993, + Iir_Kind_Pathname_Element => 1998, + Iir_Kind_Base_Attribute => 2000, + Iir_Kind_Subtype_Attribute => 2005, + Iir_Kind_Element_Attribute => 2010, + Iir_Kind_Across_Attribute => 2015, + Iir_Kind_Through_Attribute => 2020, + Iir_Kind_Nature_Reference_Attribute => 2024, + Iir_Kind_Left_Type_Attribute => 2029, + Iir_Kind_Right_Type_Attribute => 2034, + Iir_Kind_High_Type_Attribute => 2039, + Iir_Kind_Low_Type_Attribute => 2044, + Iir_Kind_Ascending_Type_Attribute => 2049, + Iir_Kind_Image_Attribute => 2055, + Iir_Kind_Value_Attribute => 2061, + Iir_Kind_Pos_Attribute => 2067, + Iir_Kind_Val_Attribute => 2073, + Iir_Kind_Succ_Attribute => 2079, + Iir_Kind_Pred_Attribute => 2085, + Iir_Kind_Leftof_Attribute => 2091, + Iir_Kind_Rightof_Attribute => 2097, + Iir_Kind_Signal_Slew_Attribute => 2105, + Iir_Kind_Quantity_Slew_Attribute => 2113, + Iir_Kind_Ramp_Attribute => 2121, + Iir_Kind_Zoh_Attribute => 2129, + Iir_Kind_Ltf_Attribute => 2137, + Iir_Kind_Ztf_Attribute => 2147, + Iir_Kind_Dot_Attribute => 2154, + Iir_Kind_Integ_Attribute => 2161, + Iir_Kind_Above_Attribute => 2169, + Iir_Kind_Quantity_Delayed_Attribute => 2177, + Iir_Kind_Delayed_Attribute => 2186, + Iir_Kind_Stable_Attribute => 2195, + Iir_Kind_Quiet_Attribute => 2204, + Iir_Kind_Transaction_Attribute => 2213, + Iir_Kind_Event_Attribute => 2217, + Iir_Kind_Active_Attribute => 2221, + Iir_Kind_Last_Event_Attribute => 2225, + Iir_Kind_Last_Active_Attribute => 2229, + Iir_Kind_Last_Value_Attribute => 2233, + Iir_Kind_Driving_Attribute => 2237, + Iir_Kind_Driving_Value_Attribute => 2241, + Iir_Kind_Behavior_Attribute => 2241, + Iir_Kind_Structure_Attribute => 2241, + Iir_Kind_Simple_Name_Attribute => 2248, + Iir_Kind_Instance_Name_Attribute => 2253, + Iir_Kind_Path_Name_Attribute => 2258, + Iir_Kind_Left_Array_Attribute => 2265, + Iir_Kind_Right_Array_Attribute => 2272, + Iir_Kind_High_Array_Attribute => 2279, + Iir_Kind_Low_Array_Attribute => 2286, + Iir_Kind_Length_Array_Attribute => 2293, + Iir_Kind_Ascending_Array_Attribute => 2300, + Iir_Kind_Range_Array_Attribute => 2307, + Iir_Kind_Reverse_Range_Array_Attribute => 2314, + Iir_Kind_Attribute_Name => 2323 ); function Get_Fields_First (K : Iir_Kind) return Fields_Index is @@ -5960,6 +5968,8 @@ package body Vhdl.Nodes_Meta is return Get_Vunit_Item_Chain (N); when Field_Bound_Vunit_Chain => return Get_Bound_Vunit_Chain (N); + when Field_Verification_Block_Configuration => + return Get_Verification_Block_Configuration (N); when Field_Block_Configuration => return Get_Block_Configuration (N); when Field_Concurrent_Statement_Chain => @@ -6414,6 +6424,8 @@ package body Vhdl.Nodes_Meta is Set_Vunit_Item_Chain (N, V); when Field_Bound_Vunit_Chain => Set_Bound_Vunit_Chain (N, V); + when Field_Verification_Block_Configuration => + Set_Verification_Block_Configuration (N, V); when Field_Block_Configuration => Set_Block_Configuration (N, V); when Field_Concurrent_Statement_Chain => @@ -8215,6 +8227,19 @@ package body Vhdl.Nodes_Meta is end case; end Has_Bound_Vunit_Chain; + function Has_Verification_Block_Configuration (K : Iir_Kind) + return Boolean is + begin + case K is + when Iir_Kind_Vmode_Declaration + | Iir_Kind_Vprop_Declaration + | Iir_Kind_Vunit_Declaration => + return True; + when others => + return False; + end case; + end Has_Verification_Block_Configuration; + function Has_Block_Configuration (K : Iir_Kind) return Boolean is begin case K is |