<<>> <> <> <> <> <> <> <> DIRECTORY CirioTypes USING [CC], IO USING[STREAM], Rope USING[ROPE], StackCirio USING[Stack]; LocalCirio: CEDAR DEFINITIONS = BEGIN <> <<>> ROPE: TYPE ~ Rope.ROPE; Connection: TYPE = REF ConnectionBody; ConnectionBody: TYPE; BreakDest: TYPE ~ RECORD [fileNameStem, breakProcName: ROPE]; nilBreakDest: BreakDest ~ [NIL, NIL]; <> <<>> GetConnection: PROC[breakDest: BreakDest, reports: IO.STREAM, workingDirectories: LIST OF ROPE ¬ NIL] RETURNS[Connection]; ExtractCcFromConnection: PROC [Connection] RETURNS [CirioTypes.CC]; FlushUnknownFileCache: PROC[connection: Connection, reports: IO.STREAM]; <> ReleaseConnection: PROC[connection: Connection, reports: IO.STREAM]; DoUnderMonitorLock: PROC[connection: Connection, toDo: PROC]; <<>> <<>> <> <<>> GetStackForSelf: PROC[connection: Connection, reports: IO.STREAM]RETURNS[StackCirio.Stack]; <> <<>> GetDummyStack: PROC[connection: Connection, reports: IO.STREAM]RETURNS[StackCirio.Stack]; <<>> <> AddSearchDirectory: PROC [connection: Connection, dirName: ROPE, reports: IO.STREAM]; RemoveSearchDirectory: PROC [connection: Connection, dirName: ROPE, reports: IO.STREAM]; ListSearchDirectory: PROC [connection: Connection, reports: IO.STREAM]; ClearSearchDirectory: PROC [connection: Connection, reports: IO.STREAM]; END..