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