summaryrefslogtreecommitdiffstats
path: root/src/uscxml/Interpreter.h
diff options
context:
space:
mode:
authorStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-10-20 07:20:16 (GMT)
committerStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-10-20 07:20:16 (GMT)
commit59c9ae81b4911c6458cbe8a5ed78554bdcc82861 (patch)
treeaab941294ccd67c8379f2dfb71ca107236d51f05 /src/uscxml/Interpreter.h
parent9ba649b087df2bc161759e55549facc2f8f80878 (diff)
downloaduscxml-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 'src/uscxml/Interpreter.h')
-rw-r--r--src/uscxml/Interpreter.h11
1 files changed, 8 insertions, 3 deletions
diff --git a/src/uscxml/Interpreter.h b/src/uscxml/Interpreter.h
index 4b6d26a..6772a59 100644
--- a/src/uscxml/Interpreter.h
+++ b/src/uscxml/Interpreter.h
@@ -228,9 +228,10 @@ public:
virtual ~InterpreterImpl();
- void copyTo(InterpreterImpl* other);
- void copyTo(boost::shared_ptr<InterpreterImpl> other);
-
+ void cloneFrom(InterpreterImpl* other);
+ void cloneFrom(boost::shared_ptr<InterpreterImpl> other);
+ virtual void writeTo(std::ostream& stream);
+
// TODO: We need to move the destructor to the implementations to make these pure virtual
virtual InterpreterState interpret();
virtual InterpreterState step(int waitForMS = 0);
@@ -601,6 +602,10 @@ public:
return *this;
}
+ virtual void writeTo(std::ostream& stream) {
+ return _impl->writeTo(stream);
+ }
+
void reset() {
return _impl->reset();
}