diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-06-04 03:59:37 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-06-04 13:39:09 +0200 |
commit | 5737c17897993f46504dc728f9546f0dacddee15 (patch) | |
tree | 0a862a3495d72112baa3c01ec57cf213838b0061 /src/grt/grt-stack2.ads | |
parent | 25c87cda93867626e73fe95476e8c7acfeabf23f (diff) | |
download | ghdl-5737c17897993f46504dc728f9546f0dacddee15.tar.gz ghdl-5737c17897993f46504dc728f9546f0dacddee15.tar.bz2 ghdl-5737c17897993f46504dc728f9546f0dacddee15.zip |
grt: add check for empty stack2.
Diffstat (limited to 'src/grt/grt-stack2.ads')
-rw-r--r-- | src/grt/grt-stack2.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/grt/grt-stack2.ads b/src/grt/grt-stack2.ads index 1c0c79afe..a7c2799f6 100644 --- a/src/grt/grt-stack2.ads +++ b/src/grt/grt-stack2.ads @@ -58,6 +58,12 @@ package Grt.Stack2 is -- Create a secondary stack. function Create return Stack2_Ptr; + + -- Return True iff S is null or empty. + function Is_Empty (S : Stack2_Ptr) return Boolean; + + -- May be used to debug. + procedure Dump_Stack2 (S : Stack2_Ptr); private type Stack2_Ptr is new System.Address; Null_Stack2_Ptr : constant Stack2_Ptr := Stack2_Ptr (System.Null_Address); |