diff options
Diffstat (limited to 'src/plugins/xml/XmlOutput.hpp')
| -rw-r--r-- | src/plugins/xml/XmlOutput.hpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/plugins/xml/XmlOutput.hpp b/src/plugins/xml/XmlOutput.hpp index 51d03f9..2bb4190 100644 --- a/src/plugins/xml/XmlOutput.hpp +++ b/src/plugins/xml/XmlOutput.hpp @@ -28,6 +28,7 @@ #include <ostream> +#include <core/resource/ResourceManager.hpp> #include <core/model/Document.hpp> #include <core/XML.hpp> @@ -56,10 +57,12 @@ public: * @param out is the output stream the XML serialization of the document * shall be written to. * @param logger is the logger errors shall be written to. + * @param resMgr is the ResourceManager to locate the domains and + * typesystems that were imported in this document. * @param pretty is a flag that manipulates whether newlines and tabs are * used. */ - void writeXml(Handle<Document> doc, std::ostream &out, Logger &logger, + void writeXml(Handle<Document> doc, std::ostream &out, Logger &logger,ResourceManager& resMgr, bool pretty); }; } |