Interface:
TYPE =
RECORD [
data: PRIVATE REF,
basic tokens --
PutOperator: PROCEDURE [Handle, Operator],
PutISAtom: PROCEDURE [Handle, ATOM],
PutTag: PROCEDURE [Handle, ATOM],
characters .. NOT a pub-encoding representation of a fragment --
PutStringLiteral: PROCEDURE [Handle, Rope.ROPE],
PutXStringLiteral: PROCEDURE [Handle, Rope.ROPE],
numbers --
PutCardinal: PROCEDURE [Handle, CARDINAL],
PutLongCardinal: PROCEDURE [Handle, LONG CARDINAL],
special help --
PutTVObject: PROCEDURE [Handle, ISToken.TVHandle],
Delete: PROCEDURE [Handle],
processing --
Start: PROCEDURE [h: Handle, output: IO.STREAM, name: Rope.ROPE ← NIL],
Finish: PROCEDURE [Handle],
Abort: PROCEDURE [Handle],
encoding: Encoding ];