SafeStoragePrivate.Mesa: An internal Cedar system interface
Last Modified On December 7, 1983 8:56 am by Paul Rovner
DIRECTORY
SafeStorage USING[Type];
SafeStoragePrivate: DEFINITIONS =
BEGIN
NewObject:
PROC[type: SafeStorage.Type, size:
CARDINAL, zone:
ZONE ←
NIL]
RETURNS[REF ANY]; -- CLEARED
ValidateRef:
PROC [ref:
REF
ANY];
raises InvalidRef if ref does not point to the top of a valid object, else returns.
InvalidRef: ERROR[ref: REF ANY];
END.