-- PhysicalVolumeExtras.mesa (last edited by: Fay on:  5-Nov-81  9:50:01)

DIRECTORY
  PhysicalVolume USING [Handle];

PhysicalVolumeExtras: DEFINITIONS =
  BEGIN

  Scavenge: PROCEDURE [instance: PhysicalVolume.Handle, repair: RepairType]
    RETURNS [status: ScavengerStatus];

  RepairType: TYPE = {checkOnly, safeRepair, riskyRepair};
	  
  ScavengerStatus: TYPE = RECORD [
    badPageList: DamageStatus,
    bootFile: DamageStatus,
    germ: DamageStatus,
    softMicrocode: DamageStatus,
    hardMicrocode: DamageStatus,
    internalStructures: RepairStatus];

  DamageStatus: TYPE = {okay, damaged, lost};

  RepairStatus: TYPE = {okay, damaged, repaired};

  noProblems: ScavengerStatus = [
    badPageList: okay,
    bootFile: okay,
    germ: okay,
    softMicrocode: okay,
    hardMicrocode: okay,
    internalStructures: okay];

  END.




LOG

Time: 27-Sep-81 18:35:08	By: Fay
   Created file.
Time:  5-Nov-81  9:49:58	By: Fay
   Split repair mode into safeRepair and riskyRepair; renamed okay to
   noProblems.