Qualifying RPC functions as const

This patch makes use of the recently added support for const RPC
functions by turning 'Framebuffer::Session::mode()' and
'Input::Session::is_pending()' into const functions.

demo/src/server/liquid_framebuffer/services.cc

@@ -201,7 +201,7 @@ namespace Framebuffer
 
 			void release() { }
 
-			Mode mode()
+			Mode mode() const
 			{
 				return Mode(_window_content->fb_w(), _window_content->fb_h(),
 				            Mode::RGB565);

gems/src/server/d3m/input_service.h

@@ -98,7 +98,7 @@ namespace Input {
 			/**
 			 * Return true if input is pending
 			 */
-			bool input_pending() { return connected() && _client.is_pending(); }
+			bool input_pending() const { return connected() && _client.is_pending(); }
 
 			/**
 			 * Return event buffer
@@ -215,7 +215,7 @@ namespace Input {
 
 			Genode::Dataspace_capability dataspace() { return _ev_ds.cap(); }
 
-			bool is_pending()
+			bool is_pending() const
 			{
 				return _source_registry.any_source_has_pending_input();
 			}

os/include/framebuffer_session/client.h

@@ -29,7 +29,7 @@ namespace Framebuffer {
 
 		void release() { call<Rpc_release>(); }
 
-		Mode mode() { return call<Rpc_mode>(); }
+		Mode mode() const { return call<Rpc_mode>(); }
 
 		void mode_sigh(Genode::Signal_context_capability sigh) {
 			call<Rpc_mode_sigh>(sigh); }

os/include/framebuffer_session/framebuffer_session.h

@@ -86,7 +86,7 @@ namespace Framebuffer {
 		/**
 		 * Request current display-mode properties
 		 */
-		virtual Mode mode() = 0;
+		virtual Mode mode() const = 0;
 
 		/**
 		 * Register signal handler to be notified on mode changes

os/include/input/component.h

@@ -76,7 +76,7 @@ namespace Input {
 
 			Genode::Dataspace_capability dataspace() { return _ev_ds.cap(); }
 
-			bool is_pending() { return event_pending(); }
+			bool is_pending() const { return event_pending(); }
 
 			int flush()
 			{

os/include/input_session/client.h

@@ -27,7 +27,7 @@ namespace Input {
 		Genode::Dataspace_capability dataspace() {
 			return call<Rpc_dataspace>(); }
 
-		bool is_pending() {
+		bool is_pending() const {
 			return call<Rpc_is_pending>(); }
 
 		int flush() {

os/include/input_session/input_session.h

@@ -36,7 +36,7 @@ namespace Input {
 		 *
 		 * \return  true if new events are available
 		 */
-		virtual bool is_pending() = 0;
+		virtual bool is_pending() const = 0;
 
 		/**
 		 * Flush pending events to event buffer

os/src/drivers/framebuffer/fiasco_ux/main.cc

@@ -47,7 +47,7 @@ namespace Framebuffer {
 
 			void release() { }
 
-			Mode mode()
+			Mode mode() const
 			{
 				if (scr_mode != 16)
 					return Mode(); /* invalid mode */

os/src/drivers/framebuffer/pl11x/main.cc

@@ -167,7 +167,7 @@ namespace Framebuffer
 
 			void release() { }
 
-			Mode mode() { return Mode(SCR_WIDTH, SCR_HEIGHT, Mode::RGB565); }
+			Mode mode() const { return Mode(SCR_WIDTH, SCR_HEIGHT, Mode::RGB565); }
 
 			void mode_sigh(Genode::Signal_context_capability) { }
 

os/src/drivers/framebuffer/sdl/fb_sdl.cc

@@ -63,7 +63,7 @@ namespace Framebuffer {
 
 			void release() { }
 
-			Mode mode() { return _mode; }
+			Mode mode() const { return _mode; }
 
 			void mode_sigh(Genode::Signal_context_capability) { }
 

os/src/drivers/framebuffer/vesa/main.cc

@@ -152,7 +152,7 @@ namespace Framebuffer {
 
 			void release() { }
 
-			Mode mode()
+			Mode mode() const
 			{
 				return Mode(_scr_width, _scr_height,
 				            _scr_mode == 16 ? Mode::RGB565 : Mode::INVALID);

os/src/drivers/input/dummy/main.cc

@@ -43,7 +43,7 @@ namespace Input {
 
 			Dataspace_capability dataspace() { return ev_ds_cap; }
 
-			bool is_pending() { return 0; }
+			bool is_pending() const { return 0; }
 
 			int flush()
 			{

os/src/drivers/input/fiasco_ux/main.cc

@@ -47,7 +47,7 @@ namespace Input {
 
 			Dataspace_capability dataspace() { return ev_ds_cap; }
 
-			bool is_pending() { return Input_drv::event_pending(); }
+			bool is_pending() const { return Input_drv::event_pending(); }
 
 			int flush()
 			{

os/src/server/loader/input_session_component.cc

@@ -49,7 +49,7 @@ Genode::Dataspace_capability Session_component::dataspace()
 }
 
 
-bool Session_component::is_pending(){ return _isc->is_pending(); }
+bool Session_component::is_pending() const { return _isc->is_pending(); }
 
 
 int Session_component::flush()

os/src/server/loader/input_session_component.h

@@ -51,7 +51,7 @@ namespace Input {
 			 *****************************/
 
 			Genode::Dataspace_capability dataspace();
-			bool is_pending();
+			bool is_pending() const;
 			int flush();
 	};
 }

os/src/server/nit_fb/main.cc

@@ -117,7 +117,7 @@ namespace Input {
 
 			Genode::Dataspace_capability dataspace() { return _to_input_ds; }
 
-			bool is_pending() { return _from_input->is_pending(); }
+			bool is_pending() const { return _from_input->is_pending(); }
 
 			int flush()
 			{

os/src/server/nitpicker/genode/main.cc

@@ -291,7 +291,7 @@ namespace Input {
 
 			Genode::Dataspace_capability dataspace() { return _ev_ram_ds.cap(); }
 
-			bool is_pending() { return _num_ev > 0; }
+			bool is_pending() const { return _num_ev > 0; }
 
 			int flush()
 			{
@@ -343,7 +343,7 @@ namespace Framebuffer {
 
 			void release() { }
 
-			Mode mode()
+			Mode mode() const
 			{
 				return Mode(_buffer->size().w(), _buffer->size().h(),
 				            _buffer->format());