2014-06-25 09:12:07 +04:00
|
|
|
/* -*- indent-tabs-mode: nil; js-indent-level: 2 -*- */
|
2012-05-21 15:12:37 +04:00
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
1998-04-14 22:16:23 +04:00
|
|
|
|
1998-04-14 22:14:55 +04:00
|
|
|
|
|
|
|
//
|
|
|
|
// return a string representing the html content in html format
|
|
|
|
//
|
|
|
|
function htmlString(node, indent)
|
|
|
|
{
|
|
|
|
var html = ""
|
|
|
|
indent += " "
|
|
|
|
|
1998-07-14 22:44:44 +04:00
|
|
|
var type = node.nodeType
|
1998-04-14 22:14:55 +04:00
|
|
|
if (type == Node.ELEMENT) {
|
|
|
|
|
|
|
|
// open tag
|
1998-07-14 22:44:44 +04:00
|
|
|
html += "\n" + indent + "<" + node.tagName
|
1998-04-14 22:14:55 +04:00
|
|
|
|
|
|
|
// dump the attributes if any
|
1998-07-14 22:44:44 +04:00
|
|
|
attributes = node.attributes
|
1998-04-14 22:14:55 +04:00
|
|
|
if (null != attributes) {
|
1998-07-14 22:44:44 +04:00
|
|
|
var countAttrs = attributes.length
|
1998-04-14 22:14:55 +04:00
|
|
|
var index = 0
|
|
|
|
while(index < countAttrs) {
|
1998-07-15 03:07:26 +04:00
|
|
|
att = attributes[index]
|
1998-04-14 22:14:55 +04:00
|
|
|
if (null != att) {
|
1998-07-15 20:54:19 +04:00
|
|
|
html += " "
|
1998-07-15 03:07:26 +04:00
|
|
|
html += att.name + "=" + att.value;
|
1998-04-14 22:14:55 +04:00
|
|
|
}
|
|
|
|
index++
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// end tag
|
|
|
|
html += ">"
|
|
|
|
|
|
|
|
// recursively dump the children
|
1998-07-14 22:44:44 +04:00
|
|
|
if (node.hasChildNodes) {
|
1998-04-14 22:14:55 +04:00
|
|
|
// get the children
|
1998-07-14 22:44:44 +04:00
|
|
|
var children = node.childNodes
|
|
|
|
var length = children.length
|
1998-04-14 22:14:55 +04:00
|
|
|
var count = 0;
|
|
|
|
while(count < length) {
|
1998-07-15 03:07:26 +04:00
|
|
|
child = children[count]
|
1998-04-14 22:14:55 +04:00
|
|
|
html += htmlString(child, indent)
|
|
|
|
count++
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// close tag
|
1998-07-14 22:44:44 +04:00
|
|
|
html += "\n" + indent + "</" + node.tagName + ">"
|
1998-04-14 22:14:55 +04:00
|
|
|
}
|
|
|
|
// if it's a piece of text just dump the text
|
|
|
|
else if (type == Node.TEXT) {
|
|
|
|
html += node.data
|
|
|
|
}
|
|
|
|
|
|
|
|
return html;
|
|
|
|
}
|
|
|
|
|
|
|
|
htmlString(document.documentElement, "")
|
|
|
|
|
|
|
|
|
1998-04-15 22:55:21 +04:00
|
|
|
|