<> <> <> <> <> <> DIRECTORY YggEnvironment, YggLog, YggLogBasic; YggRestartFile: CEDAR DEFINITIONS = BEGIN VolumeID: TYPE = YggEnvironment.VolumeID; RecordID: TYPE = YggLog.RecordID; WordNumber: TYPE = YggEnvironment.WordNumber; EstablishRestartFile: PROC [restartFile: YggEnvironment.DID]; ReadRestartRecord: PROC [] RETURNS [ wordNumberForCheckpointCompleteRecord: WordNumber, recordIDForCheckpointCompleteRecord: RecordID]; <> WriteRestartRecord: PROC [ wordNumberForCheckpointCompleteRecord: WordNumber, recordIDForCheckpointCompleteRecord: RecordID]; <> END. CHANGE LOG Created by MBrown on September 23, 1982 1:35 pm Changed by MBrown on October 10, 1982 9:22 pm <> Changed by MBrown on October 14, 1982 2:38 pm <> <> <> <> <> <> <<>>