SafeStoragePrivate.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Paul Rovner, December 7, 1983 8:56 am
Russ Atkinson (RRA) February 1, 1985 11:34:01 am PST
Beach, February 22, 1985 11:21:33 am PST
Doug Wyatt, February 24, 1985 8:34:43 pm PST
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.