YggRestartFile.mesa
Copyright Ó 1989 by Xerox Corporation. All rights reserved.
Last edited by
Bob Hagmann May 8, 1989 2:27:36 pm PDT
DIRECTORY
YggEnvironment,
YggLog;
YggRestartFile:
CEDAR DEFINITIONS =
BEGIN
RecordID:
TYPE = YggLog.RecordID;
ReadRestartRecord:
PROC []
RETURNS [
recordIDForCheckpointCompleteRecord: RecordID];
WriteRestartRecord:
PROC [
recordIDForCheckpointCompleteRecord: RecordID];
END.