From 1bfa8739ed66a25397286ea8be98c3eeb1c695af Mon Sep 17 00:00:00 2001
From: Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de>
Date: Tue, 17 Feb 2015 15:12:08 +0100
Subject: added domain as XML namespace and corrected toString handling.

---
 src/plugins/xml/XmlOutput.hpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/plugins/xml/XmlOutput.hpp')

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);
 };
 }
-- 
cgit v1.2.3