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

os: add Expanding_reporter::generate(Xml_node) 

This method allows for the verbatim reporting of an existing XML node.
This commit is contained in:
Norman Feske 2018-05-25 22:54:02 +02:00 committed by Christian Helmuth
parent fc6e3c6b09
commit 87be50c542
1 changed files with 18 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -15,6 +15,7 @@
#define _INCLUDE__OS__REPORTER_H_
#include <util/retry.h>
#include <util/xml_node.h>
#include <util/reconstructible.h>
#include <base/attached_dataspace.h>
#include <report_session/connection.h>
@ -190,6 +191,12 @@ class Genode::Expanding_reporter
_reporter->enabled(true);
}
void _increase_report_buffer()
{
_buffer_size += 4096;
_construct();
}
public:
Expanding_reporter(Env &env, Node_type const &type, Label const &label)
@ -200,16 +207,21 @@ class Genode::Expanding_reporter
{
retry<Xml_generator::Buffer_exceeded>(
/* attempt to generate a report, may throw */
[&] () {
Reporter::Xml_generator
xml(*_reporter, [&] () { fn(xml); }); },
/* respond to exception by successively increasing the buffer */
[&] () {
_buffer_size += 4096;
_construct();
}
[&] () { _increase_report_buffer(); }
);
}
void generate(Xml_node node)
{
retry<Xml_generator::Buffer_exceeded>(
[&] () { _reporter->report(node.addr(), node.size()); },
[&] () { _increase_report_buffer(); }
);
}
};