diff -r 97599ff43072 -r 46e21d060650 sbin/res/app/handlers/XMLDOC/XMLDoc.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/sbin/res/app/handlers/XMLDOC/XMLDoc.js	Fri Dec 23 10:59:23 2011 +0100
@@ -0,0 +1,16 @@
+LOG.inform("XMLDOC.symbolize loaded");
+
+/**
+ * Convert the source file to a set of symbols
+ */
+XMLDOC.symbolize = function(srcFile, src) {
+
+   LOG.inform("Symbolizing file '" + srcFile + "'");
+
+   // XML files already have a defined structure, so we don't need to
+   // do anything but parse them.  The DOM reader can create a symbol
+   // table from the parsed XML.
+   var dr = new XMLDOC.DomReader(XMLDOC.Parser.parse(src));
+   return dr.getSymbols(srcFile);
+
+};