summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/FSMToPromela.h
diff options
context:
space:
mode:
authorStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-06-06 17:58:03 (GMT)
committerStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-06-06 17:58:03 (GMT)
commite5a393584b030ac90c4e7abf65063ef72b910555 (patch)
treebfab1a3c3e4a1c8fc5dc3d27bd1b4f0044901293 /src/uscxml/transform/FSMToPromela.h
parent4ecca617e628e94845dafafbdee46ce57f7bc843 (diff)
downloaduscxml-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.h8
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);