-- DirectoryExtras.mesa (last edited by Keith on January 7, 1981 8:16 PM)

DIRECTORY

File USING [Capability],

Volume USING [ID];

DirectoryExtras: DEFINITIONS =

BEGIN

-- Errors

ScavengerError: ERROR [error: ScavengerErrorType];

-- Types

ScavengerErrorType: TYPE = {fatalBTreeErrorInCheckMode, internalFailure, pilotFilesNotRepaired, pilotLogFileUnknown, pilotScavengerLogForWrongVolume, volumeUnknown};

LoggingProc: TYPE = PROC [message: LONG STRING];

ScavengerRecord: TYPE = RECORD [

LogProc: LoggingProc,

pilotLogFile: File.Capability,

repair: BOOLEAN,

verbose: BOOLEAN,

volume: Volume.ID];

ScavengerContext: TYPE = POINTER TO ScavengerRecord;

-- Procedures

Scavenge: PROC [context: ScavengerContext];

ForgetVolumes: PROC;

END.

LOG

Time: December 17, 1980 3:59 PMBy: FayAction: Created file.

Time: January 7, 1981 8:16 PMBy: Keith Action: Added ForgetVolumes.