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-promela-parser.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-promela-parser.cpp')
-rw-r--r-- | test/src/test-promela-parser.cpp | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/test/src/test-promela-parser.cpp b/test/src/test-promela-parser.cpp index 261b8c9..11333f1 100644 --- a/test/src/test-promela-parser.cpp +++ b/test/src/test-promela-parser.cpp @@ -4,7 +4,7 @@ #include "uscxml/Interpreter.h" #include "uscxml/plugins/datamodel/promela/PromelaDataModel.h" #include "uscxml/plugins/datamodel/promela/PromelaParser.h" -#include "uscxml/transform/FSMToPromela.h" +#include "uscxml/transform/ChartToPromela.h" #include <assert.h> #include <boost/algorithm/string.hpp> @@ -21,7 +21,7 @@ void testInlinePromela() { #promela-inline:\n \ This is foo!\ "; - PromelaInlines prmInls = FSMToPromela::getInlinePromela(test); + PromelaInlines prmInls = ChartToPromela::getInlinePromela(test); assert(prmInls.acceptLabels == 0 && prmInls.codes == 1 && prmInls.customEventSources == 0 && @@ -35,7 +35,7 @@ void testInlinePromela() { { std::string test = "#promela-progress"; - PromelaInlines prmInls = FSMToPromela::getInlinePromela(test); + PromelaInlines prmInls = ChartToPromela::getInlinePromela(test); assert(prmInls.acceptLabels == 0 && prmInls.codes == 0 && prmInls.customEventSources == 0 && @@ -48,7 +48,7 @@ void testInlinePromela() { { std::string test = "#promela-accept and then some"; - PromelaInlines prmInls = FSMToPromela::getInlinePromela(test); + PromelaInlines prmInls = ChartToPromela::getInlinePromela(test); assert(prmInls.acceptLabels == 1 && prmInls.codes == 0 && prmInls.customEventSources == 0 && @@ -61,7 +61,7 @@ void testInlinePromela() { { std::string test = "#promela-end and then some"; - PromelaInlines prmInls = FSMToPromela::getInlinePromela(test); + PromelaInlines prmInls = ChartToPromela::getInlinePromela(test); assert(prmInls.acceptLabels == 0 && prmInls.codes == 0 && prmInls.customEventSources == 0 && @@ -77,7 +77,7 @@ void testInlinePromela() { #promela-event-source:\n \ This is foo!\ "; - PromelaInlines prmInls = FSMToPromela::getInlinePromela(test); + PromelaInlines prmInls = ChartToPromela::getInlinePromela(test); assert(prmInls.acceptLabels == 0 && prmInls.codes == 0 && prmInls.customEventSources == 0 && @@ -103,7 +103,7 @@ void testInlinePromela() { This is foo!\n \ This is bar!\n \ "; - PromelaInlines prmInls = FSMToPromela::getInlinePromela(test); + PromelaInlines prmInls = ChartToPromela::getInlinePromela(test); assert(prmInls.acceptLabels == 0 && prmInls.codes == 0 && prmInls.customEventSources == 0 && @@ -134,7 +134,7 @@ void testInlinePromela() { #promela-event-source-custom:\n \ This is foo!\ "; - PromelaInlines prmInls = FSMToPromela::getInlinePromela(test); + PromelaInlines prmInls = ChartToPromela::getInlinePromela(test); assert(prmInls.acceptLabels == 0 && prmInls.codes == 0 && prmInls.customEventSources == 1 && @@ -153,7 +153,7 @@ void testInlinePromela() { This is foo! \n\ #promela-progress\ "; - PromelaInlines prmInls = FSMToPromela::getInlinePromela(test); + PromelaInlines prmInls = ChartToPromela::getInlinePromela(test); assert(prmInls.acceptLabels == 0 && prmInls.codes == 0 && prmInls.customEventSources == 1 && |