ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 13:26:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

gui_session: mark RPC client methods as nodiscard

Browse Source 
Issue #5340
This commit is contained in:
Norman Feske 2024-09-02 17:27:09 +02:00
parent ec50c008bb
commit 3ba8ddc85c
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/os/include/gui_session/client.h
View File

@ -30,19 +30,19 @@ struct Gui::Session_client : Rpc_client<Session>
Input::Session_capability input() override {
return call<Rpc_input>(); }
View_result view(View_id id, View_attr const &attr) override {
[[nodiscard]] View_result view(View_id id, View_attr const &attr) override {
return call<Rpc_view>(id, attr); }
Child_view_result child_view(View_id id, View_id parent, View_attr const &attr) override {
[[nodiscard]] Child_view_result child_view(View_id id, View_id parent, View_attr const &attr) override {
return call<Rpc_child_view>(id, parent, attr); }
void destroy_view(View_id view) override {
call<Rpc_destroy_view>(view); }
Associate_result associate(View_id id, View_capability view) override {
[[nodiscard]] Associate_result associate(View_id id, View_capability view) override {
return call<Rpc_associate>(id, view); }
View_capability_result view_capability(View_id id) override {
[[nodiscard]] View_capability_result view_capability(View_id id) override {
return call<Rpc_view_capability>(id); }
void release_view_id(View_id id) override {
@ -59,7 +59,7 @@ struct Gui::Session_client : Rpc_client<Session>
void mode_sigh(Signal_context_capability sigh) override {
call<Rpc_mode_sigh>(sigh); }
Buffer_result buffer(Framebuffer::Mode mode, bool alpha) override {
[[nodiscard]] Buffer_result buffer(Framebuffer::Mode mode, bool alpha) override {
return call<Rpc_buffer>(mode, alpha); }
void focus(Gui::Session_capability session) override {