diff options
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) {} + }; } |