FileWriter.Mesa
written by Paxton. March 1981
last written by Paxton. August 24, 1982 9:31 am
Russ Atkinson, July 22, 1983 10:21 am
DIRECTORY
Rope,
IO,
FS,
MonitoredQueue,
RopeReader,
RopeEditingBLT;
FileWriter:
CEDAR DEFINITIONS
IMPORTS RopeEditingBLT, RopeReader
= BEGIN
ROPE: TYPE = Rope.ROPE;
Offset: TYPE = INT;
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: Offset ← 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: Offset, output: ROPE];
WriteChar:
PROC [c:
CHAR, writer: Ref] =
INLINE {
loc: NAT;
block: REF TEXT ← writer.block;
IF (loc𡤋lock.length) >= blockSize
THEN
-- buffer is full
{ block ← BumpWriter[writer]; loc ← 0 };
block[loc] ← c; block.length ← loc+1 };
WriteRope:
PROC
[r: ROPE, size: Offset, writer: Ref, reader: RopeReader.Ref] = INLINE {
cnt: NAT;
block: REF TEXT ← writer.block;
RopeReader.SetPosition[reader,r,0];
UNTIL size=0
DO
IF block.length >= blockSize
THEN
-- buffer is full
block ← BumpWriter[writer];
cnt ← RopeReader.GetString[reader:reader, str:block];
size ← size-cnt;
ENDLOOP };
WriteText:
PROC [txt:
REF
READONLY
TEXT, writer: Ref] =
INLINE {
cnt, loc, txtLoc: NAT;
size: NAT ← txt.length;
block: REF TEXT ← writer.block;
txtLoc ← 0;
UNTIL size=0
DO
IF (loc𡤋lock.length) >= blockSize
THEN
-- buffer is full
{ block ← BumpWriter[writer]; loc ← block.length };
cnt ← MIN[blockSize-loc,size];
RopeEditingBLT.StringToStringBlt[txt,txtLoc,block,loc,cnt];
size ← size-cnt; txtLoc ← txtLoc+cnt; block.length ← loc+cnt;
ENDLOOP };
BumpWriter:
PRIVATE
PROC [writer: Ref]
RETURNS [
REF
TEXT];
-- move chars to end of list and allocate a new one
Start: PROC; -- for initialization only
END.