diff options
Diffstat (limited to 'src/vhdl/vhdl-nodes.adb')
-rw-r--r-- | src/vhdl/vhdl-nodes.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-nodes.adb b/src/vhdl/vhdl-nodes.adb index 2ee78985c..1912fcb12 100644 --- a/src/vhdl/vhdl-nodes.adb +++ b/src/vhdl/vhdl-nodes.adb @@ -7294,6 +7294,22 @@ package body Vhdl.Nodes is Set_Flag1 (N, Flag); end Set_PSL_EOS_Flag; + function Get_PSL_Abort_Flag (N : Iir) return Boolean is + begin + pragma Assert (N /= Null_Iir); + pragma Assert (Has_PSL_Abort_Flag (Get_Kind (N)), + "no field PSL_Abort_Flag"); + return Get_Flag2 (N); + end Get_PSL_Abort_Flag; + + procedure Set_PSL_Abort_Flag (N : Iir; Flag : Boolean) is + begin + pragma Assert (N /= Null_Iir); + pragma Assert (Has_PSL_Abort_Flag (Get_Kind (N)), + "no field PSL_Abort_Flag"); + Set_Flag2 (N, Flag); + end Set_PSL_Abort_Flag; + function Get_Count_Expression (N : Iir) return Iir is begin pragma Assert (N /= Null_Iir); |