2017-06-11 12:33:03 +00:00
//! Utilities for handling surfaces, subsurfaces and regions
//!
//! This module provides the `CompositorHandler<U,H>` type, with implements
//! automatic handling of sufaces, subsurfaces and region wayland objects,
//! by being registered as a global handler for `wl_compositor` and
//! `wl_subcompositor`.
//!
//! ## Why use this handler
//!
//! This handler does a simple job: it stores in a coherent way the state of
//! surface trees with subsurfaces, to provide you a direct access to the tree
//! structure and all surface metadata.
//!
//! As such, you can, given a root surface with a role requiring it to be displayed,
//! you can iterate over the whole tree of subsurfaces to recover all the metadata you
//! need to display the subsurface tree.
//!
//! This handler will not do anything more than present you the metadata specified by the
//! client in a coherent and practical way. All the logic regarding to drawing itself, and
//! the positionning of windows (surface trees) one relative to another is out of its scope.
//!
//! ## How to use it
//!
//! ### Initialization
//!
//! To initialize this handler, simply instanciate it and register it to the event loop
//! as a global handler for wl_compositor and wl_subcompositor:
//!
//! ```
//! # extern crate wayland_server;
//! # extern crate smithay;
//! use wayland_server::protocol::wl_compositor::WlCompositor;
//! use wayland_server::protocol::wl_subcompositor::WlSubcompositor;
//! use smithay::compositor;
//!
//! // Define some user data to be associated with the surfaces.
//! // It must implement the Default trait, which will represent the state of a surface which
//! // has just been created.
//! #[derive(Default)]
//! struct MyData {
//! // whatever you need here
//! }
//!
//! // Define a sub-handler to take care of the events the CompositorHandler does not rack for you
//! struct MyHandler {
//! // whatever you need
//! }
//!
//! // Implement the handler trait for this sub-handler
2017-06-13 14:46:31 +00:00
//! impl compositor::Handler<MyData> for MyHandler {
2017-06-11 12:33:03 +00:00
//! // See the trait documentation for its implementation
//! // A default implementation for each method is provided, that does nothing
//! }
//!
//! // A type alias to shorten things:
//! type MyCompositorHandler = compositor::CompositorHandler<MyData,MyHandler>;
//!
//! # fn main() {
//! # let (_display, mut event_loop) = wayland_server::create_display();
//!
//! // Instanciate the CompositorHandler and give it to the event loop
//! let compositor_hid = event_loop.add_handler_with_init(
2017-06-11 20:47:27 +00:00
//! MyCompositorHandler::new(MyHandler{ /* ... */ }, None /* put a logger here */)
2017-06-11 12:33:03 +00:00
//! );
//!
//! // Register it as a handler for wl_compositor
2017-06-11 20:47:27 +00:00
//! event_loop.register_global::<WlCompositor, MyCompositorHandler>(compositor_hid, 4);
2017-06-11 12:33:03 +00:00
//!
//! // Register it as a handler for wl_subcompositor
2017-06-11 20:47:27 +00:00
//! event_loop.register_global::<WlSubcompositor, MyCompositorHandler>(compositor_hid, 1);
2017-06-11 12:33:03 +00:00
//!
//! // retrieve the token needed to access the surfaces' metadata
//! let compositor_token = {
//! let state = event_loop.state();
2017-06-11 20:47:27 +00:00
//! state.get_handler::<MyCompositorHandler>(compositor_hid).get_token()
2017-06-11 12:33:03 +00:00
//! };
//!
//! // You're now ready to go!
//! # }
//! ```
//!
//! ### Use the surface metadata
//!
//! As you can see in the previous example, in the end we are retrieving a token from
//! the `CompositorHandler`. This token is necessary to retrieve the metadata associated with
//! a surface. It can be cloned, and is sendable accross threads. See `CompositorToken` for
//! the details of what it enables you.
//!
//! The surface metadata is held in the `SurfaceAttributes` struct. In contains double-buffered
//! state pending from the client as defined by the protocol for wl_surface, as well as your
//! user-defined type holding any data you need to have associated with a struct. See its
//! documentation for details.
2017-06-04 15:47:37 +00:00
mod global ;
mod handlers ;
mod tree ;
mod region ;
2017-06-11 12:33:03 +00:00
use self ::region ::RegionData ;
2017-06-13 15:38:25 +00:00
pub use self ::tree ::{ RoleStatus , TraversalAction } ;
2017-06-04 15:47:37 +00:00
use self ::tree ::SurfaceData ;
2017-06-04 20:12:22 +00:00
use wayland_server ::{ Client , EventLoopHandle , Init , resource_is_registered } ;
2017-06-04 15:47:37 +00:00
2017-06-11 12:33:03 +00:00
use wayland_server ::protocol ::{ wl_buffer , wl_callback , wl_output , wl_region , wl_surface } ;
2017-06-04 15:47:37 +00:00
/// Description of which part of a surface
/// should be considered damaged and needs to be redrawn
pub enum Damage {
/// The whole surface must be considered damaged (this is the default)
Full ,
/// A rectangle containing the damaged zone, in surface coordinates
Surface ( Rectangle ) ,
2017-06-11 20:47:27 +00:00
/// A rectangle containing the damaged zone, in buffer coordinates
2017-06-04 15:47:37 +00:00
///
/// Note: Buffer scaling must be taken into consideration
2017-06-04 20:12:22 +00:00
Buffer ( Rectangle ) ,
2017-06-04 15:47:37 +00:00
}
/// Data associated with a surface, aggreged by the handlers
///
/// Most of the fields of this struct represent a double-buffered state, which
/// should only be applied once a `commit` request is received from the surface.
///
/// You are responsible for setting those values as you see fit to avoid
/// processing them two times.
pub struct SurfaceAttributes < U > {
/// Buffer defining the contents of the surface
///
/// The tuple represent the coordinates of this buffer
/// relative to the location of the current buffer.
///
/// If set to `Some(None)`, it means the user specifically asked for the
/// surface to be unmapped.
///
/// You are free to set this field to `None` to avoid processing it several
/// times. It'll be set to `Some(...)` if the user attaches a buffer (or NULL) to
/// the surface.
pub buffer : Option < Option < ( wl_buffer ::WlBuffer , ( i32 , i32 ) ) > > ,
/// Scale of the contents of the buffer, for higher-resolution contents.
///
/// If it matches the one of the output displaying this surface, no change
/// is necessary.
pub buffer_scale : i32 ,
/// Transform under which interpret the contents of the buffer
///
/// If it matches the one of the output displaying this surface, no change
/// is necessary.
pub buffer_transform : wl_output ::Transform ,
/// Region of the surface that is guaranteed to be opaque
///
/// By default the whole surface is potentially transparent
pub opaque_region : Option < RegionAttributes > ,
/// Region of the surface that is sensitive to user input
///
/// By default the whole surface should be sensitive
pub input_region : Option < RegionAttributes > ,
/// Damage rectangle
///
/// Hint provided by the client to suggest that only this part
/// of the surface was changed and needs to be redrawn
pub damage : Damage ,
/// Subsurface-related attribute
///
/// Is `Some` if this surface is a sub-surface
///
/// **Warning:** Changing this field by yourself can cause panics.
pub subsurface_attributes : Option < SubsurfaceAttributes > ,
/// User-controlled data
///
/// This is your field to host whatever you need.
pub user_data : U ,
}
impl < U : Default > Default for SurfaceAttributes < U > {
fn default ( ) -> SurfaceAttributes < U > {
SurfaceAttributes {
buffer : None ,
buffer_scale : 1 ,
buffer_transform : wl_output ::Transform ::Normal ,
opaque_region : None ,
input_region : None ,
damage : Damage ::Full ,
subsurface_attributes : None ,
user_data : Default ::default ( ) ,
}
}
}
/// Attributes defining the behaviour of a sub-surface relative to its parent
pub struct SubsurfaceAttributes {
/// Horizontal location of the top-left corner of this sub-surface relative to
/// the top-left corner of its parent
pub x : i32 ,
/// Vertical location of the top-left corner of this sub-surface relative to
/// the top-left corner of its parent
pub y : i32 ,
/// Sync status of this sub-surface
///
/// If `true`, this surface should be repainted synchronously with its parent
/// if `false`, it should be considered independant of its parent regarding
/// repaint timings.
pub sync : bool ,
}
impl Default for SubsurfaceAttributes {
fn default ( ) -> SubsurfaceAttributes {
SubsurfaceAttributes {
x : 0 ,
y : 0 ,
sync : true ,
}
}
}
/// Kind of a rectangle part of a region
2017-06-13 15:39:25 +00:00
#[ derive(Copy, Clone) ]
2017-06-04 15:47:37 +00:00
pub enum RectangleKind {
/// This rectangle should be added to the region
Add ,
/// The intersection of this rectangle with the region should
/// be removed from the region
Subtract ,
}
/// A rectangle defined by its top-left corner and dimensions
2017-06-13 15:39:25 +00:00
#[ derive(Copy, Clone) ]
2017-06-04 15:47:37 +00:00
pub struct Rectangle {
/// horizontal position of the top-leftcorner of the rectangle, in surface coordinates
pub x : i32 ,
/// vertical position of the top-leftcorner of the rectangle, in surface coordinates
pub y : i32 ,
/// width of the rectangle
pub width : i32 ,
/// height of the rectangle
pub height : i32 ,
}
/// Description of the contents of a region
///
/// A region is defined as an union and difference of rectangle.
///
/// This struct contains an ordered Vec containing the rectangles defining
/// a region. They should be added or substracted in this order to compute the
/// actual contents of the region.
#[ derive(Clone) ]
pub struct RegionAttributes {
/// List of rectangle part of this region
pub rects : Vec < ( RectangleKind , Rectangle ) > ,
}
impl Default for RegionAttributes {
fn default ( ) -> RegionAttributes {
RegionAttributes { rects : Vec ::new ( ) }
}
}
/// A Compositor global token
///
/// This token can be cloned at will, and is the entry-point to
/// access data associated with the wl_surface and wl_region managed
/// by the `CompositorGlobal` that provided it.
2017-06-04 20:12:22 +00:00
pub struct CompositorToken < U , H > {
2017-06-04 15:47:37 +00:00
hid : usize ,
_data : ::std ::marker ::PhantomData < * mut U > ,
2017-06-04 20:12:22 +00:00
_handler : ::std ::marker ::PhantomData < * mut H > ,
2017-06-04 15:47:37 +00:00
}
2017-06-13 14:46:31 +00:00
unsafe impl < U : Send , H : Send > Send for CompositorToken < U , H > { }
unsafe impl < U : Send , H : Send > Sync for CompositorToken < U , H > { }
// we implement them manually because #[derive(..)] would require
// U: Clone and H: Clone ...
impl < U , H > Copy for CompositorToken < U , H > { }
impl < U , H > Clone for CompositorToken < U , H > {
fn clone ( & self ) -> CompositorToken < U , H > {
* self
}
}
impl < U : Send + 'static , H : Handler < U > + Send + 'static > CompositorToken < U , H > {
2017-06-04 15:47:37 +00:00
/// Access the data of a surface
///
/// The closure will be called with the contents of the data associated with this surface.
///
/// If the surface is not managed by the CompositorGlobal that provided this token, this
/// will panic (having more than one compositor is not supported).
pub fn with_surface_data < F > ( & self , surface : & wl_surface ::WlSurface , f : F )
where F : FnOnce ( & mut SurfaceAttributes < U > )
{
2017-06-04 20:12:22 +00:00
assert! ( resource_is_registered ::< _ , CompositorHandler < U , H > > ( surface , self . hid ) ,
2017-06-04 15:47:37 +00:00
" Accessing the data of foreign surfaces is not supported. " ) ;
unsafe {
SurfaceData ::< U > ::with_data ( surface , f ) ;
}
}
/// Access the data of a surface tree
///
/// The provided closure is called successively on the surface and all its child subsurfaces,
2017-06-04 20:41:42 +00:00
/// in a depth-first order. This matches the order in which the surfaces are supposed to be
/// drawn: top-most last.
2017-06-04 15:47:37 +00:00
///
/// If the surface is not managed by the CompositorGlobal that provided this token, this
/// will panic (having more than one compositor is not supported).
2017-06-13 15:38:25 +00:00
pub fn with_surface_tree < F , T > ( & self , surface : & wl_surface ::WlSurface , initial : T , f : F ) -> Result < ( ) , ( ) >
where F : FnMut ( & wl_surface ::WlSurface , & mut SurfaceAttributes < U > , & T ) -> TraversalAction < T >
2017-06-04 15:47:37 +00:00
{
2017-06-04 20:12:22 +00:00
assert! ( resource_is_registered ::< _ , CompositorHandler < U , H > > ( surface , self . hid ) ,
2017-06-04 15:47:37 +00:00
" Accessing the data of foreign surfaces is not supported. " ) ;
unsafe {
2017-06-13 15:38:25 +00:00
SurfaceData ::< U > ::map_tree ( surface , initial , f ) ;
2017-06-04 15:47:37 +00:00
}
Ok ( ( ) )
}
/// Retrieve the parent of this surface
///
/// Returns `None` is this surface is a root surface
///
/// If the surface is not managed by the CompositorGlobal that provided this token, this
/// will panic (having more than one compositor is not supported).
pub fn get_parent ( & self , surface : & wl_surface ::WlSurface ) -> Option < wl_surface ::WlSurface > {
2017-06-04 20:12:22 +00:00
assert! ( resource_is_registered ::< _ , CompositorHandler < U , H > > ( surface , self . hid ) ,
2017-06-04 15:47:37 +00:00
" Accessing the data of foreign surfaces is not supported. " ) ;
2017-06-04 20:12:22 +00:00
unsafe { SurfaceData ::< U > ::get_parent ( surface ) }
2017-06-04 15:47:37 +00:00
}
2017-06-04 20:12:22 +00:00
2017-06-11 12:31:42 +00:00
/// Retrieve the children of this surface
///
/// If the surface is not managed by the CompositorGlobal that provided this token, this
/// will panic (having more than one compositor is not supported).
pub fn get_children ( & self , surface : & wl_surface ::WlSurface ) -> Vec < wl_surface ::WlSurface > {
assert! ( resource_is_registered ::< _ , CompositorHandler < U , H > > ( surface , self . hid ) ,
" Accessing the data of foreign surfaces is not supported. " ) ;
unsafe { SurfaceData ::< U > ::get_children ( surface ) }
}
2017-06-04 15:47:37 +00:00
/// Retrieve the role status this surface
///
/// If the surface is not managed by the CompositorGlobal that provided this token, this
/// will panic (having more than one compositor is not supported).
pub fn role_status ( & self , surface : & wl_surface ::WlSurface ) -> RoleStatus {
2017-06-04 20:12:22 +00:00
assert! ( resource_is_registered ::< _ , CompositorHandler < U , H > > ( surface , self . hid ) ,
2017-06-04 15:47:37 +00:00
" Accessing the data of foreign surfaces is not supported. " ) ;
2017-06-04 20:12:22 +00:00
unsafe { SurfaceData ::< U > ::role_status ( surface ) }
2017-06-04 15:47:37 +00:00
}
/// Register that this surface has a role
///
/// This makes this surface impossible to become a subsurface, as
/// a surface can only have a single role at a time.
///
/// Fails if the surface already has a role.
///
/// If the surface is not managed by the CompositorGlobal that provided this token, this
/// will panic (having more than one compositor is not supported).
2017-06-04 20:12:22 +00:00
pub fn give_role ( & self , surface : & wl_surface ::WlSurface ) -> Result < ( ) , ( ) > {
assert! ( resource_is_registered ::< _ , CompositorHandler < U , H > > ( surface , self . hid ) ,
2017-06-04 15:47:37 +00:00
" Accessing the data of foreign surfaces is not supported. " ) ;
2017-06-04 20:12:22 +00:00
unsafe { SurfaceData ::< U > ::give_role ( surface ) }
2017-06-04 15:47:37 +00:00
}
/// Register that this surface has no role
///
/// It is a noop if this surface already didn't have one, but fails if
/// the role was "subsurface". This role is automatically managed and as such
/// cannot be removed manually.
///
/// If the surface is not managed by the CompositorGlobal that provided this token, this
/// will panic (having more than one compositor is not supported).
2017-06-04 20:12:22 +00:00
pub fn remove_role ( & self , surface : & wl_surface ::WlSurface ) -> Result < ( ) , ( ) > {
assert! ( resource_is_registered ::< _ , CompositorHandler < U , H > > ( surface , self . hid ) ,
2017-06-04 15:47:37 +00:00
" Accessing the data of foreign surfaces is not supported. " ) ;
2017-06-04 20:12:22 +00:00
unsafe { SurfaceData ::< U > ::remove_role ( surface ) }
2017-06-04 15:47:37 +00:00
}
2017-06-11 12:31:42 +00:00
/// Retrieve the metadata associated with a wl_region
///
/// If the region is not managed by the CompositorGlobal that provided this token, this
/// will panic (having more than one compositor is not supported).
pub fn get_region_attributes ( & self , region : & wl_region ::WlRegion ) -> RegionAttributes {
assert! ( resource_is_registered ::< _ , CompositorHandler < U , H > > ( region , self . hid ) ,
" Accessing the data of foreign regions is not supported. " ) ;
unsafe { RegionData ::get_attributes ( region ) }
}
2017-06-04 15:47:37 +00:00
}
2017-06-04 19:36:18 +00:00
2017-06-11 12:33:03 +00:00
/// A struct handling the `wl_compositor` and `wl_subcompositor` globals
///
/// It allows you to choose a custom `U` type to store data you want
/// associated with the surfaces in their metadata, as well a providing
/// a sub-handler to handle the events defined by the `Handler` trait
/// defined in this module.
///
/// See the module-level documentation for instructions and examples of use.
2017-06-04 20:12:22 +00:00
pub struct CompositorHandler < U , H > {
2017-06-04 19:36:18 +00:00
my_id : usize ,
log : ::slog ::Logger ,
2017-06-04 20:12:22 +00:00
handler : H ,
2017-06-04 19:36:18 +00:00
_data : ::std ::marker ::PhantomData < U > ,
}
2017-06-04 20:12:22 +00:00
impl < U , H > Init for CompositorHandler < U , H > {
2017-06-04 19:36:18 +00:00
fn init ( & mut self , _evqh : & mut EventLoopHandle , index : usize ) {
self . my_id = index ;
debug! ( self . log , " Init finished " )
}
}
2017-06-04 20:12:22 +00:00
impl < U , H > CompositorHandler < U , H > {
/// Create a new CompositorHandler
pub fn new < L > ( handler : H , logger : L ) -> CompositorHandler < U , H >
2017-06-04 19:36:18 +00:00
where L : Into < Option < ::slog ::Logger > >
{
let log = ::slog_or_stdlog ( logger ) ;
CompositorHandler {
my_id : ::std ::usize ::MAX ,
log : log . new ( o! ( " smithay_module " = > " compositor_handler " ) ) ,
2017-06-04 20:12:22 +00:00
handler : handler ,
2017-06-04 19:36:18 +00:00
_data : ::std ::marker ::PhantomData ,
}
}
2017-06-04 20:12:22 +00:00
/// Create a token to access the data associated to the objects managed by this handler.
pub fn get_token ( & self ) -> CompositorToken < U , H > {
assert! ( self . my_id ! = ::std ::usize ::MAX ,
" CompositorHandler is not initialized yet. " ) ;
2017-06-11 16:50:47 +00:00
trace! ( self . log , " Creating a compositor token. " ) ;
2017-06-04 19:36:18 +00:00
CompositorToken {
hid : self . my_id ,
_data : ::std ::marker ::PhantomData ,
2017-06-04 20:12:22 +00:00
_handler : ::std ::marker ::PhantomData ,
2017-06-04 19:36:18 +00:00
}
}
2017-06-04 20:12:22 +00:00
/// Access the underlying sub-handler
pub fn get_handler ( & mut self ) -> & mut H {
& mut self . handler
}
}
/// Sub-handler trait for surface event handling
///
/// The global provided by Smithay cannot process these events for you, so they
/// are forwarded directly to a handler implementing this trait that you must provide
/// at creation of the `CompositorHandler`.
2017-06-11 12:32:37 +00:00
#[ allow(unused_variables) ]
2017-06-13 15:39:25 +00:00
pub trait Handler < U > : Sized {
2017-06-11 20:47:27 +00:00
/// The double-buffered state has been validated by the client
///
/// At this point, the pending state that has been accumulated in the `SurfaceAttributes` associated
/// to this surface should be integrated into the current state of the surface.
///
/// See [`wayland_server::protocol::wl_surface::Handler::commit`](https://docs.rs/wayland-server/*/wayland_server/protocol/wl_surface/trait.Handler.html#method.commit)
/// for more details
2017-06-13 15:39:25 +00:00
fn commit ( & mut self , evlh : & mut EventLoopHandle , client : & Client , surface : & wl_surface ::WlSurface ,
token : CompositorToken < U , Self > ) {
}
2017-06-11 20:47:27 +00:00
/// The client asks to be notified when would be a good time to update the contents of this surface
///
/// You must keep the provided `WlCallback` and trigger it at the appropriate time by calling
/// its `done()` method.
///
/// See [`wayland_server::protocol::wl_surface::Handler::frame`](https://docs.rs/wayland-server/*/wayland_server/protocol/wl_surface/trait.Handler.html#method.frame)
/// for more details
2017-06-04 20:12:22 +00:00
fn frame ( & mut self , evlh : & mut EventLoopHandle , client : & Client , surface : & wl_surface ::WlSurface ,
2017-06-13 14:46:31 +00:00
callback : wl_callback ::WlCallback , token : CompositorToken < U , Self > ) {
2017-06-11 12:32:37 +00:00
}
2017-06-04 19:36:18 +00:00
}