<> <> <> <> <> <> <> DIRECTORY FS USING [OpenFile], IO USING [STREAM], MonitoredQueue USING [MQ], Rope USING [ROPE], RopeReader USING [Ref]; FileWriter: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; Ref: TYPE = REF FileWriterBody; FileWriterBody: PRIVATE TYPE = RECORD [ block: REF TEXT, -- current block of characters blockList: BlockList, -- list of blocks blockQueue: MonitoredQueue.MQ, -- monitored queue of blocks blockCount: NAT _ 0, -- number added to queue/list stream: IO.STREAM, -- file being written toRope: BOOL, -- true if output to rope instead of file closeStream: BOOL, -- true if should close stream after write consumer: PROCESS, -- removes blocks from queue kind: OfWriter _ unused ]; OfWriter: TYPE = {control, comment, data, unused}; BlockList: TYPE = REF BlockListBody; BlockListBody: TYPE = RECORD[block: REF TEXT, next: BlockList]; blockSize: NAT = 512; OpenC: PROC [capability: FS.OpenFile, start: INT _ 0, makeControl: BOOL _ TRUE] RETURNS [control, comment, data: Ref]; ToRope: PROC [makeControl: BOOL _ TRUE] RETURNS [control, comment, data: Ref]; ToStream: PROC [stream: IO.STREAM, makeControl: BOOL _ TRUE] RETURNS [control, comment, data: Ref]; Close: PROC [control, comment, data: Ref, textOnly: BOOL] RETURNS [dataLen, count: INT, output: ROPE]; WriteChar: PROC [c: CHAR, writer: Ref]; WriteRope: PROC [r: ROPE, size: INT, writer: Ref, reader: RopeReader.Ref]; WriteText: PROC [txt: REF READONLY TEXT, writer: Ref]; BumpWriter: PRIVATE PROC [writer: Ref] RETURNS [REF TEXT]; <> END.