diff options
Diffstat (limited to 'src/vhdl/iirs.ads')
-rw-r--r-- | src/vhdl/iirs.ads | 27 |
1 files changed, 22 insertions, 5 deletions
diff --git a/src/vhdl/iirs.ads b/src/vhdl/iirs.ads index 3efcea38e..4ff568e33 100644 --- a/src/vhdl/iirs.ads +++ b/src/vhdl/iirs.ads @@ -3917,16 +3917,17 @@ package Iirs is Iir_Kind_Concurrent_Conditional_Signal_Assignment, Iir_Kind_Concurrent_Selected_Signal_Assignment, Iir_Kind_Concurrent_Assertion_Statement, - Iir_Kind_Psl_Default_Clock, + Iir_Kind_Concurrent_Procedure_Call_Statement, Iir_Kind_Psl_Assert_Statement, Iir_Kind_Psl_Cover_Statement, - Iir_Kind_Concurrent_Procedure_Call_Statement, Iir_Kind_Block_Statement, Iir_Kind_If_Generate_Statement, Iir_Kind_Case_Generate_Statement, Iir_Kind_For_Generate_Statement, Iir_Kind_Component_Instantiation_Statement, + Iir_Kind_Psl_Default_Clock, + Iir_Kind_Simple_Simultaneous_Statement, Iir_Kind_Generate_Statement_Body, @@ -4881,15 +4882,26 @@ package Iirs is --Iir_Kind_Concurrent_Conditional_Signal_Assignment --Iir_Kind_Concurrent_Selected_Signal_Assignment --Iir_Kind_Concurrent_Assertion_Statement - --Iir_Kind_Psl_Default_Clock + --Iir_Kind_Concurrent_Procedure_Call_Statement --Iir_Kind_Psl_Assert_Statement --Iir_Kind_Psl_Cover_Statement - --Iir_Kind_Concurrent_Procedure_Call_Statement --Iir_Kind_Block_Statement --Iir_Kind_If_Generate_Statement --Iir_Kind_Case_Generate_Statement --Iir_Kind_For_Generate_Statement - Iir_Kind_Component_Instantiation_Statement; + --Iir_Kind_Component_Instantiation_Statement + Iir_Kind_Psl_Default_Clock; + + subtype Iir_Kinds_Simple_Concurrent_Statement is Iir_Kind range + Iir_Kind_Sensitized_Process_Statement .. + --Iir_Kind_Process_Statement + --Iir_Kind_Concurrent_Simple_Signal_Assignment + --Iir_Kind_Concurrent_Conditional_Signal_Assignment + --Iir_Kind_Concurrent_Selected_Signal_Assignment + --Iir_Kind_Concurrent_Assertion_Statement + --Iir_Kind_Concurrent_Procedure_Call_Statement + --Iir_Kind_Psl_Assert_Statement + Iir_Kind_Psl_Cover_Statement; subtype Iir_Kinds_Concurrent_Signal_Assignment is Iir_Kind range Iir_Kind_Concurrent_Simple_Signal_Assignment .. @@ -4951,9 +4963,14 @@ package Iirs is Null_Iir : constant Iir := Nodes.Null_Node; + -- Return True iff Node is null / not set. function Is_Null (Node : Iir) return Boolean; pragma Inline (Is_Null); + -- Return True iff Node is not null / set. + function Is_Valid (Node : Iir) return Boolean; + pragma Inline (Is_Valid); + function Is_Null_List (Node : Iir_List) return Boolean; pragma Inline (Is_Null_List); |