Metis/src/Print.sml

612 (* A type of output lines.                                                   *)
626 fun addEmptyLine lines = emptyLine :: lines;
628 fun addLine lines indent line = {indent = indent, line = line} :: lines;
699 fun addChunksLine lines indent chunks =
700     addLine lines indent (renderChunks chunks);
703   fun add baseIndent ((extraIndent,chunks),lines) =
704       addChunksLine lines (baseIndent + extraIndent) chunks;
706   fun addIndentChunksLines lines baseIndent indent_chunks =
707       List.foldl (add baseIndent) lines indent_chunks;
876   fun breakUp lines lineIndent frames =
880         case breakUp lines lineIndent frames of
897               val lines = addChunksLine lines lineIndent chunks
899               val lines = addIndentChunksLines lines indent indent_chunks
907               SOME ((lines,lineIndent),lineSize,frames)
976   fun breakInside lines lineIndent frames =
988             val lines = addChunksLine lines lineIndent chunks
990             val lines = addIndentChunksLines lines indent indent_chunks
998             SOME ((lines,lineIndent),lineSize,frames)
1001           case breakInside lines lineIndent frames of
1011   fun breakFrames lines lineIndent frames =
1012       case breakUp lines lineIndent frames of
1013         SOME ((lines,lineIndent),lineSize,frames) =>
1014         SOME (lines,lineIndent,lineSize,frames)
1016         case breakInside lines lineIndent frames of
1017           SOME ((lines,lineIndent),lineSize,frames) =>
1018           SOME (lines,lineIndent,lineSize,frames)
1158 fun normalizeState lineLength lines state =
1167       if within then (lines,state)
1169         case breakFrames lines lineIndent stack of
1170           NONE => (lines,state)
1171         | SOME (lines,lineIndent,lineSize,stack) =>
1182             normalizeState lineLength lines state
1190   fun executeBeginBlock block lines state =
1215         (lines,state)
1218   fun executeEndBlock lines state =
1305         (lines,state)
1308   fun executeAddWord lineLength word lines state =
1353         normalizeState lineLength lines state
1356   fun executeAddBreak lineLength break lines state =
1373           [] => (lines,state)
1422             normalizeState lineLength lines state
1426   fun executeBigBreak lines state =
1431         executeAddBreak lineLength break lines state
1434   fun executeAddNewline lineLength lines state =
1435       if isEmptyState state then (addEmptyLine lines, state)
1436       else executeBigBreak lines state;
1438   fun executeEof lineLength lines state =
1439       if isFinalState state then (lines,state)
1442           val (lines,state) = executeBigBreak lines state
1450           (lines,state)
1457               val lines = []
1460                 BeginBlock block => executeBeginBlock block lines state
1461               | EndBlock => executeEndBlock lines state
1462               | AddWord word => executeAddWord lineLength word lines state
1463               | AddBreak break => executeAddBreak lineLength break lines state
1464               | AddNewline => executeAddNewline lineLength lines state
1470               val (lines,state) = execute step state
1474               (lines,state)
1483               val lines = []
1485               val (lines,state) = executeEof lineLength lines state
1491               if List.null lines then Stream.Nil else Stream.singleton lines
1499              val lines = Stream.maps execute final initialState pps
1501              revConcat lines
1516           val lines = Stream.foldl incn (inc h []) (t ())
1518           String.concat (List.rev lines)