public
/
ack.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
40ef304
)
changed a comment
author
ceriel
<none@none>
Tue, 7 Jun 1988 12:34:04 +0000
(12:34 +0000)
committer
ceriel
<none@none>
Tue, 7 Jun 1988 12:34:04 +0000
(12:34 +0000)
lang/m2/libm2/Storage.def
patch
|
blob
|
history
diff --git
a/lang/m2/libm2/Storage.def
b/lang/m2/libm2/Storage.def
index
8b835e3
..
876b686
100644
(file)
--- a/
lang/m2/libm2/Storage.def
+++ b/
lang/m2/libm2/Storage.def
@@
-31,7
+31,11
@@
DEFINITION MODULE Storage;
(* Identical to DEALLOCATE *)
PROCEDURE Available(size : CARDINAL) : BOOLEAN;
- (* Return TRUE if an area with the given size could be allocated.
+ (* Return TRUE if a contiguous area with the given size could be
+ allocated.
+ Notice that this only indicates if an ALLOCATE of this size
+ would succeed, and that it gives no indication of the total
+ available memory.
*)
END Storage.