diff options
author | Stefan Radomski <github@mintwerk.de> | 2016-11-16 10:36:07 (GMT) |
---|---|---|
committer | Stefan Radomski <github@mintwerk.de> | 2016-11-16 10:36:07 (GMT) |
commit | 3ec460015db867b6163f14e5d7effc7a01b29295 (patch) | |
tree | 9c1daa6dc70aa64b29e469e987c8b4306f7be79e /src/uscxml/transform/Transformer.h | |
parent | 13220a705ac1efda68c0a0aef0ed63fbc2bc27cd (diff) | |
download | uscxml-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.h | 6 |
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; |