<<>> <> <> <> <> <> <> <> <> < notation) are abstracted behind the procedures in the module.>> <<>> <<>> <<>> <> DIRECTORY PFS USING [nullUniqueID, UniqueID], PFSNames USING [PATH], IO USING [STREAM], MobDefs USING [VersionStamp], Rope USING [ROPE], SourceFileOpsExtras USING [Position]; SystemInterface: CEDAR DEFINITIONS = BEGIN OPEN IO, Rope; <> ROPE: TYPE ~ Rope.ROPE; RopeList: TYPE ~ LIST OF ROPE; PATH: TYPE ~ PFSNames.PATH; PathList: TYPE ~ LIST OF PATH; <<>> <> ShowReport: SIGNAL[msgText: ROPE, priority: ATOM]; <> << $urgent, $normal, $debug>> <> <<>> ShowSource: PROC [desc: ROPE, pos: SourceFileOpsExtras.Position, feedBack: STREAM _ NIL]; <> <> <> <<>> DebuggeeUnixNameToDebuggerCedarName: PROC [unixName: PATH, debuggee: ROPE] RETURNS [PATH]; <> <> <<>> <> <> <<>> <> <> <> <> <> <<>> <> <> <<>> <> <> <> <> <<>> <> <> <> <<>> <> <<>> <> <<>> FileSet: TYPE = REF FileSetBody; FileSetBody: TYPE; CirioFile: TYPE = REF CirioFileBody; CirioFileBody: TYPE; <> CirioFileInfo: TYPE = RECORD[uniqueID: PFS.UniqueID, bytes: INT, fullName: PATH]; CreateFileSet: PROC RETURNS[FileSet]; <> CloseFileSet: PROC[set: FileSet]; <> <> GetCirioFile: PROC[set: FileSet, name: PATH, uniqueID: PFS.UniqueID _ PFS.nullUniqueID] RETURNS[CirioFile]; <> GetCirioFileFromDebuggee: PROC[set: FileSet, name: PATH, debuggee: ROPE, uniqueID: PFS.UniqueID _ PFS.nullUniqueID] RETURNS[CirioFile]; <> GenCirioFilesForInfo: PROC[set: FileSet, pattern: PATH, for: PROC[CirioFileInfo] RETURNS[thisIsIt: BOOLEAN]] RETURNS[found: CirioFile]; <> GenVersionMapFilesForInfo: PROC [set: FileSet, map: ATOM, versionStamp: MobDefs.VersionStamp, stems: PathList, suffixes: RopeList, testName: BOOL, for: PROC[CirioFileInfo] RETURNS[thisIsIt: BOOLEAN], wantedUniqueID: PFS.UniqueID _ PFS.nullUniqueID] RETURNS[found: CirioFile]; <> GetNameOfFile: PROC[file: CirioFile] RETURNS[PATH]; GetFileInfo: PROC[file: CirioFile] RETURNS[CirioFileInfo]; GetStreamForFile: PROC[file: CirioFile] RETURNS[IO.STREAM]; <> <> ReleaseStreamForFile: PROC[file: CirioFile, stream: IO.STREAM]; <> <> <> FmtUniqueID: PROC [PFS.UniqueID] RETURNS [ROPE]; <> VersionStampToUniqueID: PROC [MobDefs.VersionStamp] RETURNS [PFS.UniqueID]; <> UniqueIDToVersionStamp: PROC [PFS.UniqueID] RETURNS [MobDefs.VersionStamp]; <> END.