-- GetFileIDs.mesa               Last edit: KK          September 8, 1982 7:00 pm

DIRECTORY

      Directory
	    USING[Lookup],
      File,
      IO
        USING[card, Close, CreateFileStream, Handle, PutF],
      Rope
	    USING[ROPE],
      SystemInternal
	    USING[UniversalID];


GetFileIDs: PROGRAM
  IMPORTS Directory, IO 
  SHARES File =


BEGIN
  
   
   
Main: PROCEDURE =
   BEGIN -- set up to call from CoPilot for debugging.
   foo: CARDINAL ← 0;
   BEGIN
   ENABLE ANY => foo ← foo + 1; -- protect us from the tempcedarexec.
   uid: SystemInternal.UniversalID;
   resultsStreamHandle ← IO.CreateFileStream["GetFileIDs.Results", append, none];
   uid ← LOOPHOLE[Directory.Lookup["CedarBootEssentials.df", , ].fID];
   resultsStreamHandle.PutF["*n%g ", IO.card[uid.processor.a]];
   resultsStreamHandle.PutF["%g ", IO.card[uid.processor.b]];
   resultsStreamHandle.PutF["%g ", IO.card[uid.processor.c]];
   resultsStreamHandle.PutF["%g ", IO.card[uid.sequence]];
      
   uid ← LOOPHOLE[Directory.Lookup["FilePageManager.bcd", , ].fID];
   resultsStreamHandle.PutF["*n%g ", IO.card[uid.processor.a]];
   resultsStreamHandle.PutF["%g ", IO.card[uid.processor.b]];
   resultsStreamHandle.PutF["%g ", IO.card[uid.processor.c]];
   resultsStreamHandle.PutF["%g ", IO.card[uid.sequence]];
    
   resultsStreamHandle.Close[];
   END;
   END;
   
   
   
   
-- main line code:

resultsStreamHandle: IO.Handle;

END.