| 12345678910111213141516 |
- 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);
- };
|