diff options
author | Tristan Gingold <tgingold@free.fr> | 2022-07-29 06:55:56 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2022-07-29 06:55:56 +0200 |
commit | e704f40353cf3932c12180a2f9d67b6fef70db84 (patch) | |
tree | 028a36e2ed0631982e4f1acb736ff5c53bb0f253 | |
parent | 630c988efbcdc8e9679df29a7521ec3b376f17fe (diff) | |
download | ghdl-e704f40353cf3932c12180a2f9d67b6fef70db84.tar.gz ghdl-e704f40353cf3932c12180a2f9d67b6fef70db84.tar.bz2 ghdl-e704f40353cf3932c12180a2f9d67b6fef70db84.zip |
vhdl-nodes: add Get/Set_Stop_Flag. For #2150
-rw-r--r-- | pyGHDL/libghdl/vhdl/nodes.py | 13 | ||||
-rw-r--r-- | pyGHDL/libghdl/vhdl/nodes_meta.py | 45 | ||||
-rw-r--r-- | src/vhdl/vhdl-nodes.adb | 16 | ||||
-rw-r--r-- | src/vhdl/vhdl-nodes.ads | 8 | ||||
-rw-r--r-- | src/vhdl/vhdl-nodes_meta.adb | 254 | ||||
-rw-r--r-- | src/vhdl/vhdl-nodes_meta.ads | 2 |
6 files changed, 203 insertions, 135 deletions
diff --git a/pyGHDL/libghdl/vhdl/nodes.py b/pyGHDL/libghdl/vhdl/nodes.py index 74aadb689..e36675608 100644 --- a/pyGHDL/libghdl/vhdl/nodes.py +++ b/pyGHDL/libghdl/vhdl/nodes.py @@ -6628,6 +6628,19 @@ def Set_Suspend_Flag(obj: Iir, value: Boolean) -> None: @export +@BindToLibGHDL("vhdl__nodes__get_stop_flag") +def Get_Stop_Flag(obj: Iir) -> Boolean: + """""" + return 0 + + +@export +@BindToLibGHDL("vhdl__nodes__set_stop_flag") +def Set_Stop_Flag(obj: Iir, value: Boolean) -> None: + """""" + + +@export @BindToLibGHDL("vhdl__nodes__get_is_ref") def Get_Is_Ref(obj: Iir) -> Boolean: """""" diff --git a/pyGHDL/libghdl/vhdl/nodes_meta.py b/pyGHDL/libghdl/vhdl/nodes_meta.py index abe280c9b..dd38969a8 100644 --- a/pyGHDL/libghdl/vhdl/nodes_meta.py +++ b/pyGHDL/libghdl/vhdl/nodes_meta.py @@ -475,25 +475,26 @@ class fields(IntEnum): Has_Class = 355 Has_Delay_Mechanism = 356 Suspend_Flag = 357 - Is_Ref = 358 - Is_Forward_Ref = 359 - Psl_Property = 360 - Psl_Sequence = 361 - Psl_Declaration = 362 - Psl_Expression = 363 - Psl_Boolean = 364 - PSL_Clock = 365 - PSL_NFA = 366 - PSL_Nbr_States = 367 - PSL_Clock_Sensitivity = 368 - PSL_EOS_Flag = 369 - PSL_Abort_Flag = 370 - Count_Expression = 371 - Clock_Expression = 372 - Default_Clock = 373 - Foreign_Node = 374 - Suspend_State_Index = 375 - Suspend_State_Chain = 376 + Stop_Flag = 358 + Is_Ref = 359 + Is_Forward_Ref = 360 + Psl_Property = 361 + Psl_Sequence = 362 + Psl_Declaration = 363 + Psl_Expression = 364 + Psl_Boolean = 365 + PSL_Clock = 366 + PSL_NFA = 367 + PSL_Nbr_States = 368 + PSL_Clock_Sensitivity = 369 + PSL_EOS_Flag = 370 + PSL_Abort_Flag = 371 + Count_Expression = 372 + Clock_Expression = 373 + Default_Clock = 374 + Foreign_Node = 375 + Suspend_State_Index = 376 + Suspend_State_Chain = 377 def Get_Boolean(node, field): @@ -2777,6 +2778,12 @@ def Has_Suspend_Flag(kind: IirKind) -> bool: @export +@BindToLibGHDL("vhdl__nodes_meta__has_stop_flag") +def Has_Stop_Flag(kind: IirKind) -> bool: + """""" + + +@export @BindToLibGHDL("vhdl__nodes_meta__has_is_ref") def Has_Is_Ref(kind: IirKind) -> bool: """""" diff --git a/src/vhdl/vhdl-nodes.adb b/src/vhdl/vhdl-nodes.adb index c2d45fe32..71914dfd3 100644 --- a/src/vhdl/vhdl-nodes.adb +++ b/src/vhdl/vhdl-nodes.adb @@ -7170,6 +7170,22 @@ package body Vhdl.Nodes is Set_Flag11 (Stmt, Flag); end Set_Suspend_Flag; + function Get_Stop_Flag (Stmt : Iir) return Boolean is + begin + pragma Assert (Stmt /= Null_Iir); + pragma Assert (Has_Stop_Flag (Get_Kind (Stmt)), + "no field Stop_Flag"); + return Get_Flag13 (Stmt); + end Get_Stop_Flag; + + procedure Set_Stop_Flag (Stmt : Iir; Flag : Boolean) is + begin + pragma Assert (Stmt /= Null_Iir); + pragma Assert (Has_Stop_Flag (Get_Kind (Stmt)), + "no field Stop_Flag"); + Set_Flag13 (Stmt, Flag); + end Set_Stop_Flag; + function Get_Is_Ref (N : Iir) return Boolean is begin pragma Assert (N /= Null_Iir); diff --git a/src/vhdl/vhdl-nodes.ads b/src/vhdl/vhdl-nodes.ads index e2882fb7c..0fc291be2 100644 --- a/src/vhdl/vhdl-nodes.ads +++ b/src/vhdl/vhdl-nodes.ads @@ -3334,6 +3334,10 @@ package Vhdl.Nodes is -- Only for Iir_Kind_Process_Statement: -- Get/Set_Suspend_Flag (Flag11) -- + -- Set when std.env.stop/finish is called. Prevents the infinite loop + -- warning. + -- Get/Set_Stop_Flag (Flag13) + -- -- Only for Iir_Kind_Sensitized_Process_Statement: -- Get/Set_Is_Ref (Flag12) @@ -9462,6 +9466,10 @@ package Vhdl.Nodes is function Get_Suspend_Flag (Stmt : Iir) return Boolean; procedure Set_Suspend_Flag (Stmt : Iir; Flag : Boolean); + -- Field: Flag13 + function Get_Stop_Flag (Stmt : Iir) return Boolean; + procedure Set_Stop_Flag (Stmt : Iir; Flag : Boolean); + -- Set to True if Maybe_Ref fields are references. This cannot be shared -- with Has_Identifier_List as: Is_Ref is set to True on all items but -- the first, while Has_Identifier_List is set to True on all items but diff --git a/src/vhdl/vhdl-nodes_meta.adb b/src/vhdl/vhdl-nodes_meta.adb index a4a640296..656cc2aef 100644 --- a/src/vhdl/vhdl-nodes_meta.adb +++ b/src/vhdl/vhdl-nodes_meta.adb @@ -375,6 +375,7 @@ package body Vhdl.Nodes_Meta is Field_Has_Class => Type_Boolean, Field_Has_Delay_Mechanism => Type_Boolean, Field_Suspend_Flag => Type_Boolean, + Field_Stop_Flag => Type_Boolean, Field_Is_Ref => Type_Boolean, Field_Is_Forward_Ref => Type_Boolean, Field_Psl_Property => Type_PSL_Node, @@ -1120,6 +1121,8 @@ package body Vhdl.Nodes_Meta is return "has_delay_mechanism"; when Field_Suspend_Flag => return "suspend_flag"; + when Field_Stop_Flag => + return "stop_flag"; when Field_Is_Ref => return "is_ref"; when Field_Is_Forward_Ref => @@ -2530,6 +2533,8 @@ package body Vhdl.Nodes_Meta is return Attr_None; when Field_Suspend_Flag => return Attr_None; + when Field_Stop_Flag => + return Attr_None; when Field_Is_Ref => return Attr_None; when Field_Is_Forward_Ref => @@ -4327,6 +4332,7 @@ package body Vhdl.Nodes_Meta is Field_Seen_Flag, Field_End_Has_Postponed, Field_Is_Ref, + Field_Stop_Flag, Field_Passive_Flag, Field_Postponed_Flag, Field_Visible_Flag, @@ -4349,6 +4355,7 @@ package body Vhdl.Nodes_Meta is Field_Seen_Flag, Field_End_Has_Postponed, Field_Suspend_Flag, + Field_Stop_Flag, Field_Passive_Flag, Field_Postponed_Flag, Field_Visible_Flag, @@ -5504,122 +5511,122 @@ package body Vhdl.Nodes_Meta is Iir_Kind_Psl_Onehot => 1537, Iir_Kind_Psl_Onehot0 => 1540, Iir_Kind_Psl_Expression => 1542, - Iir_Kind_Sensitized_Process_Statement => 1563, - Iir_Kind_Process_Statement => 1583, - Iir_Kind_Concurrent_Simple_Signal_Assignment => 1596, - Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1609, - Iir_Kind_Concurrent_Selected_Signal_Assignment => 1623, - Iir_Kind_Concurrent_Assertion_Statement => 1631, - Iir_Kind_Concurrent_Procedure_Call_Statement => 1638, - Iir_Kind_Concurrent_Break_Statement => 1646, - Iir_Kind_Psl_Assert_Directive => 1660, - Iir_Kind_Psl_Assume_Directive => 1672, - Iir_Kind_Psl_Cover_Directive => 1684, - Iir_Kind_Psl_Restrict_Directive => 1695, - Iir_Kind_Block_Statement => 1709, - Iir_Kind_If_Generate_Statement => 1720, - Iir_Kind_Case_Generate_Statement => 1729, - Iir_Kind_For_Generate_Statement => 1738, - Iir_Kind_Component_Instantiation_Statement => 1749, - Iir_Kind_Psl_Default_Clock => 1752, - Iir_Kind_Generate_Statement_Body => 1763, - Iir_Kind_If_Generate_Else_Clause => 1769, - Iir_Kind_Simple_Simultaneous_Statement => 1776, - Iir_Kind_Simultaneous_Null_Statement => 1780, - Iir_Kind_Simultaneous_Procedural_Statement => 1791, - Iir_Kind_Simultaneous_Case_Statement => 1800, - Iir_Kind_Simultaneous_If_Statement => 1809, - Iir_Kind_Simultaneous_Elsif => 1815, - Iir_Kind_Simple_Signal_Assignment_Statement => 1826, - Iir_Kind_Conditional_Signal_Assignment_Statement => 1837, - Iir_Kind_Selected_Waveform_Assignment_Statement => 1849, - Iir_Kind_Signal_Force_Assignment_Statement => 1859, - Iir_Kind_Signal_Release_Assignment_Statement => 1868, - Iir_Kind_Null_Statement => 1872, - Iir_Kind_Assertion_Statement => 1879, - Iir_Kind_Report_Statement => 1885, - Iir_Kind_Wait_Statement => 1893, - Iir_Kind_Variable_Assignment_Statement => 1900, - Iir_Kind_Conditional_Variable_Assignment_Statement => 1907, - Iir_Kind_Return_Statement => 1913, - Iir_Kind_For_Loop_Statement => 1924, - Iir_Kind_While_Loop_Statement => 1935, - Iir_Kind_Next_Statement => 1942, - Iir_Kind_Exit_Statement => 1949, - Iir_Kind_Case_Statement => 1958, - Iir_Kind_Procedure_Call_Statement => 1964, - Iir_Kind_Break_Statement => 1971, - Iir_Kind_If_Statement => 1981, - Iir_Kind_Suspend_State_Statement => 1985, - Iir_Kind_Elsif => 1991, - Iir_Kind_Character_Literal => 1998, - Iir_Kind_Simple_Name => 2005, - Iir_Kind_Selected_Name => 2013, - Iir_Kind_Operator_Symbol => 2018, - Iir_Kind_Reference_Name => 2023, - Iir_Kind_External_Constant_Name => 2032, - Iir_Kind_External_Signal_Name => 2041, - Iir_Kind_External_Variable_Name => 2051, - Iir_Kind_Selected_By_All_Name => 2057, - Iir_Kind_Parenthesis_Name => 2062, - Iir_Kind_Package_Pathname => 2066, - Iir_Kind_Absolute_Pathname => 2067, - Iir_Kind_Relative_Pathname => 2068, - Iir_Kind_Pathname_Element => 2073, - Iir_Kind_Base_Attribute => 2075, - Iir_Kind_Subtype_Attribute => 2080, - Iir_Kind_Element_Attribute => 2085, - Iir_Kind_Across_Attribute => 2090, - Iir_Kind_Through_Attribute => 2095, - Iir_Kind_Nature_Reference_Attribute => 2099, - Iir_Kind_Left_Type_Attribute => 2104, - Iir_Kind_Right_Type_Attribute => 2109, - Iir_Kind_High_Type_Attribute => 2114, - Iir_Kind_Low_Type_Attribute => 2119, - Iir_Kind_Ascending_Type_Attribute => 2124, - Iir_Kind_Image_Attribute => 2130, - Iir_Kind_Value_Attribute => 2136, - Iir_Kind_Pos_Attribute => 2142, - Iir_Kind_Val_Attribute => 2148, - Iir_Kind_Succ_Attribute => 2154, - Iir_Kind_Pred_Attribute => 2160, - Iir_Kind_Leftof_Attribute => 2166, - Iir_Kind_Rightof_Attribute => 2172, - Iir_Kind_Signal_Slew_Attribute => 2180, - Iir_Kind_Quantity_Slew_Attribute => 2188, - Iir_Kind_Ramp_Attribute => 2196, - Iir_Kind_Zoh_Attribute => 2204, - Iir_Kind_Ltf_Attribute => 2212, - Iir_Kind_Ztf_Attribute => 2222, - Iir_Kind_Dot_Attribute => 2229, - Iir_Kind_Integ_Attribute => 2236, - Iir_Kind_Quantity_Delayed_Attribute => 2244, - Iir_Kind_Above_Attribute => 2252, - Iir_Kind_Delayed_Attribute => 2261, - Iir_Kind_Stable_Attribute => 2270, - Iir_Kind_Quiet_Attribute => 2279, - Iir_Kind_Transaction_Attribute => 2288, - Iir_Kind_Event_Attribute => 2292, - Iir_Kind_Active_Attribute => 2296, - Iir_Kind_Last_Event_Attribute => 2300, - Iir_Kind_Last_Active_Attribute => 2304, - Iir_Kind_Last_Value_Attribute => 2308, - Iir_Kind_Driving_Attribute => 2312, - Iir_Kind_Driving_Value_Attribute => 2316, - Iir_Kind_Behavior_Attribute => 2316, - Iir_Kind_Structure_Attribute => 2316, - Iir_Kind_Simple_Name_Attribute => 2323, - Iir_Kind_Instance_Name_Attribute => 2328, - Iir_Kind_Path_Name_Attribute => 2333, - Iir_Kind_Left_Array_Attribute => 2340, - Iir_Kind_Right_Array_Attribute => 2347, - Iir_Kind_High_Array_Attribute => 2354, - Iir_Kind_Low_Array_Attribute => 2361, - Iir_Kind_Length_Array_Attribute => 2368, - Iir_Kind_Ascending_Array_Attribute => 2375, - Iir_Kind_Range_Array_Attribute => 2382, - Iir_Kind_Reverse_Range_Array_Attribute => 2389, - Iir_Kind_Attribute_Name => 2398 + Iir_Kind_Sensitized_Process_Statement => 1564, + Iir_Kind_Process_Statement => 1585, + Iir_Kind_Concurrent_Simple_Signal_Assignment => 1598, + Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1611, + Iir_Kind_Concurrent_Selected_Signal_Assignment => 1625, + Iir_Kind_Concurrent_Assertion_Statement => 1633, + Iir_Kind_Concurrent_Procedure_Call_Statement => 1640, + Iir_Kind_Concurrent_Break_Statement => 1648, + Iir_Kind_Psl_Assert_Directive => 1662, + Iir_Kind_Psl_Assume_Directive => 1674, + Iir_Kind_Psl_Cover_Directive => 1686, + Iir_Kind_Psl_Restrict_Directive => 1697, + Iir_Kind_Block_Statement => 1711, + Iir_Kind_If_Generate_Statement => 1722, + Iir_Kind_Case_Generate_Statement => 1731, + Iir_Kind_For_Generate_Statement => 1740, + Iir_Kind_Component_Instantiation_Statement => 1751, + Iir_Kind_Psl_Default_Clock => 1754, + Iir_Kind_Generate_Statement_Body => 1765, + Iir_Kind_If_Generate_Else_Clause => 1771, + Iir_Kind_Simple_Simultaneous_Statement => 1778, + Iir_Kind_Simultaneous_Null_Statement => 1782, + Iir_Kind_Simultaneous_Procedural_Statement => 1793, + Iir_Kind_Simultaneous_Case_Statement => 1802, + Iir_Kind_Simultaneous_If_Statement => 1811, + Iir_Kind_Simultaneous_Elsif => 1817, + Iir_Kind_Simple_Signal_Assignment_Statement => 1828, + Iir_Kind_Conditional_Signal_Assignment_Statement => 1839, + Iir_Kind_Selected_Waveform_Assignment_Statement => 1851, + Iir_Kind_Signal_Force_Assignment_Statement => 1861, + Iir_Kind_Signal_Release_Assignment_Statement => 1870, + Iir_Kind_Null_Statement => 1874, + Iir_Kind_Assertion_Statement => 1881, + Iir_Kind_Report_Statement => 1887, + Iir_Kind_Wait_Statement => 1895, + Iir_Kind_Variable_Assignment_Statement => 1902, + Iir_Kind_Conditional_Variable_Assignment_Statement => 1909, + Iir_Kind_Return_Statement => 1915, + Iir_Kind_For_Loop_Statement => 1926, + Iir_Kind_While_Loop_Statement => 1937, + Iir_Kind_Next_Statement => 1944, + Iir_Kind_Exit_Statement => 1951, + Iir_Kind_Case_Statement => 1960, + Iir_Kind_Procedure_Call_Statement => 1966, + Iir_Kind_Break_Statement => 1973, + Iir_Kind_If_Statement => 1983, + Iir_Kind_Suspend_State_Statement => 1987, + Iir_Kind_Elsif => 1993, + Iir_Kind_Character_Literal => 2000, + Iir_Kind_Simple_Name => 2007, + Iir_Kind_Selected_Name => 2015, + Iir_Kind_Operator_Symbol => 2020, + Iir_Kind_Reference_Name => 2025, + Iir_Kind_External_Constant_Name => 2034, + Iir_Kind_External_Signal_Name => 2043, + Iir_Kind_External_Variable_Name => 2053, + Iir_Kind_Selected_By_All_Name => 2059, + Iir_Kind_Parenthesis_Name => 2064, + Iir_Kind_Package_Pathname => 2068, + Iir_Kind_Absolute_Pathname => 2069, + Iir_Kind_Relative_Pathname => 2070, + Iir_Kind_Pathname_Element => 2075, + Iir_Kind_Base_Attribute => 2077, + Iir_Kind_Subtype_Attribute => 2082, + Iir_Kind_Element_Attribute => 2087, + Iir_Kind_Across_Attribute => 2092, + Iir_Kind_Through_Attribute => 2097, + Iir_Kind_Nature_Reference_Attribute => 2101, + Iir_Kind_Left_Type_Attribute => 2106, + Iir_Kind_Right_Type_Attribute => 2111, + Iir_Kind_High_Type_Attribute => 2116, + Iir_Kind_Low_Type_Attribute => 2121, + Iir_Kind_Ascending_Type_Attribute => 2126, + Iir_Kind_Image_Attribute => 2132, + Iir_Kind_Value_Attribute => 2138, + Iir_Kind_Pos_Attribute => 2144, + Iir_Kind_Val_Attribute => 2150, + Iir_Kind_Succ_Attribute => 2156, + Iir_Kind_Pred_Attribute => 2162, + Iir_Kind_Leftof_Attribute => 2168, + Iir_Kind_Rightof_Attribute => 2174, + Iir_Kind_Signal_Slew_Attribute => 2182, + Iir_Kind_Quantity_Slew_Attribute => 2190, + Iir_Kind_Ramp_Attribute => 2198, + Iir_Kind_Zoh_Attribute => 2206, + Iir_Kind_Ltf_Attribute => 2214, + Iir_Kind_Ztf_Attribute => 2224, + Iir_Kind_Dot_Attribute => 2231, + Iir_Kind_Integ_Attribute => 2238, + Iir_Kind_Quantity_Delayed_Attribute => 2246, + Iir_Kind_Above_Attribute => 2254, + Iir_Kind_Delayed_Attribute => 2263, + Iir_Kind_Stable_Attribute => 2272, + Iir_Kind_Quiet_Attribute => 2281, + Iir_Kind_Transaction_Attribute => 2290, + Iir_Kind_Event_Attribute => 2294, + Iir_Kind_Active_Attribute => 2298, + Iir_Kind_Last_Event_Attribute => 2302, + Iir_Kind_Last_Active_Attribute => 2306, + Iir_Kind_Last_Value_Attribute => 2310, + Iir_Kind_Driving_Attribute => 2314, + Iir_Kind_Driving_Value_Attribute => 2318, + Iir_Kind_Behavior_Attribute => 2318, + Iir_Kind_Structure_Attribute => 2318, + Iir_Kind_Simple_Name_Attribute => 2325, + Iir_Kind_Instance_Name_Attribute => 2330, + Iir_Kind_Path_Name_Attribute => 2335, + Iir_Kind_Left_Array_Attribute => 2342, + Iir_Kind_Right_Array_Attribute => 2349, + Iir_Kind_High_Array_Attribute => 2356, + Iir_Kind_Low_Array_Attribute => 2363, + Iir_Kind_Length_Array_Attribute => 2370, + Iir_Kind_Ascending_Array_Attribute => 2377, + Iir_Kind_Range_Array_Attribute => 2384, + Iir_Kind_Reverse_Range_Array_Attribute => 2391, + Iir_Kind_Attribute_Name => 2400 ); function Get_Fields_First (K : Iir_Kind) return Fields_Index is @@ -5794,6 +5801,8 @@ package body Vhdl.Nodes_Meta is return Get_Has_Delay_Mechanism (N); when Field_Suspend_Flag => return Get_Suspend_Flag (N); + when Field_Stop_Flag => + return Get_Stop_Flag (N); when Field_Is_Ref => return Get_Is_Ref (N); when Field_Is_Forward_Ref => @@ -5952,6 +5961,8 @@ package body Vhdl.Nodes_Meta is Set_Has_Delay_Mechanism (N, V); when Field_Suspend_Flag => Set_Suspend_Flag (N, V); + when Field_Stop_Flag => + Set_Stop_Flag (N, V); when Field_Is_Ref => Set_Is_Ref (N, V); when Field_Is_Forward_Ref => @@ -12561,6 +12572,17 @@ package body Vhdl.Nodes_Meta is end case; end Has_Suspend_Flag; + function Has_Stop_Flag (K : Iir_Kind) return Boolean is + begin + case K is + when Iir_Kind_Sensitized_Process_Statement + | Iir_Kind_Process_Statement => + return True; + when others => + return False; + end case; + end Has_Stop_Flag; + function Has_Is_Ref (K : Iir_Kind) return Boolean is begin case K is diff --git a/src/vhdl/vhdl-nodes_meta.ads b/src/vhdl/vhdl-nodes_meta.ads index 9ec914f54..538c40910 100644 --- a/src/vhdl/vhdl-nodes_meta.ads +++ b/src/vhdl/vhdl-nodes_meta.ads @@ -419,6 +419,7 @@ package Vhdl.Nodes_Meta is Field_Has_Class, Field_Has_Delay_Mechanism, Field_Suspend_Flag, + Field_Stop_Flag, Field_Is_Ref, Field_Is_Forward_Ref, Field_Psl_Property, @@ -1016,6 +1017,7 @@ package Vhdl.Nodes_Meta is function Has_Has_Class (K : Iir_Kind) return Boolean; function Has_Has_Delay_Mechanism (K : Iir_Kind) return Boolean; function Has_Suspend_Flag (K : Iir_Kind) return Boolean; + function Has_Stop_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; |