ideal • runtime • texts • markup

Format text for output as markup.

class markup formatter

extends text formatter

import ideal • machine • elements • runtime util

static OPEN START TAG : "<"

static OPEN END TAG : "</"

static ATTRIBUTE SEPARATOR : " "

static ATTRIBUTE START : "='"

static ATTRIBUTE END : "'"

static CLOSE TAG : ">"

static CLOSE SELF CLOSING TAG : " />"

static DEFAULT INDENT : " "

private boolean write newlines

overload markup formatter(output[character] out, string spaces, boolean write newlines)

super(out, spaces)

this • write newlines = write newlines

overload markup formatter(output[character] out, string spaces)

this(out, spaces, true)

overload markup formatter(output[character] out)

this(out, DEFAULT INDENT, true)

override void process string(string s)

write escaped(s)

override void process element(text element element)

is block : write newlines && text utilities • is block(element)

attributes : element • attributes

children : element • children

if children is null

write self closing tag(element, attributes)

if is block

write newline()

else

if is block

if !first

write newline()

if indent > 0

do indent()

write start tag(element, attributes)

write newline()

do indent()

else

write start tag(element, attributes)

process(children)

if is block

if !first

write newline()

do unindent()

write end tag(element)

write newline()

if indent > 0

do unindent()

else

write end tag(element)

private void do indent()

indent += 1

private void do unindent()

new indent : indent - 1

assert new indent is nonnegative

indent = new indent

override void process special(special text t)

write string(t • to markup)

private void write start tag(text element element, readonly dictionary[attribute id, attribute fragment] attributes)

write string(OPEN START TAG)

write escaped(element • get id • short name)

write tag attributes(attributes)

write string(CLOSE TAG)

private void write end tag(text element element)

write string(OPEN END TAG)

write escaped(element • get id • short name)

write string(CLOSE TAG)

private void write self closing tag(text element element, readonly dictionary[attribute id, attribute fragment] attributes)

write string(OPEN START TAG)

write escaped(element • get id • short name)

write tag attributes(attributes)

write string(CLOSE SELF CLOSING TAG)

private void write tag attributes(readonly dictionary[attribute id, attribute fragment] attributes)

for (attribute : attributes • elements)

write string(ATTRIBUTE SEPARATOR)

write escaped(attribute • key • short name)

write string(ATTRIBUTE START)

process(attribute • value)

write string(ATTRIBUTE END)

private void write escaped(string s)

write string(runtime util • escape markup(s))