summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/Transformer.h
diff options
context:
space:
mode:
authorStefan Radomski <github@mintwerk.de>2016-11-16 10:36:07 (GMT)
committerStefan Radomski <github@mintwerk.de>2016-11-16 10:36:07 (GMT)
commit3ec460015db867b6163f14e5d7effc7a01b29295 (patch)
tree9c1daa6dc70aa64b29e469e987c8b4306f7be79e /src/uscxml/transform/Transformer.h
parent13220a705ac1efda68c0a0aef0ed63fbc2bc27cd (diff)
downloaduscxml-3ec460015db867b6163f14e5d7effc7a01b29295.zip
uscxml-3ec460015db867b6163f14e5d7effc7a01b29295.tar.gz
uscxml-3ec460015db867b6163f14e5d7effc7a01b29295.tar.bz2
Impreoved PROMELA transformation
Diffstat (limited to 'src/uscxml/transform/Transformer.h')
-rw-r--r--src/uscxml/transform/Transformer.h6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/uscxml/transform/Transformer.h b/src/uscxml/transform/Transformer.h
index fcfda01..5b2fbdb 100644
--- a/src/uscxml/transform/Transformer.h
+++ b/src/uscxml/transform/Transformer.h
@@ -39,11 +39,17 @@ public:
_binding = other.getImpl()->_binding;
}
+
+
virtual void writeTo(std::ostream& stream) = 0;
virtual operator Interpreter() {
throw std::runtime_error("Transformer cannot be interpreted as an Interpreter again");
}
+ virtual XERCESC_NS::DOMDocument* getDocument() const {
+ return _document;
+ }
+
protected:
std::multimap<std::string, std::string> _extensions;
std::list<std::string> _options;