diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-10 21:33:25 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-10 21:34:04 -0800 |
commit | 958505853ebd24fd3c0dc2bc6f6fb0615a48c8b7 (patch) | |
tree | eb949684782940565b5e1c4dbadbbaa6cdddbff8 /js/bin | |
parent | f5476eb652b7d69ed25c858a4d757b9313b40b67 (diff) |
Added options to DocParser.
So far only 'time' is supported.
'time' now gives a breakdown of block parsing, inline parsing,
and rendering.
Currently the ratio is
block parsing: 725ms
inline parsing: 332ms
rendering: 213ms
so perhaps block.js is the best place to look for further optimizations.
Diffstat (limited to 'js/bin')
-rwxr-xr-x | js/bin/commonmark | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/js/bin/commonmark b/js/bin/commonmark index 6c9955c..8f1210b 100755 --- a/js/bin/commonmark +++ b/js/bin/commonmark @@ -7,9 +7,8 @@ var commonmark = require('../lib/index.js'); var inps = []; var file; var files = []; -var options = { sourcepos: false }; +var options = { sourcepos: false, time: false }; var format = 'html'; -var time = false; var i; for (i = 2; i < process.argv.length; i++) { @@ -17,7 +16,7 @@ for (i = 2; i < process.argv.length; i++) { if (arg === '--ast') { format = 'ast'; } else if (arg === '--time') { - time = true; + options.time = true; } else if (arg === '--sourcepos') { options.sourcepos = true; } else if (/^--/.test(arg)) { @@ -28,7 +27,7 @@ for (i = 2; i < process.argv.length; i++) { } } -var parser = new commonmark.DocParser(); +var parser = new commonmark.DocParser(options); var renderer; if (format === 'html') { @@ -48,12 +47,8 @@ for (i = 0; i < files.length; i++) { } var inp = inps.join('\n'); -if (time) { console.time("parsing"); } var doc = parser.parse(inp); -if (time) { console.timeEnd("parsing"); } -if (time) { console.time("rendering"); } var rendered = renderer.render(doc); -if (time) { console.timeEnd("rendering"); } -if (!time) { process.stdout.write(rendered); }
\ No newline at end of file +if (!options.time) { process.stdout.write(rendered); }
\ No newline at end of file |