-- RestartFile.mesa
-- Last edited by
--   MBrown on October 14, 1982 2:39 pm

DIRECTORY
  AlpineEnvironment,
  Log,
  LogBasic;

RestartFile: DEFINITIONS = 
  BEGIN
  VolumeID: TYPE = AlpineEnvironment.VolumeID;
  FileID: TYPE = AlpineEnvironment.FileID;
  RecordID: TYPE = Log.RecordID;
  WordNumber: TYPE = LogBasic.WordNumber;

  EstablishRestartFile: PROC [volume: VolumeID, restartFile: FileID];

  ReadRestartRecord: PROC [] RETURNS [
    wordNumberForCheckpointCompleteRecord: WordNumber,
    recordIDForCheckpointCompleteRecord: RecordID];
    -- Read from established restart file.

  WriteRestartRecord: PROC [
    wordNumberForCheckpointCompleteRecord: WordNumber,
    recordIDForCheckpointCompleteRecord: RecordID];
    -- Write to established restart file.

  END.


CHANGE LOG

Created by MBrown on September 23, 1982 1:35 pm

Changed by MBrown on October 10, 1982 9:22 pm
-- Added myFileStore parm to Read/WriteRestartRecord.

Changed by MBrown on October 14, 1982 2:38 pm
-- Removed myFileStore parm to Read/WriteRestartRecord (now log this as part of
--each checkpointComplete log record).