TTOutput:
DEFINITIONS =
BEGIN
Ref: TYPE = REF Rep;
Rep:
TYPE =
RECORD [
stream: IO.STREAM,
spacesInCurrentLine: NAT ← 0,
lastThingWasControlSequence: BOOLEAN ← FALSE,
level: NAT ← 0
];
Create: PUBLIC PROCEDURE [stream: IO.STREAM] RETURNS [Ref];
Char: PUBLIC PROCEDURE [self: Ref];
Space: PUBLIC PROCEDURE [self: Ref];
EndLine: PUBLIC PROCEDURE [self: Ref];
ControlSeq: PUBLIC PROCEDURE [self: Ref, name: Rope.ROPE];
BeginGroup: PUBLIC PROCEDURE [self: Ref];
EndGroup: PUBLIC PROCEDURE [self: Ref];
Close: PUBLIC PROCEDURE [self: Ref];
END.
Michael Plass, December 9, 1982 9:02 am. Created.