diff options
Diffstat (limited to 'src/vhdl/vhdl-nodes.ads')
-rw-r--r-- | src/vhdl/vhdl-nodes.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-nodes.ads b/src/vhdl/vhdl-nodes.ads index 2445ab33e..90f74cdc1 100644 --- a/src/vhdl/vhdl-nodes.ads +++ b/src/vhdl/vhdl-nodes.ads @@ -3356,6 +3356,9 @@ package Vhdl.Nodes is -- True if at least one of the NFA edge has the EOS flag. -- Get/Set_PSL_EOS_Flag (Flag1) -- + -- True if there is an outer abort is present (but not in the NFA) + -- Get/Set_PSL_Abort_Flag (Flag2) + -- -- Get/Set_Postponed_Flag (Flag3) -- -- Get/Set_Visible_Flag (Flag4) @@ -9245,6 +9248,10 @@ package Vhdl.Nodes is function Get_PSL_EOS_Flag (N : Iir) return Boolean; procedure Set_PSL_EOS_Flag (N : Iir; Flag : Boolean); + -- Field: Flag2 + function Get_PSL_Abort_Flag (N : Iir) return Boolean; + procedure Set_PSL_Abort_Flag (N : Iir; Flag : Boolean); + -- Field: Field2 function Get_Count_Expression (N : Iir) return Iir; procedure Set_Count_Expression (N : Iir; Count : Iir); |