rem: if (nodeRef.nodeType == Node.TEXT_NODE) { return [["TEXT", nodeRef.textContent]] } else if (nodeRef.nodeType == Node.ELEMENT_NODE ) { 
add: if (nodeRef.nodeType == document.TEXT_NODE) { return [["TEXT", _textContent(nodeRef)]] } else if (nodeRef.nodeType == document.ELEMENT_NODE ) { 
context: function _getValue(nodeRef) {  if (nodeRef.nodeType == Node.TEXT_NODE) {    return [["TEXT", nodeRef.textContent]]  } else if (nodeRef.nodeType == Node.ELEMENT_NODE ) {    var children = [];    for (var i=0; i < nodeRef.childNodes.length; i++) {      children = children.concat(_getValue(nodeRef.childNodes[i]));    }    var attrs = {};    for (var i=0; i < nodeRef.attributes.length; i++) {      attrs[nodeRef.attributes[i].name] = nodeRef.attributes[i].value    }    for (var i=0; i < children.length; i++) {      DEBUG.assert(children[i][0] == "ELEMENT" || children[i][0] == "TEXT",                   "Invalid children list constructed in DOMNodeToXML")    }    return [["ELEMENT", nodeRef.tagName, attrs, children]]  } else {    throw("Unknown node type " + nodeRef.nodeType + " in GetXml")  }}
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/b5262851138d23bc9e0a27cd12d85b1727613e2e/jslib.js/buggy/lib/js/jslib.js