From 28119e3536e01292be458e3183fdf58bf31ff37e Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 30 Sep 2014 18:17:28 +0200 Subject: [PATCH] os: add 'Reporter::name' accessor --- repos/os/include/os/reporter.h | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/repos/os/include/os/reporter.h b/repos/os/include/os/reporter.h index 90ecea50bc..5c843ed335 100644 --- a/repos/os/include/os/reporter.h +++ b/repos/os/include/os/reporter.h @@ -25,9 +25,13 @@ namespace Genode { class Reporter; } class Genode::Reporter : Noncopyable { + public: + + typedef String<100> Name; + private: - String<100> const _name; + Name const _name; size_t const _buffer_size; @@ -66,6 +70,8 @@ class Genode::Reporter : Noncopyable bool is_enabled() const { return _enabled; } + Name name() const { return _name; } + /** * Return size of report buffer */