Input
CreateInput:
PROC [from: TextNode.Ref, commentHandling: CommentHandling ¬ [
FALSE[]], 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 prefix for comment nodes.
Each subnode's chars are suffixed by a newline, after the comment suffix (if any).
CommentHandling:
TYPE =
RECORD [variant:
SELECT see:
BOOL
FROM
FALSE => [],
TRUE => [prefix, suffix: ROPE ¬ NIL],
ENDCASE];
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, flexilevel:
BOOL ¬
FALSE, spacesPerTab, normalNestIndent, minFmtIndent:
INT ¬ 0, maxFmtIndent:
INT ¬ -1, commentHandling: CommentHandling ¬ [
FALSE[]] ]
RETURNS [out:
IO.
STREAM];
Creates children of to.
IF breakAtNewline, THEN s.PutChar['\n] gets translated to s.EndNode[reset, FALSE].
IF (NOT flexilevel) AND levelPrefix # NIL, THEN every node that begins with N repetitions of levelPrefix will be indented N levels deeper than it otherwise would be.
IF flexilevel, THEN the depth of each node is 1 more than the depth of the most recent node with less leading whitespace. Spaces are white; tabs are white iff spacesPerTab>0; nothing else is white.
Each child node will have format=defaultFormat, unless explicitly overridden by SetFormat.
IF flexilevel AND normalNestIndent>0 AND maxFmtIndent<minFmtIndent, THEN each node whose amout of leading white space exceeds its parent's by an amout different than normalNestIndent gets a Postfix property adjusting its appearance to match the amount of leading white space.
IF flexilevel AND maxFmtIndent >= minFmtIndent, THEN each node whose amount of leading white space exceeds it parent's by N is created with format defaultFormat-N if N IN [minFmtIndent..maxFmtIndent], otherwise with format defaultFormat-M and a postfix property (M IN {minFmtIndent, maxFmtIndent}); normalNestIndent is indentation of children relative to parent.
When commentHandling.see, nodes with the given prefix and suffix become comment nodes without the prefix or suffix.
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.
Can't be called on flexilevel streams.
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.
CallerBug:
ERROR [s:
IO.
STREAM, message:
ROPE];
General escape.