Xml_generator support for floating point values

Ref #2702
2018-03-02 11:54:18 +01:00 · 2018-03-02 11:54:18 +01:00 · ed1c87c8d6
commit ed1c87c8d6
parent d15b396202
1 changed files with 6 additions and 0 deletions
--- a/repos/base/include/util/xml_generator.h
+++ b/repos/base/include/util/xml_generator.h
@ -357,6 +357,12 @@ class Genode::Xml_generator
 			attribute(name, static_cast<unsigned long long>(value));
 		}

+		void attribute(char const *name, double value)
+		{
+			String<64> buf(value);
+			_curr_node->insert_attribute(name, buf.string());
+		}
+
 		/**
 		 * Append content to XML node
 		 *