<<>> <> <> <> <> <> <> <> DIRECTORY PFS USING [PATH, UniqueID, nullUniqueID, OpenFile], IO USING [STREAM], Rope USING [ROPE], Tioga USING [Node]; TiogaIO: CEDAR DEFINITIONS ~ BEGIN STREAM: TYPE ~ IO.STREAM; ROPE: TYPE ~ Rope.ROPE; Node: TYPE ~ Tioga.Node; Error: ERROR; GetDoc: PROC [s1, s2, s3: STREAM] RETURNS [Node]; <<>> PutDoc: PROC [s1, s2, s3: STREAM, root: Node]; <<>> GetDocRope: PROC [s1, s2, s3: STREAM] RETURNS [ROPE]; <<>> RopeFromSimpleDoc: PROC [Node] RETURNS [ROPE]; <<>> SimpleDocFromRope: PROC [ROPE] RETURNS [Node]; <<>> FromRope: PROC [rope: ROPE] RETURNS [Node]; <<>> ToStream: PROC [s: STREAM, root: Node] RETURNS [dataLen: INT]; <<>> ToRope: PROC [root: Node] RETURNS [ROPE]; <<>> Pair: TYPE ~ RECORD [contents: ROPE, formatting: ROPE]; FromPair: PROC [pair: Pair] RETURNS [Node]; ToPair: PROC [root: Node] RETURNS [Pair]; <<>> FromFile: PROC [fileName: PFS.PATH, wantedUniqueID: PFS.UniqueID ¬ PFS.nullUniqueID] RETURNS [fullFName: PFS.PATH, uniqueID: PFS.UniqueID, root: Node]; ToFile: PROC [fileName: PFS.PATH, root: Node] RETURNS [fullFName: PFS.PATH, uniqueID: PFS.UniqueID, dataLen: INT]; <<>> FromOpenFile: PROC [file: PFS.OpenFile] RETURNS [fullFName: PFS.PATH, uniqueID: PFS.UniqueID, root: Node]; ToOpenFile: PROC [file: PFS.OpenFile, root: Node] RETURNS [fullFName: PFS.PATH, uniqueID: PFS.UniqueID, dataLen: INT]; <<>> WritePlainToStream: PROC [s: STREAM, root: Node, restoreDashes: BOOL ¬ FALSE]; <<>> WritePlainToRope: PROC [root: Node, restoreDashes: BOOL ¬ FALSE] RETURNS [ROPE]; <<>> END.