From fc90c5f8f0c6407494d2ec5488990b89e17aaa3d Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Tue, 5 Jun 2018 13:52:26 +0200 Subject: [PATCH] session_label: make typedef String public Internally, Genode::Session_label has a typedef from String to String. To have this typedef public is especially useful when reading a label from an XML node. This can then be written as ! Session_label label = node.attribute_value("label", Session_label::String()); instead of ! Session_label label = node.attribute_value("label", String<160>()); which would be less generic (Session_label cannot be used directly as there is no appropriate ascii_to implementation). Issue #2840 --- repos/base/include/base/session_label.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/repos/base/include/base/session_label.h b/repos/base/include/base/session_label.h index 0836e9a785..756ed5c75f 100644 --- a/repos/base/include/base/session_label.h +++ b/repos/base/include/base/session_label.h @@ -25,13 +25,12 @@ struct Genode::Session_label : String<160> { private: - typedef String String; - static char const *_separator() { return " -> "; } static size_t _separator_len() { return 4; } public: + using String = String; using String::String; Session_label last_element() const