diff options
author | Rogan Creswick <creswick@galois.com> | 2012-03-30 17:07:02 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@galois.com> | 2012-03-30 17:07:02 -0700 |
commit | f6ab6622aab00fe7c2f4c3dc41f786ebbe0f0d73 (patch) | |
tree | 870111038542cd27153e1396ebdc063573249689 /tools/jsdoc-toolkit-2.4.0/app/handlers/XMLDOC/XMLDoc.js |
initial revision
Diffstat (limited to 'tools/jsdoc-toolkit-2.4.0/app/handlers/XMLDOC/XMLDoc.js')
-rwxr-xr-x | tools/jsdoc-toolkit-2.4.0/app/handlers/XMLDOC/XMLDoc.js | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/jsdoc-toolkit-2.4.0/app/handlers/XMLDOC/XMLDoc.js b/tools/jsdoc-toolkit-2.4.0/app/handlers/XMLDOC/XMLDoc.js new file mode 100755 index 0000000..e9b3e3c --- /dev/null +++ b/tools/jsdoc-toolkit-2.4.0/app/handlers/XMLDOC/XMLDoc.js @@ -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); + +}; |