ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

expanding_reporter: configure initial buffer size 

Fixes #3543.
This commit is contained in:
Josef Söntgen 2019-10-21 09:40:00 +02:00 committed by Christian Helmuth
parent 60f390ddf8
commit dbecceec09
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/os/include/os/reporter.h
View File

@ -156,6 +156,8 @@ class Genode::Expanding_reporter
typedef Session_label Label;
typedef String<64> Node_type;
struct Initial_buffer_size { size_t value; };
private:
Env &_env;
@ -165,7 +167,7 @@ class Genode::Expanding_reporter
Constructible<Reporter> _reporter { };
size_t _buffer_size = 4096;
size_t _buffer_size;
void _construct()
{
@ -181,8 +183,10 @@ class Genode::Expanding_reporter
public:
Expanding_reporter(Env &env, Node_type const &type, Label const &label)
: _env(env), _type(type), _label(label) { _construct(); }
Expanding_reporter(Env &env, Node_type const &type, Label const &label,
Initial_buffer_size const size = { 4096 })
: _env(env), _type(type), _label(label), _buffer_size(size.value)
{ _construct(); }
template <typename FN>
void generate(FN const &fn)