diff options
Diffstat (limited to 'src/vhdl/vhdl-nodes.ads')
| -rw-r--r-- | src/vhdl/vhdl-nodes.ads | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-nodes.ads b/src/vhdl/vhdl-nodes.ads index 90f74cdc1..741ddb56f 100644 --- a/src/vhdl/vhdl-nodes.ads +++ b/src/vhdl/vhdl-nodes.ads @@ -3357,6 +3357,8 @@ package Vhdl.Nodes is -- Get/Set_PSL_EOS_Flag (Flag1) -- -- True if there is an outer abort is present (but not in the NFA) + -- Only for Iir_Kind_Psl_Assert_Directive: + -- Only for Iir_Kind_Psl_Assume_Directive: -- Get/Set_PSL_Abort_Flag (Flag2) -- -- Get/Set_Postponed_Flag (Flag3) @@ -6879,6 +6881,20 @@ package Vhdl.Nodes is --Iir_Kind_Psl_Cover_Directive Iir_Kind_Psl_Restrict_Directive; + subtype Iir_Kinds_Psl_Property_Directive is Iir_Kind range + Iir_Kind_Psl_Assert_Directive .. + Iir_Kind_Psl_Assume_Directive; + + subtype Iir_Kinds_Psl_Sequence_Directive is Iir_Kind range + Iir_Kind_Psl_Cover_Directive .. + Iir_Kind_Psl_Restrict_Directive; + + subtype Iir_Kinds_Psl_Directive is Iir_Kind range + Iir_Kind_Psl_Assert_Directive .. + --Iir_Kind_Psl_Assume_Directive + --Iir_Kind_Psl_Cover_Directive + Iir_Kind_Psl_Restrict_Directive; + subtype Iir_Kinds_Generate_Statement is Iir_Kind range Iir_Kind_If_Generate_Statement .. --Iir_Kind_Case_Generate_Statement |