diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-09 22:51:16 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-09 22:51:16 (GMT) |
commit | 8a9b432d36e5748898abffe9f1607d93e45bab4b (patch) | |
tree | 0b95e832a9b3b2daf9ae45bf81084eda580752a0 /apps | |
parent | 7d98ac1fd2e9da3162f3b6d38b22106f463edd9d (diff) | |
download | uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.zip uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.tar.gz uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.tar.bz2 |
Started with promela datamodel
Diffstat (limited to 'apps')
-rw-r--r-- | apps/uscxml-browser.cpp | 8 | ||||
-rw-r--r-- | apps/uscxml-debugger.html | 3 | ||||
-rw-r--r-- | apps/uscxml-transform.cpp | 227 |
3 files changed, 238 insertions, 0 deletions
diff --git a/apps/uscxml-browser.cpp b/apps/uscxml-browser.cpp index 81d8883..d485b3a 100644 --- a/apps/uscxml-browser.cpp +++ b/apps/uscxml-browser.cpp @@ -21,6 +21,10 @@ class VerboseMonitor : public uscxml::InterpreterMonitor { printConfig(interpreter.getConfiguration()); } + void beforeProcessingEvent(uscxml::Interpreter interpreter, const uscxml::Event& event) { + std::cout << "Event: " << event.name << std::endl; + } + void beforeCompletion(uscxml::Interpreter interpreter) { printConfig(interpreter.getConfiguration()); } @@ -125,6 +129,10 @@ int main(int argc, char** argv) { google::LogToStderr(); google::InitGoogleLogging(argv[0]); + if (options.pluginPath.length() > 0) { + Factory::pluginPath = options.pluginPath; + } + // setup HTTP server HTTPServer::SSLConfig* sslConf = NULL; if (options.certificate.length() > 0) { diff --git a/apps/uscxml-debugger.html b/apps/uscxml-debugger.html index 66ac552..3aece02 100644 --- a/apps/uscxml-debugger.html +++ b/apps/uscxml-debugger.html @@ -2639,6 +2639,9 @@ contentType: params.sendType, url: this.debuggerURL + url, success: function (dataObj, statusString, xhrObj) { + self.log("Received from " + url); + self.log(dataObj); + if ("status" in dataObj && dataObj.status === 'success') { params.onSuccess(dataObj, statusString, xhrObj); } else { diff --git a/apps/uscxml-transform.cpp b/apps/uscxml-transform.cpp new file mode 100644 index 0000000..15079d6 --- /dev/null +++ b/apps/uscxml-transform.cpp @@ -0,0 +1,227 @@ +#include "uscxml/config.h" +#include "uscxml/Interpreter.h" +#include "uscxml/transform/ChartToFSM.h" +#include "uscxml/DOMUtils.h" +#include <glog/logging.h> + +#ifdef HAS_SIGNAL_H +#include <signal.h> +#endif + +#ifdef HAS_EXECINFO_H +#include <execinfo.h> +#endif + +#ifdef HAS_DLFCN_H +#include <dlfcn.h> +#endif + +class VerboseMonitor : public uscxml::InterpreterMonitor { + void onStableConfiguration(uscxml::Interpreter interpreter) { + printConfig(interpreter.getConfiguration()); + } + + void beforeProcessingEvent(uscxml::Interpreter interpreter, const uscxml::Event& event) { + std::cout << "Event: " << event.name << std::endl; + } + + void beforeCompletion(uscxml::Interpreter interpreter) { + printConfig(interpreter.getConfiguration()); + } + + void printConfig(const Arabica::XPath::NodeSet<std::string>& config) { + std::string seperator; + std::cout << "Config: {"; + for (int i = 0; i < config.size(); i++) { + std::cout << seperator << ATTR(config[i], "id"); + seperator = ", "; + } + std::cout << "}" << std::endl; + } +}; + +#ifdef CMAKE_BUILD_TYPE_DEBUG + +#ifdef HAS_EXECINFO_H +void printBacktrace(void** array, int size) { + char** messages = backtrace_symbols(array, size); + for (int i = 0; i < size && messages != NULL; ++i) { + std::cerr << "\t" << messages[i] << std::endl; + } + std::cerr << std::endl; + free(messages); +} + +#ifdef HAS_DLFCN_H +// see https://gist.github.com/nkuln/2020860 +typedef void (*cxa_throw_type)(void *, void *, void (*) (void *)); +cxa_throw_type orig_cxa_throw = 0; + +void load_orig_throw_code() { + orig_cxa_throw = (cxa_throw_type) dlsym(RTLD_NEXT, "__cxa_throw"); +} + +extern "C" +void __cxa_throw (void *thrown_exception, void *pvtinfo, void (*dest)(void *)) { + std::cerr << __FUNCTION__ << " will throw exception from " << std::endl; + if (orig_cxa_throw == 0) + load_orig_throw_code(); + + void *array[50]; + size_t size = backtrace(array, 50); + printBacktrace(array, size); + orig_cxa_throw(thrown_exception, pvtinfo, dest); +} +#endif +#endif + + +// see http://stackoverflow.com/questions/2443135/how-do-i-find-where-an-exception-was-thrown-in-c +void customTerminate() { + static bool tried_throw = false; + + try { + // try once to re-throw currently active exception + if (!tried_throw) { + tried_throw = true; + throw; + } else { + tried_throw = false; + } + } catch (const std::exception &e) { + std::cerr << __FUNCTION__ << " caught unhandled exception. what(): " + << e.what() << std::endl; + } catch (const uscxml::Event &e) { + std::cerr << __FUNCTION__ << " caught unhandled exception. Event: " + << e << std::endl; + } catch (...) { + std::cerr << __FUNCTION__ << " caught unknown/unhandled exception." + << std::endl; + } + +#ifdef HAS_EXECINFO_H + void * array[50]; + int size = backtrace(array, 50); + + printBacktrace(array, size); +#endif + abort(); +} +#endif + +int main(int argc, char** argv) { + using namespace uscxml; + + bool verbose = false; + bool toFlat = false; + bool toPromela = false; + std::string pluginPath; + std::string inputFile; + std::string outputFile; + +#if defined(HAS_SIGNAL_H) && !defined(WIN32) + signal(SIGPIPE, SIG_IGN); +#endif + +#ifdef CMAKE_BUILD_TYPE_DEBUG + std::set_terminate(customTerminate); +#endif + + // setup logging + google::LogToStderr(); + google::InitGoogleLogging(argv[0]); + + optind = 0; + opterr = 0; + + struct option longOptions[] = { + {"verbose", no_argument, 0, 'v'}, + {"to-flat", no_argument, 0, 'f'}, + {"to-promela", no_argument, 0, 's'}, + {"plugin-path", required_argument, 0, 'p'}, + {"input-file", required_argument, 0, 'i'}, + {"output-file", required_argument, 0, 'o'}, + {"loglevel", required_argument, 0, 'l'}, + {0, 0, 0, 0} + }; + + // parse global options + int optionInd = 0; + int option; + for (;;) { + option = getopt_long_only(argc, argv, "+vfs:p:i:o:l:", longOptions, &optionInd); + if (option == -1) { + break; + } + switch(option) { + // cases without short option + case 0: { + break; + } + // cases with short-hand options + case 'v': + verbose = true; + break; + case 'f': + toFlat = true; + break; + case 's': + toPromela = true; + break; + case 'p': + pluginPath = optarg; + break; + case 'i': + inputFile = optarg; + break; + case 'o': + outputFile = optarg; + break; + case 'l': + break; + case '?': { + break; + } + default: + break; + } + } + + // register plugins + if (pluginPath.length() > 0) { + Factory::pluginPath = pluginPath; + } + + // start HTTP server + HTTPServer::getInstance(30444, 30445, NULL); + + Interpreter interpreter; + if (inputFile.size() == 0 || inputFile == "-") { + LOG(INFO) << "Reading SCXML from STDIN"; + std::stringstream ss; + std::string line; + while (std::getline(std::cin, line)) { + ss << line; + } + interpreter = Interpreter::fromXML(ss.str()); + } else { + interpreter = Interpreter::fromURI(inputFile); + } + if (!interpreter) { + LOG(ERROR) << "Cannot create interpreter from " << inputFile; + exit(EXIT_FAILURE); + } + + if (toFlat) { + std::cout << ChartToFSM::flatten(interpreter.getDocument(), interpreter.getNameSpaceInfo()); + exit(EXIT_SUCCESS); + } + + if (toPromela) { + std::cout << ChartToFSM::flatten(interpreter.getDocument(), interpreter.getNameSpaceInfo()); + exit(EXIT_SUCCESS); + } + + + return EXIT_SUCCESS; +}
\ No newline at end of file |