diff options
Diffstat (limited to 'src/vhdl/vhdl-nodes_meta.adb')
-rw-r--r-- | src/vhdl/vhdl-nodes_meta.adb | 170 |
1 files changed, 86 insertions, 84 deletions
diff --git a/src/vhdl/vhdl-nodes_meta.adb b/src/vhdl/vhdl-nodes_meta.adb index d7e9e1433..4a933e382 100644 --- a/src/vhdl/vhdl-nodes_meta.adb +++ b/src/vhdl/vhdl-nodes_meta.adb @@ -3834,6 +3834,7 @@ package body Vhdl.Nodes_Meta is Field_Visible_Flag, Field_Parent, Field_Chain, + Field_Report_Expression, Field_PSL_Clock_Sensitivity, -- Iir_Kind_Psl_Restrict_Directive Field_Psl_Sequence, @@ -4654,90 +4655,90 @@ package body Vhdl.Nodes_Meta is Iir_Kind_Concurrent_Procedure_Call_Statement => 1385, Iir_Kind_Psl_Assert_Directive => 1398, Iir_Kind_Psl_Assume_Directive => 1409, - Iir_Kind_Psl_Cover_Directive => 1420, - Iir_Kind_Psl_Restrict_Directive => 1431, - Iir_Kind_Block_Statement => 1445, - Iir_Kind_If_Generate_Statement => 1456, - Iir_Kind_Case_Generate_Statement => 1465, - Iir_Kind_For_Generate_Statement => 1474, - Iir_Kind_Component_Instantiation_Statement => 1485, - Iir_Kind_Psl_Default_Clock => 1489, - Iir_Kind_Simple_Simultaneous_Statement => 1496, - Iir_Kind_Generate_Statement_Body => 1507, - Iir_Kind_If_Generate_Else_Clause => 1513, - Iir_Kind_Simple_Signal_Assignment_Statement => 1523, - Iir_Kind_Conditional_Signal_Assignment_Statement => 1533, - Iir_Kind_Selected_Waveform_Assignment_Statement => 1544, - Iir_Kind_Null_Statement => 1548, - Iir_Kind_Assertion_Statement => 1555, - Iir_Kind_Report_Statement => 1561, - Iir_Kind_Wait_Statement => 1569, - Iir_Kind_Variable_Assignment_Statement => 1576, - Iir_Kind_Conditional_Variable_Assignment_Statement => 1583, - Iir_Kind_Return_Statement => 1589, - Iir_Kind_For_Loop_Statement => 1598, - Iir_Kind_While_Loop_Statement => 1607, - Iir_Kind_Next_Statement => 1614, - Iir_Kind_Exit_Statement => 1621, - Iir_Kind_Case_Statement => 1629, - Iir_Kind_Procedure_Call_Statement => 1635, - Iir_Kind_If_Statement => 1645, - Iir_Kind_Elsif => 1651, - Iir_Kind_Character_Literal => 1659, - Iir_Kind_Simple_Name => 1667, - Iir_Kind_Selected_Name => 1676, - Iir_Kind_Operator_Symbol => 1682, - Iir_Kind_Reference_Name => 1686, - Iir_Kind_External_Constant_Name => 1694, - Iir_Kind_External_Signal_Name => 1702, - Iir_Kind_External_Variable_Name => 1711, - Iir_Kind_Selected_By_All_Name => 1717, - Iir_Kind_Parenthesis_Name => 1722, - Iir_Kind_Package_Pathname => 1726, - Iir_Kind_Absolute_Pathname => 1727, - Iir_Kind_Relative_Pathname => 1728, - Iir_Kind_Pathname_Element => 1733, - Iir_Kind_Base_Attribute => 1735, - Iir_Kind_Subtype_Attribute => 1740, - Iir_Kind_Element_Attribute => 1745, - Iir_Kind_Left_Type_Attribute => 1750, - Iir_Kind_Right_Type_Attribute => 1755, - Iir_Kind_High_Type_Attribute => 1760, - Iir_Kind_Low_Type_Attribute => 1765, - Iir_Kind_Ascending_Type_Attribute => 1770, - Iir_Kind_Image_Attribute => 1776, - Iir_Kind_Value_Attribute => 1782, - Iir_Kind_Pos_Attribute => 1788, - Iir_Kind_Val_Attribute => 1794, - Iir_Kind_Succ_Attribute => 1800, - Iir_Kind_Pred_Attribute => 1806, - Iir_Kind_Leftof_Attribute => 1812, - Iir_Kind_Rightof_Attribute => 1818, - Iir_Kind_Delayed_Attribute => 1827, - Iir_Kind_Stable_Attribute => 1836, - Iir_Kind_Quiet_Attribute => 1845, - Iir_Kind_Transaction_Attribute => 1854, - Iir_Kind_Event_Attribute => 1858, - Iir_Kind_Active_Attribute => 1862, - Iir_Kind_Last_Event_Attribute => 1866, - Iir_Kind_Last_Active_Attribute => 1870, - Iir_Kind_Last_Value_Attribute => 1874, - Iir_Kind_Driving_Attribute => 1878, - Iir_Kind_Driving_Value_Attribute => 1882, - Iir_Kind_Behavior_Attribute => 1882, - Iir_Kind_Structure_Attribute => 1882, - Iir_Kind_Simple_Name_Attribute => 1889, - Iir_Kind_Instance_Name_Attribute => 1894, - Iir_Kind_Path_Name_Attribute => 1899, - Iir_Kind_Left_Array_Attribute => 1906, - Iir_Kind_Right_Array_Attribute => 1913, - Iir_Kind_High_Array_Attribute => 1920, - Iir_Kind_Low_Array_Attribute => 1927, - Iir_Kind_Length_Array_Attribute => 1934, - Iir_Kind_Ascending_Array_Attribute => 1941, - Iir_Kind_Range_Array_Attribute => 1948, - Iir_Kind_Reverse_Range_Array_Attribute => 1955, - Iir_Kind_Attribute_Name => 1964 + Iir_Kind_Psl_Cover_Directive => 1421, + Iir_Kind_Psl_Restrict_Directive => 1432, + Iir_Kind_Block_Statement => 1446, + Iir_Kind_If_Generate_Statement => 1457, + Iir_Kind_Case_Generate_Statement => 1466, + Iir_Kind_For_Generate_Statement => 1475, + Iir_Kind_Component_Instantiation_Statement => 1486, + Iir_Kind_Psl_Default_Clock => 1490, + Iir_Kind_Simple_Simultaneous_Statement => 1497, + Iir_Kind_Generate_Statement_Body => 1508, + Iir_Kind_If_Generate_Else_Clause => 1514, + Iir_Kind_Simple_Signal_Assignment_Statement => 1524, + Iir_Kind_Conditional_Signal_Assignment_Statement => 1534, + Iir_Kind_Selected_Waveform_Assignment_Statement => 1545, + Iir_Kind_Null_Statement => 1549, + Iir_Kind_Assertion_Statement => 1556, + Iir_Kind_Report_Statement => 1562, + Iir_Kind_Wait_Statement => 1570, + Iir_Kind_Variable_Assignment_Statement => 1577, + Iir_Kind_Conditional_Variable_Assignment_Statement => 1584, + Iir_Kind_Return_Statement => 1590, + Iir_Kind_For_Loop_Statement => 1599, + Iir_Kind_While_Loop_Statement => 1608, + Iir_Kind_Next_Statement => 1615, + Iir_Kind_Exit_Statement => 1622, + Iir_Kind_Case_Statement => 1630, + Iir_Kind_Procedure_Call_Statement => 1636, + Iir_Kind_If_Statement => 1646, + Iir_Kind_Elsif => 1652, + Iir_Kind_Character_Literal => 1660, + Iir_Kind_Simple_Name => 1668, + Iir_Kind_Selected_Name => 1677, + Iir_Kind_Operator_Symbol => 1683, + Iir_Kind_Reference_Name => 1687, + Iir_Kind_External_Constant_Name => 1695, + Iir_Kind_External_Signal_Name => 1703, + Iir_Kind_External_Variable_Name => 1712, + Iir_Kind_Selected_By_All_Name => 1718, + Iir_Kind_Parenthesis_Name => 1723, + Iir_Kind_Package_Pathname => 1727, + Iir_Kind_Absolute_Pathname => 1728, + Iir_Kind_Relative_Pathname => 1729, + Iir_Kind_Pathname_Element => 1734, + Iir_Kind_Base_Attribute => 1736, + Iir_Kind_Subtype_Attribute => 1741, + Iir_Kind_Element_Attribute => 1746, + Iir_Kind_Left_Type_Attribute => 1751, + Iir_Kind_Right_Type_Attribute => 1756, + Iir_Kind_High_Type_Attribute => 1761, + Iir_Kind_Low_Type_Attribute => 1766, + Iir_Kind_Ascending_Type_Attribute => 1771, + Iir_Kind_Image_Attribute => 1777, + Iir_Kind_Value_Attribute => 1783, + Iir_Kind_Pos_Attribute => 1789, + Iir_Kind_Val_Attribute => 1795, + Iir_Kind_Succ_Attribute => 1801, + Iir_Kind_Pred_Attribute => 1807, + Iir_Kind_Leftof_Attribute => 1813, + Iir_Kind_Rightof_Attribute => 1819, + Iir_Kind_Delayed_Attribute => 1828, + Iir_Kind_Stable_Attribute => 1837, + Iir_Kind_Quiet_Attribute => 1846, + Iir_Kind_Transaction_Attribute => 1855, + Iir_Kind_Event_Attribute => 1859, + Iir_Kind_Active_Attribute => 1863, + Iir_Kind_Last_Event_Attribute => 1867, + Iir_Kind_Last_Active_Attribute => 1871, + Iir_Kind_Last_Value_Attribute => 1875, + Iir_Kind_Driving_Attribute => 1879, + Iir_Kind_Driving_Value_Attribute => 1883, + Iir_Kind_Behavior_Attribute => 1883, + Iir_Kind_Structure_Attribute => 1883, + Iir_Kind_Simple_Name_Attribute => 1890, + Iir_Kind_Instance_Name_Attribute => 1895, + Iir_Kind_Path_Name_Attribute => 1900, + Iir_Kind_Left_Array_Attribute => 1907, + Iir_Kind_Right_Array_Attribute => 1914, + Iir_Kind_High_Array_Attribute => 1921, + Iir_Kind_Low_Array_Attribute => 1928, + Iir_Kind_Length_Array_Attribute => 1935, + Iir_Kind_Ascending_Array_Attribute => 1942, + Iir_Kind_Range_Array_Attribute => 1949, + Iir_Kind_Reverse_Range_Array_Attribute => 1956, + Iir_Kind_Attribute_Name => 1965 ); function Get_Fields_First (K : Iir_Kind) return Fields_Index is @@ -9054,6 +9055,7 @@ package body Vhdl.Nodes_Meta is case K is when Iir_Kind_Concurrent_Assertion_Statement | Iir_Kind_Psl_Assert_Directive + | Iir_Kind_Psl_Cover_Directive | Iir_Kind_Assertion_Statement | Iir_Kind_Report_Statement => return True; |