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 <util/arg_string.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
|
|
|
{
|
2016-11-06 13:27:26 +00:00
|
|
|
public:
|
|
|
|
|
2016-11-23 16:07:49 +00:00
|
|
|
enum { RAM_QUOTA = 36*1024UL };
|
2016-11-06 13:27:26 +00:00
|
|
|
|
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
|
|
|
|
|
|
|
/**
|
|
|
|
* Create session and return typed session capability
|
|
|
|
*/
|
2016-05-10 15:24:51 +00:00
|
|
|
Session_capability _connect(Genode::Parent &parent, char const *label)
|
2013-10-14 19:31:14 +00:00
|
|
|
{
|
|
|
|
enum { ARGBUF_SIZE = 128 };
|
|
|
|
char argbuf[ARGBUF_SIZE];
|
|
|
|
argbuf[0] = 0;
|
2011-12-22 15:19:25 +00:00
|
|
|
|
2014-06-17 12:04:38 +00:00
|
|
|
if (Genode::strlen(label) > 0)
|
|
|
|
Genode::snprintf(argbuf, sizeof(argbuf), "label=\"%s\"", label);
|
|
|
|
|
2013-10-14 19:31:14 +00:00
|
|
|
/*
|
|
|
|
* Declare ram-quota donation
|
2011-12-22 15:19:25 +00:00
|
|
|
*/
|
2013-12-28 21:29:30 +00:00
|
|
|
using Genode::Arg_string;
|
2016-11-06 13:27:26 +00:00
|
|
|
Arg_string::set_arg(argbuf, sizeof(argbuf), "ram_quota", RAM_QUOTA);
|
2017-05-07 20:03:25 +00:00
|
|
|
Arg_string::set_arg(argbuf, sizeof(argbuf), "cap_quota", CAP_QUOTA);
|
2013-10-14 19:31:14 +00:00
|
|
|
|
2016-05-10 15:24:51 +00:00
|
|
|
return session(parent, argbuf);
|
2013-10-14 19:31:14 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Constructor
|
|
|
|
*/
|
2016-05-10 15:24:51 +00:00
|
|
|
Connection(Genode::Env &env, char const *label = "")
|
|
|
|
:
|
|
|
|
/* establish nitpicker session */
|
|
|
|
Genode::Connection<Session>(env, _connect(env.parent(), label)),
|
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_ */
|