<> <> <> <> DIRECTORY File USING[Handle, PageCount, PageNumber, RC, Reason]; FilePageMgrIO: CEDAR DEFINITIONS = BEGIN <> <> <> IORequest: TYPE = RECORD[filePageNumber: File.PageNumber, nPages: File.PageCount, vM: LONG POINTER]; IOType: TYPE = {read, write}; Who: TYPE = {idler, controller}; RegisterRequest: PROCEDURE[controllingProcess: PROCESS, io: IOType, file: File.Handle, list: LIST OF IORequest] RETURNS[iORequest: IORequest]; <> GetNext: PROCEDURE[controllingProcess: PROCESS, who: Who] RETURNS[error: File.RC, errorIORequest: IORequest, workToDo: BOOLEAN, iORequest: IORequest]; <> LogError: PROCEDURE[controllingProcess: PROCESS, who: Who, why: File.Reason, errorIORequest: IORequest]; <> DoIO: PROCEDURE[io: IOType, file: File.Handle, iORequest: IORequest]; -- utility routine. <> END. Edit Log Initial: Kolling: August 25, 1983 6:30 pm: definitions module for FilePageManager io. Nodified: Hauser: February 20, 1985 3:08:18 pm PST <> <> <<>>