Input
CreateInput:
PROC [from: TextNode.Ref, commentHandling: CommentHandling ← discard, levelPrefix:
ROPE ←
NIL]
RETURNS [in:
IO.
STREAM];
Create a Tioga Input Stream on descendents of from.
Each subnode's chars are prefixed by levelPrefix * (-1 + its depth realtive to from), then maybe "--" for comment nodes.
CommentHandling:
TYPE = {discard, useDirectly, prefixWithDashDash};
What to do about comment nodes.
CurInLoc:
PROC [s:
IO.
STREAM]
RETURNS [loc: TextNode.Location];
Where the "carat" is. This is a position between characters, or index of next character. Phony prefixes and postfixes get "squeezed" out.
SkipChildren:
PROC [s:
IO.
STREAM];
Skips children of CurInNode[s].
Output
CreateOutput:
PROC [to: TiogaFileOps.Ref, breakAtNewline:
BOOL ←
FALSE, levelPrefix, defaultFormat:
ROPE ←
NIL]
RETURNS [out:
IO.
STREAM];
Creates children of to.
IF breakAtNewline, THEN s.PutChar['\n] gets translated to s.EndNode[reset, FALSE].
IF levelPrefix # NIL, THEN every node that begins with N repetitions of levelPrefix will be indented N levels deeper than it otherwise would be.
Each child node will have format=defaultFormat, unless explicitly overridden by SetFormat.
CurOutNode:
PROC [s:
IO.
STREAM]
RETURNS [n: TiogaFileOps.Ref];
Returns the one just before the "carat", which is, of course, between characters.
EndNode:
PROC [s:
IO.
STREAM, depthOp: DepthOp ← reset, idempotently:
BOOLEAN ←
FALSE];
depthOp says whether new node should have same depth as previous, or revert to initial (direct child of CreateOutput's to). May be further modified by ChangeDepth or receiving levelPrefixes.
DepthOp: TYPE = {same, reset};
SetFormat:
PROC [of:
IO.
STREAM, format:
ROPE];
Applies to CurOutNode only.
ChangeDepth:
PROC [s:
IO.
STREAM, deltaDepth:
INTEGER ← 0, autoEndNode:
BOOL ←
TRUE, idempotently:
BOOL ←
FALSE];
IF autoEndNode, THEN first EndNode[same, idempotently].
Must be called "between" nodes (autoEndNode trivializes that).
Changes depth of following node from what it would otherwise be.
NotNow:
ERROR [s:
IO.
STREAM];
Raised by ChangeDepth when called before node ended.
BadDepth:
ERROR [s:
IO.
STREAM, depth:
INT];
Raised when depth (relative to CreateOutput's to) goes negative --- usually from IO operations (like PutChar) that put the first character on a node.
When depth jumps deeper than Tioga will (i.e., more than one level per jump), the difference is made up by prefixing with copies of levelPrefix.