javascript - 获取 XMLDOM 对象中的 xml

Question

我已经将一个 xml 文件加载到 xmldoc 中，并且在我想将 xmldoc 的 xml 放入文本框之后，我更改了 xmldoc 中的一些 xml 元素。我将通过显示代码来解释：

xmlDoc = loadXMLString(document.getElementById("xmlText").value);
x=xmlDoc.getElementsByTagName("Machines")[0].childNodes[0];
x.nodeValue="myMachine";
xmlText.value = xmlDoc.?????;`

那么用什么函数/字段来替换上面最后一行中的问号呢？