diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-20 07:20:16 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-20 07:20:16 (GMT) |
| commit | 59c9ae81b4911c6458cbe8a5ed78554bdcc82861 (patch) | |
| tree | aab941294ccd67c8379f2dfb71ca107236d51f05 /test/src/test-w3c.cpp | |
| parent | 9ba649b087df2bc161759e55549facc2f8f80878 (diff) | |
| download | uscxml-59c9ae81b4911c6458cbe8a5ed78554bdcc82861.zip uscxml-59c9ae81b4911c6458cbe8a5ed78554bdcc82861.tar.gz uscxml-59c9ae81b4911c6458cbe8a5ed78554bdcc82861.tar.bz2 | |
SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better memory footprint
Diffstat (limited to 'test/src/test-w3c.cpp')
| -rw-r--r-- | test/src/test-w3c.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/src/test-w3c.cpp b/test/src/test-w3c.cpp index 27c69b2..b31eb72 100644 --- a/test/src/test-w3c.cpp +++ b/test/src/test-w3c.cpp @@ -5,7 +5,7 @@ #include "uscxml/Factory.h" #include "uscxml/server/HTTPServer.h" -#include "uscxml/transform/ChartToFSM.h" +#include "uscxml/transform/ChartToFlatSCXML.h" #include <glog/logging.h> #include <boost/algorithm/string.hpp> @@ -136,9 +136,10 @@ int main(int argc, char** argv) { Interpreter interpreter; LOG(INFO) << "Processing " << documentURI << (withFlattening ? " FSM converted" : "") << (delayFactor ? "" : " with delays *= " + toStr(delayFactor)); if (withFlattening) { - Interpreter flatInterpreter = Interpreter::fromURI(documentURI); - interpreter = Interpreter::fromDOM(ChartToFSM::flatten(flatInterpreter).getDocument(), flatInterpreter.getNameSpaceInfo()); - interpreter.setSourceURI(flatInterpreter.getSourceURI()); + interpreter = Interpreter::fromURI(documentURI); + Transformer flattener = ChartToFlatSCXML::transform(interpreter); + interpreter = flattener; +// std::cout << interpreter.getDocument() << std::endl; } else { interpreter = Interpreter::fromURI(documentURI); } |