<<>> <> <> <> <<>> DIRECTORY IO USING [STREAM, StreamProcs], IOTioga USING [CharSet, Looks, MapPropsAction, PropList]; IOTiogaPrivate: CEDAR DEFINITIONS ~ BEGIN STREAM: TYPE ~ IO.STREAM; CharSet: TYPE ~ IOTioga.CharSet; Looks: TYPE ~ IOTioga.Looks; PropList: TYPE ~ IOTioga.PropList; MapPropsAction: TYPE ~ IOTioga.MapPropsAction; Ops: TYPE ~ REF OpsRep; OpsRep: TYPE ~ RECORD [ PutChar: PROC [self: STREAM, char: CHAR], SetCharSet: PROC [self: STREAM, charSet: CharSet], GetCharSet: PROC [self: STREAM] RETURNS [CharSet], ChangeLooks: PROC [self: STREAM, remove, add: Looks], GetLooks: PROC [self: STREAM] RETURNS [Looks], SetCharProps: PROC [self: STREAM, propList: PropList], GetCharProps: PROC [self: STREAM] RETURNS [PropList], SetNodeProp: PROC [self: STREAM, name: ATOM, value: REF], GetNodeProp: PROC [self: STREAM, name: ATOM] RETURNS[value: REF], MapNodeProps: PROC [self: STREAM, action: MapPropsAction] RETURNS [BOOL], SetLevel: PROC [self: STREAM, level: CARDINAL], GetLevel: PROC [self: STREAM] RETURNS [level: CARDINAL], Break: PROC [self: STREAM] ]; AddOps: PROC [class: REF IO.StreamProcs, ops: Ops]; END.