2011-12-22 15:19:25 +00:00
|
|
|
/*
|
2020-06-12 09:23:57 +00:00
|
|
|
* \brief Connection to GUI service
|
2011-12-22 15:19:25 +00:00
|
|
|
* \author Norman Feske
|
|
|
|
* \date 2008-08-22
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2017-02-20 12:23:52 +00:00
|
|
|
* Copyright (C) 2008-2017 Genode Labs GmbH
|
2011-12-22 15:19:25 +00:00
|
|
|
*
|
|
|
|
* This file is part of the Genode OS framework, which is distributed
|
2017-02-20 12:23:52 +00:00
|
|
|
* under the terms of the GNU Affero General Public License version 3.
|
2011-12-22 15:19:25 +00:00
|
|
|
*/
|
|
|
|
|
2020-06-11 12:27:20 +00:00
|
|
|
#ifndef _INCLUDE__GUI_SESSION__CONNECTION_H_
|
|
|
|
#define _INCLUDE__GUI_SESSION__CONNECTION_H_
|
2011-12-22 15:19:25 +00:00
|
|
|
|
2020-06-11 12:27:20 +00:00
|
|
|
#include <gui_session/client.h>
|
2011-12-22 15:19:25 +00:00
|
|
|
#include <framebuffer_session/client.h>
|
|
|
|
#include <input_session/client.h>
|
|
|
|
#include <base/connection.h>
|
|
|
|
|
2020-06-12 09:23:57 +00:00
|
|
|
namespace Gui { class Connection; }
|
2011-12-22 15:19:25 +00:00
|
|
|
|
|
|
|
|
2020-06-12 09:23:57 +00:00
|
|
|
class Gui::Connection : public Genode::Connection<Session>,
|
|
|
|
public Session_client
|
2013-10-14 19:31:14 +00:00
|
|
|
{
|
|
|
|
private:
|
2011-12-22 15:19:25 +00:00
|
|
|
|
2013-10-14 19:31:14 +00:00
|
|
|
Framebuffer::Session_client _framebuffer;
|
|
|
|
Input::Session_client _input;
|
2014-06-12 10:25:38 +00:00
|
|
|
Genode::size_t _session_quota = 0;
|
2013-10-14 19:31:14 +00:00
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Constructor
|
|
|
|
*/
|
2023-03-03 11:07:28 +00:00
|
|
|
Connection(Genode::Env &env, Label const &label = Label())
|
2016-05-10 15:24:51 +00:00
|
|
|
:
|
|
|
|
/* establish nitpicker session */
|
2023-03-03 11:07:28 +00:00
|
|
|
Genode::Connection<Session>(env, label, Ram_quota { 36*1024 }, Args()),
|
2017-01-09 14:18:49 +00:00
|
|
|
Session_client(env.rm(), cap()),
|
2016-05-10 15:24:51 +00:00
|
|
|
|
|
|
|
/* request frame-buffer and input sub sessions */
|
|
|
|
_framebuffer(framebuffer_session()),
|
2017-01-09 14:18:49 +00:00
|
|
|
_input(env.rm(), input_session())
|
2016-05-10 15:24:51 +00:00
|
|
|
{ }
|
|
|
|
|
2019-02-14 21:39:08 +00:00
|
|
|
void buffer(Framebuffer::Mode mode, bool use_alpha) override
|
2013-10-14 19:31:14 +00:00
|
|
|
{
|
2014-06-12 10:25:38 +00:00
|
|
|
Genode::size_t const needed = ram_quota(mode, use_alpha);
|
|
|
|
Genode::size_t const upgrade = needed > _session_quota
|
|
|
|
? needed - _session_quota
|
|
|
|
: 0;
|
|
|
|
if (upgrade > 0) {
|
2016-11-06 13:27:26 +00:00
|
|
|
this->upgrade_ram(upgrade);
|
2014-06-12 10:25:38 +00:00
|
|
|
_session_quota += upgrade;
|
|
|
|
}
|
2013-10-14 19:31:14 +00:00
|
|
|
|
|
|
|
Session_client::buffer(mode, use_alpha);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2020-06-12 09:23:57 +00:00
|
|
|
* Return sub session for GUI's input service
|
2013-10-14 19:31:14 +00:00
|
|
|
*/
|
2016-09-12 16:41:37 +00:00
|
|
|
Input::Session_client *input() { return &_input; }
|
2013-10-14 19:31:14 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Return sub session for session's frame buffer
|
|
|
|
*/
|
|
|
|
Framebuffer::Session *framebuffer() { return &_framebuffer; }
|
|
|
|
};
|
2011-12-22 15:19:25 +00:00
|
|
|
|
2020-06-11 12:27:20 +00:00
|
|
|
#endif /* _INCLUDE__GUI_SESSION__CONNECTION_H_ */
|