diff options
Diffstat (limited to 'misc/yosysjs/yosysjs.js')
| -rw-r--r-- | misc/yosysjs/yosysjs.js | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/misc/yosysjs/yosysjs.js b/misc/yosysjs/yosysjs.js index 9723386f9..eabc0ec50 100644 --- a/misc/yosysjs/yosysjs.js +++ b/misc/yosysjs/yosysjs.js @@ -227,6 +227,7 @@ var YosysJS = new function() { ys.worker = new Worker('yosyswrk.js'); ys.callback_idx = 1; ys.callback_cache = {}; + ys.errmsg = ""; ys.callback_cache[0] = on_ready; on_ready = null; @@ -235,6 +236,7 @@ var YosysJS = new function() { var response = e.data[0]; var callback = ys.callback_cache[response.idx]; delete ys.callback_cache[response.idx]; + if ("errmsg" in response) ys.errmsg = response.errmsg; if (callback) callback.apply(null, response.args); } @@ -294,6 +296,17 @@ var YosysJS = new function() { ys.worker.postMessage([request]); } + ys.verbose = function(value, callback) { + var request = { + "idx": ys.callback_idx, + "mode": "verbose", + "value": value + }; + + ys.callback_cache[ys.callback_idx++] = callback; + ys.worker.postMessage([request]); + } + return ys; } } |