diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-08-26 15:11:47 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-08-26 15:11:47 (GMT) |
| commit | 0a22a276cfff2155cbaf4939d75c257dfdb46932 (patch) | |
| tree | efd057b2bfee89557636819433bc7ecf932153cd /src/uscxml/Interpreter.h | |
| parent | f3e7f0bb9866edb30682b1e1b72db7c4f6946378 (diff) | |
| download | uscxml-0a22a276cfff2155cbaf4939d75c257dfdb46932.zip uscxml-0a22a276cfff2155cbaf4939d75c257dfdb46932.tar.gz uscxml-0a22a276cfff2155cbaf4939d75c257dfdb46932.tar.bz2 | |
Identify InterpreterIssues at runtime
Diffstat (limited to 'src/uscxml/Interpreter.h')
| -rw-r--r-- | src/uscxml/Interpreter.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/uscxml/Interpreter.h b/src/uscxml/Interpreter.h index 1f62255..7732bfb 100644 --- a/src/uscxml/Interpreter.h +++ b/src/uscxml/Interpreter.h @@ -517,7 +517,8 @@ protected: InterpreterHTTPServlet* _httpServlet; InterpreterWebSocketServlet* _wsServlet; std::set<InterpreterMonitor*> _monitors; - + std::set<std::string> _microstepConfigurations; + long _lastRunOnMainThread; std::string _name; std::string _sessionId; @@ -836,6 +837,8 @@ public: virtual void beforeCompletion(Interpreter interpreter) {} virtual void afterCompletion(Interpreter interpreter) {} + virtual void reportIssue(Interpreter interpreter, const InterpreterIssue& issue) {} + }; } |