<> <> <> <> <> DIRECTORY IO USING [STREAM], ISToken USING [TVHandle], Rope USING [ROPE]; ISOut: CEDAR DEFINITIONS = BEGIN Unimplemented: ERROR; Encoding: TYPE = MACHINE DEPENDENT {Publication100(0), Machine100, last(65535)}; Operator: TYPE = { leftCurly, rightCurly, gets, open, plus, minus, times, divide, push, pop, dot, extra0, extra1, extra2, extra3, extra4, extra5, extra6, extra7, extra8, extra9 }; Handle: TYPE = REF Interface; Interface: TYPE = RECORD [ data: PRIVATE REF, <> PutOperator: PROCEDURE [Handle, Operator], PutISAtom: PROCEDURE [Handle, ATOM], PutTag: PROCEDURE [Handle, ATOM], <> PutStringLiteral: PROCEDURE [Handle, Rope.ROPE], PutXStringLiteral: PROCEDURE [Handle, Rope.ROPE], <> PutCardinal: PROCEDURE [Handle, CARDINAL], PutLongCardinal: PROCEDURE [Handle, LONG CARDINAL], <> PutTVObject: PROCEDURE [Handle, ISToken.TVHandle], Delete: PROCEDURE [Handle], <> Start: PROCEDURE [h: Handle, output: IO.STREAM, name: Rope.ROPE _ NIL], Finish: PROCEDURE [Handle], Abort: PROCEDURE [Handle], encoding: Encoding ]; CreatePublication100: PROCEDURE RETURNS [Handle]; END.