+
+// this does not pretty-print
+function nodes_to_html (tree) {
+ var attr_keys, i, k, n, ret
+ ret = ''
+ for (i = 0; i < tree.length; ++i) {
+ n = tree[i]
+ switch (n.type) {
+ case 'tag':
+ ret += '<' + n.name
+ attr_keys = []
+ for (k in n.attrs) {
+ ret += " " + k
+ if (n.attrs[k].length > 0) {
+ ret += "=\"" + (enc_attr(n.attrs[k])) + "\""
+ }
+ }
+ ret += '>'
+ if (void_elements[n.name] == null) {
+ if (n.children.length) {
+ ret += nodes_to_html(n.children)
+ }
+ ret += "</" + n.name + ">"
+ }
+ break
+ case 'text':
+ ret += enc_text(n.text)
+ break
+ case 'comment':
+ ret += "<!--" + n.text + "-->" // TODO encode?
+ break
+ case 'doctype':
+ ret += "<!DOCTYPE " + n.name
+ if ((n.public_identifier != null) && n.public_identifier.length > 0) {
+ ret += " \"" + n.public_identifier + "\""
+ }
+ if ((n.system_identifier != null) && n.system_identifier.length > 0) {
+ ret += " \"" + n.system_identifier + "\""
+ }
+ ret += ">"
+ }
+ }
+ return ret
+}
+