mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
os: add 'Reporter::name' accessor
This commit is contained in:
parent
13bce287ad
commit
28119e3536
@ -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
|
||||
*/
|
||||
|
Loading…
x
Reference in New Issue
Block a user