XMLDoc.js 465 B

12345678910111213141516
  1. LOG.inform("XMLDOC.symbolize loaded");
  2. /**
  3. * Convert the source file to a set of symbols
  4. */
  5. XMLDOC.symbolize = function(srcFile, src) {
  6. LOG.inform("Symbolizing file '" + srcFile + "'");
  7. // XML files already have a defined structure, so we don't need to
  8. // do anything but parse them. The DOM reader can create a symbol
  9. // table from the parsed XML.
  10. var dr = new XMLDOC.DomReader(XMLDOC.Parser.parse(src));
  11. return dr.getSymbols(srcFile);
  12. };