diff options
Diffstat (limited to 'src/areapools.ads')
| -rw-r--r-- | src/areapools.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/areapools.ads b/src/areapools.ads index f1e4276c9..026bb0483 100644 --- a/src/areapools.ads +++ b/src/areapools.ads @@ -49,6 +49,10 @@ package Areapools is procedure Release (M : Mark_Type; Pool : in out Areapool); + -- Return True iff POOL is at the mark level (ie, calling Relase will be + -- a no-op). + function Is_At_Mark (Pool : Areapool; M : Mark_Type) return Boolean; + Empty_Marker : constant Mark_Type; private -- Minimal size of allocation. |