<> <> <> <> DIRECTORY DragomanPrivate, CacheModels, Atom, Commander, IO, Rope; <<>> Dragoman: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; Machine: TYPE = DragomanPrivate.Machine; Handle: TYPE = REF HandleRec; -- a REF to the data for a particular instance of the sample tool; multiple instances can be created. HandleRec: TYPE = RECORD [ -- the data for a particular tool instance modelCache: BOOL, m: Machine, line: ROPE, workingDir: Atom.PropList, tsOut: STREAM]; Start: PROC [backingFile: ROPE _ NIL, instr, data: DragomanPrivate.CacheIndex _ 1, traceOps: BOOL _ FALSE, countOps: BOOL _ FALSE, recordXferOut: BOOL _ TRUE, modelCache: BOOL _ TRUE, flushOnCall: BOOL _ FALSE] RETURNS [handle: Handle]; SetInstructionCache: PROC [handle: Handle, number: DragomanPrivate.CacheIndex, cache: CacheModels.Cache]; SetDataCache: PROC [handle: Handle, number: DragomanPrivate.CacheIndex, cache: CacheModels.Cache]; MarkGFI: PROC [handle: Handle, name1, name2, name3, name4, name5, name6: ROPE _ NIL]; MarkGFIs: PROC [handle: Handle, names: LIST OF ROPE _ NIL]; Run: PROC [handle: Handle, name: ROPE, recordXferOut: BOOL _ TRUE]; End: PROC [handle: Handle]; END.