From e2fe071871febb7419e9fd4b6cc92364c8d9da16 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 13 May 2015 22:11:46 +0200 Subject: [PATCH] Minor comment refinements for the manual --- repos/base/include/root/component.h | 16 ++++++++-------- repos/os/include/util/xml_node.h | 2 ++ 2 files changed, 10 insertions(+), 8 deletions(-) diff --git a/repos/base/include/root/component.h b/repos/base/include/root/component.h index 2162f1d203..9a7ac2b54d 100644 --- a/repos/base/include/root/component.h +++ b/repos/base/include/root/component.h @@ -80,15 +80,15 @@ struct Genode::Multiple_clients * * The 'POLICY' class must provide the following two methods: * - * :'aquire(const char *args)': is called with the session arguments - * at creation time of each new session. It can therefore implement - * a session-creation policy taking session arguments into account. - * If the policy denies the creation of a new session, it throws - * one of the exceptions defined in the 'Root' interface. + * 'aquire(const char *args)' is called with the session arguments + * at creation time of each new session. It can therefore implement + * a session-creation policy taking session arguments into account. + * If the policy denies the creation of a new session, it throws + * one of the exceptions defined in the 'Root' interface. * - * :'release': is called at the destruction time of a session. It enables - * the policy to keep track of and impose restrictions on the number - * of existing sessions. + * 'release' is called at the destruction time of a session. It enables + * the policy to keep track of and impose restrictions on the number + * of existing sessions. * * The default policy 'Multiple_clients' imposes no restrictions on the * creation of new sessions. diff --git a/repos/os/include/util/xml_node.h b/repos/os/include/util/xml_node.h index a93ec9a42b..6f2c09998f 100644 --- a/repos/os/include/util/xml_node.h +++ b/repos/os/include/util/xml_node.h @@ -577,6 +577,8 @@ class Genode::Xml_node * address range. * * XXX This method is deprecated. Use 'content_base()' instead. + * + * \noapi */ char *content_addr() const { return _start_tag.next_token().start(); }