aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/iirs.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/iirs.ads')
-rw-r--r--src/vhdl/iirs.ads27
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);