<> <> DIRECTORY IO, Rope, TextNode, TiogaFileOps; TiogaStreams: CEDAR DEFINITIONS = BEGIN NotNow: ERROR [s: IO.STREAM]; BadDeltaDepth: ERROR [s: IO.STREAM, totalDeltaDepth: INT]; ROPE: TYPE = Rope.ROPE; IsATS: PROC [s: IO.STREAM] RETURNS [is: BOOLEAN]; CreateInput: PROC [from: TextNode.Ref] RETURNS [in: IO.STREAM]; CurInNode: PROC [s: IO.STREAM] RETURNS [n: TextNode.Ref]; SkipChildren: PROC [s: IO.STREAM]; CreateOutput: PROC [to: TiogaFileOps.Ref, defaultFormat: ROPE _ NIL] RETURNS [out: IO.STREAM]; CurOutNode: PROC [s: IO.STREAM] RETURNS [n: TiogaFileOps.Ref]; EndNode: PROC [s: IO.STREAM, idempotently: BOOLEAN _ FALSE]; SetFormat: PROC [of: IO.STREAM, format: ROPE]; ChangeDepth: PROC [s: IO.STREAM, deltaDepth: INTEGER _ 0 -- <= 1 --, autoEndNode: BOOLEAN _ TRUE, idempotently: BOOLEAN _ FALSE]; CopyChildren: PROC [from: TextNode.Ref, to: TiogaFileOps.Ref]; END.