diff options
author | 2014-01-02 12:37:50 -0800 | |
---|---|---|
committer | 2014-01-02 16:19:33 -0800 | |
commit | 993148552efcffb60c7e1be7aa3322f1bffa1c74 (patch) | |
tree | efdbd68e79c93f3b25b7d69c6a7f8a6d0ff7a903 /parser.h | |
parent | 1863be7be43d18e5e24c2684df86d764ddb089cc (diff) |
Support for Ctrl-C cancellation in new parser. Added tests for it too.
Diffstat (limited to 'parser.h')
-rw-r--r-- | parser.h | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -287,6 +287,9 @@ private: /** Position of last error */ int err_pos; + /** Indication that we should skip all blocks */ + bool cancellation_requested; + /** Stack of execution contexts. We own these pointers and must delete them */ std::vector<parse_execution_context_t *> execution_contexts; |