diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-06-06 17:58:03 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-06-06 17:58:03 (GMT) |
commit | e5a393584b030ac90c4e7abf65063ef72b910555 (patch) | |
tree | bfab1a3c3e4a1c8fc5dc3d27bd1b4f0044901293 /src/uscxml/transform/FSMToPromela.h | |
parent | 4ecca617e628e94845dafafbdee46ce57f7bc843 (diff) | |
download | uscxml-e5a393584b030ac90c4e7abf65063ef72b910555.zip uscxml-e5a393584b030ac90c4e7abf65063ef72b910555.tar.gz uscxml-e5a393584b030ac90c4e7abf65063ef72b910555.tar.bz2 |
Changed getNames signature from set to list
Diffstat (limited to 'src/uscxml/transform/FSMToPromela.h')
-rw-r--r-- | src/uscxml/transform/FSMToPromela.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/uscxml/transform/FSMToPromela.h b/src/uscxml/transform/FSMToPromela.h index 7872997..844d209 100644 --- a/src/uscxml/transform/FSMToPromela.h +++ b/src/uscxml/transform/FSMToPromela.h @@ -31,7 +31,7 @@ namespace uscxml { -class PromelaInline { +class USCXML_API PromelaInline { public: PromelaInline() : type(PROMELA_NIL) {} @@ -57,7 +57,7 @@ public: PromelaInlineType type; }; -class PromelaInlines { +class USCXML_API PromelaInlines { public: PromelaInlines() : progressLabels(0), acceptLabels(0), endLabels(0), eventSources(0), customEventSources(0), codes(0) {} @@ -84,7 +84,7 @@ public: int codes; }; -class PromelaEventSource { +class USCXML_API PromelaEventSource { public: enum PromelaEventSourceType { @@ -112,7 +112,7 @@ public: Trie* trie; }; -class FSMToPromela : public InterpreterDraft6 { +class USCXML_API FSMToPromela : public InterpreterDraft6 { public: static void writeProgram(std::ostream& stream, const Interpreter& interpreter); |