diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-06-24 13:03:20 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-06-24 13:03:20 (GMT) |
| commit | 758bda908ded461c9d34d274a18454ffba4b7450 (patch) | |
| tree | fb7f1ba28eab9f20b4ca16ed4dbc36d07dfce06e /src/uscxml/transform/FSMToPromela.h | |
| parent | febde41c4c69d8f38967d5c195328d468834d037 (diff) | |
| download | uscxml-758bda908ded461c9d34d274a18454ffba4b7450.zip uscxml-758bda908ded461c9d34d274a18454ffba4b7450.tar.gz uscxml-758bda908ded461c9d34d274a18454ffba4b7450.tar.bz2 | |
- Prolog DM compiles with recent SWI release again
- Bugfixes for stress test
- Beautified code
Diffstat (limited to 'src/uscxml/transform/FSMToPromela.h')
| -rw-r--r-- | src/uscxml/transform/FSMToPromela.h | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/uscxml/transform/FSMToPromela.h b/src/uscxml/transform/FSMToPromela.h index 844d209..e507fdc 100644 --- a/src/uscxml/transform/FSMToPromela.h +++ b/src/uscxml/transform/FSMToPromela.h @@ -42,13 +42,13 @@ public: void dump(); enum PromelaInlineType { - PROMELA_NIL, - PROMELA_CODE, - PROMELA_EVENT_SOURCE, - PROMELA_EVENT_SOURCE_CUSTOM, - PROMELA_PROGRESS_LABEL, - PROMELA_ACCEPT_LABEL, - PROMELA_END_LABEL + PROMELA_NIL, + PROMELA_CODE, + PROMELA_EVENT_SOURCE, + PROMELA_EVENT_SOURCE_CUSTOM, + PROMELA_PROGRESS_LABEL, + PROMELA_ACCEPT_LABEL, + PROMELA_END_LABEL }; std::string content; @@ -88,9 +88,9 @@ class USCXML_API PromelaEventSource { public: enum PromelaEventSourceType { - PROMELA_EVENT_SOURCE_INVALID, - PROMELA_EVENT_SOURCE_INVOKER, - PROMELA_EVENT_SOURCE_GLOBAL, + PROMELA_EVENT_SOURCE_INVALID, + PROMELA_EVENT_SOURCE_INVOKER, + PROMELA_EVENT_SOURCE_GLOBAL, }; PromelaEventSource(); |