1 files changed, 601 insertions, 0 deletions
diff --git a/src/wayland-server.ads b/src/wayland-server.ads
new file mode 100644
index 0000000..c9ab05c
--- /dev/null
+++ b/src/wayland-server.ads
@@ -0,0 +1,601 @@
+
+
+package Wayland.Server is
+
+
+    --  All types declared first to make primitive op grouping easier
+
+
+    type Signal is new Wayland_Object with private;
+    type Signal_Number is new Integer;
+
+
+
+
+    type Event_Source is new Wayland_Object with private;
+
+
+
+
+    type Event_Loop is new Wayland_Object with private;
+    type Event_Loop_Access is access Event_Loop;
+
+    type Event_Loop_Reference (Data : not null access Event_Loop) is limited private
+        with Implicit_Dereference => Data;
+
+    type Event_Loop_FD_Function is access function
+           (This : in out Event_Loop;
+            FD   : in     File_Descriptor;
+            Mask : in     Client_State)
+        return Boolean;
+
+    type Event_Loop_Timer_Function is access function
+           (This : in out Event_Loop)
+        return Boolean;
+
+    type Event_Loop_Signal_Function is access function
+           (This : in out Event_Loop;
+            Num  : in     Signal_Number)
+        return Boolean;
+
+    type Event_Loop_Idle_Function is access procedure
+           (This : in out Event_Loop);
+
+
+
+
+    type Client is new Wayland_Object with private
+        with Variable_Indexing => Get_Object;
+    type Client_Access is access Client;
+
+    type Client_Reference (Data : not null access Client) is limited private
+        with Implicit_Dereference => Data;
+
+    type Client_State is record
+        Readable : Boolean := False;
+        Writable : Boolean := False;
+        Hangup   : Boolean := False;
+        Error    : Boolean := False;
+    end record;
+
+
+
+
+    type Display is new Wayland_Object with private;
+    type Display_Access is access Display;
+
+    type Display_Reference (Data : not null access Display) is limited private
+        with Implicit_Dereference => Data;
+
+
+
+
+    type Global is new Wayland_Object with private;
+    type Global_Access is access Global;
+
+    type Global_Bind_Function is access procedure
+           (My_Client : in Client_Access;
+            Version   : in Version_Number;
+            ID        : in ID_Number);
+
+
+
+
+    type Global_Filter_Function is access function
+           (Caller    : in Display;
+            My_Client : in Client;
+            My_Global : in Global)
+        return Boolean;
+
+
+
+
+    type Resource is new Wayland_Object with private;
+    type Resource_Access is access Resource;
+
+    type Resource_Reference (Data : not null access Resource) is limited private
+        with Implicit_Dereference => Data;
+
+
+
+
+    type Pixel_Value is new Unsigned_Integer;
+    type Stride_Size is new Positive;
+    type Pixel_Format is new Unsigned_Integer;
+
+    type Shared_Memory is new Wayland_Object with private;
+    type SHM_Access is access Shared_Memory;
+
+
+
+
+    type Shared_Pool is new Wayland_Object with private;
+    type SHM_Pool_Access is access Shared_Pool;
+
+
+
+
+    type Protocol_Logger is new Wayland_Object with private;
+    type Protocol_Logger_Direction is (Request, Event);
+
+    type Protocol_Logger_Message is record
+    end record;
+
+    type Protocol_Logger_Function is access procedure
+           (From : in Display;
+            Dir  : in Protocol_Logger_Direction;
+            Msg  : in Protocol_Logger_Message);
+
+
+
+
+    --  Signal
+
+    function Create
+        return Signal;
+
+    procedure Add
+           (This : in out Signal;
+            Func : in     Listener_Function);
+
+    function Has
+           (This : in Signal;
+            Func : in Listener_Function)
+        return Boolean;
+
+    procedure Remove
+           (This : in out Signal;
+            Func : in     Listener_Function);
+
+    procedure Emit
+           (This : in Signal);
+
+
+
+
+    --  Event_Source
+
+    function FD_Update
+           (Source : in Event_Source;
+            Mask   : in Client_State)
+        return Result;
+
+    function Timer_Update
+           (Source : in Event_Source;
+            Time   : in Duration)
+        return Result;
+
+    procedure Remove
+           (Source : in Event_Source);
+
+    procedure Check
+           (Source : in Event_Source);
+
+
+
+
+    --  Event_Loop
+
+    function Create
+        return Event_Loop;
+
+    function Add_FD
+           (This : in out Event_Loop;
+            FD   : in     File_Descriptor;
+            Mask : in     Client_State;
+            Func : in     Event_Loop_FD_Function)
+        return Event_Source;
+
+    function Get_FD
+           (This : in Event_Loop)
+        return File_Descriptor;
+
+    function Add_Timer
+           (This : in out Event_Loop;
+            Func : in     Event_Loop_Timer_Function)
+        return Event_Source;
+
+    function Add_Signal
+           (This : in out Event_Loop;
+            Sig  : in     Signal_Number;
+            Func : in     Event_Loop_Signal_Function)
+        return Event_Source;
+
+    function Add_Idle
+           (This : in out Event_Loop;
+            Func : in     Event_Loop_Idle_Function)
+        return Event_Source;
+
+    function Dispatch
+           (This    : in out Event_Loop;
+            Timeout : in     Natural)
+        return Result;
+
+    procedure Dispatch_Idle
+           (This : in out Event_Loop);
+
+    procedure Add_Destroy_Listener
+           (This : in out Event_Loop;
+            Func : in     Listener_Function);
+
+    function Has_Destroy_Listener
+           (This : in Event_Loop;
+            Func : in Listener_Function)
+        return Boolean;
+
+    procedure Remove_Destroy_Listener
+           (This : in out Event_Loop;
+            Func : in     Listener_Function);
+
+
+
+
+    --  Display
+
+    function Create
+        return Display;
+
+    function Get_Event_Loop
+           (This : in Display)
+        return Event_Loop_Reference;
+
+    function Add_Socket
+           (This : in out Display;
+            Name : in     String)
+        return Result;
+
+    function Add_Socket_Auto
+           (This : in out Display)
+        return String;
+
+    function Add_Socket_FD
+           (This : in out Display;
+            FD   : in     File_Descriptor)
+        return Result;
+
+    procedure Stop
+           (This : in out Display);
+
+    procedure Run
+           (This : in out Display);
+
+    procedure Flush_Clients
+           (This : in out Display);
+
+    function Get_Serial
+           (This : in Display)
+        return Serial_Number;
+
+    function Next_Serial
+           (This : in Display)
+        return Serial_Number;
+
+    procedure Add_Destroy_Listener
+           (This : in out Display;
+            Func : in     Listener_Function);
+
+    function Has_Destroy_Listener
+           (This : in Display;
+            Func : in Listener_Function)
+        return Boolean;
+
+    procedure Remove_Destroy_Listener
+           (This : in out Display;
+            Func : in     Listener_Function);
+
+    procedure Add_Client_Created_Listener
+           (This : in out Display;
+            Func : in     Listener_Function);
+
+    function Has_Client_Created_Listener
+           (This : in Display)
+            Func : in Listener_Function)
+        return Boolean;
+
+    procedure Remove_Client_Created_Listener
+           (This : in out Display;
+            Func : in     Listener_Function);
+
+    procedure Set_Global_Filter
+           (This : in out Display;
+            Func : in     Global_Filter_Function);
+
+    function Add_Protocol_Logger
+           (This : in out Display;
+            Func : in     Protocol_Logger_Function)
+        return Protocol_Logger;
+
+
+
+
+    --  Client
+
+    function Create
+           (My_Display : in Display_Access;
+            FD         : in File_Descriptor)
+        return Client;
+
+    procedure Flush
+           (This : in out Client);
+
+    procedure Get_Credentials
+           (This : in     Client;
+            PID  :    out Process_ID;
+            UID  :    out User_ID;
+            GID  :    out Group_ID);
+
+    function Get_Display
+           (This : in Client)
+        return Display_Reference;
+
+    function Get_FD
+           (This : in Client)
+        return File_Descriptor;
+
+    function Get_Object
+           (This : in Client;
+            ID   : in ID_Number)
+        return Resource_Reference;
+
+    procedure Post_No_Memory
+           (This : in out Client);
+
+    procedure Add_Destroy_Listener
+           (This : in out Client;
+            Func : in     Listener_Function);
+
+    function Has_Destroy_Listener
+           (This : in Client;
+            Func : in Listener_Function)
+        return Boolean;
+
+    procedure Remove_Destroy_Listener
+           (This : in out Client;
+            Func : in     Listener_Function);
+
+    procedure Add_Resource_Created_Listener
+           (This : in out Client;
+            Func : in     Listener_Function);
+
+    function Has_Resource_Created_Listener
+           (This : in Client;
+            Func : in Listener_Function)
+        return Boolean;
+
+    procedure Remove_Resource_Created_Listener
+           (This : in out Client;
+            Func : in     Listener_Function);
+
+
+
+
+    --  Global
+
+    function Create
+           (My_Display   : in Display_Access;
+            My_Interface : in Protocol_Interface_Access;
+            Version      : in Version_Number;
+            Bind_Func    : in Global_Bind_Function)
+        return Global;
+
+    function Get_Interface
+           (This : in Global_Access)
+        return Protocol_Interface_Reference;
+
+
+
+
+    --  Resource
+
+    function Create
+           (My_Client    : in Client_Access;
+            My_Interface : in Protocol_Interface_Access;
+            Version      : in Version_Number;
+            ID           : in ID_Number)
+        return Resource;
+
+    procedure Post_Event
+           (This : in out Resource;
+            Op   : in     Opcode;
+            Args : in     Argument_Array);
+
+    procedure Queue_Event
+           (This : in out Resource;
+            Op   : in     Opcode;
+            Args : in     Argument_Array);
+
+    procedure Post_Error
+           (This : in out Resource;
+            Code : in     Error_Code;
+            Msg  : in     String);
+
+    procedure Post_No_Memory
+           (This : in out Resource);
+
+    function Get_ID
+           (This : in Resource)
+        return ID_Number;
+
+    function Get_Client
+           (This : in Resource)
+        return Client_Reference;
+
+    function Get_Version
+           (This : in Resource)
+        return Version_Number;
+
+    procedure Add_Destroy_Listener
+           (This : in out Resource;
+            Func : in     Listener_Function);
+
+    function Has_Destroy_Listener
+           (This : in Resource;
+            Func : in Listener_Function)
+        return Boolean;
+
+    procedure Remove_Destroy_Listener
+           (This : in out Resource;
+            Func : in     Listener_Function);
+
+
+
+
+    --  Shared_Memory
+
+    function Create
+           (My_Client : in Client_Access;
+            ID        : in ID_Number;
+            W, H      : in Natural;
+            Stride    : in Stride_Size;
+            Format    : in Pixel_Format)
+        return Shared_Memory;
+
+    function Get_Buffer
+           (From : in Resource)
+        return Shared_Memory;
+
+    function Get_Pixel
+           (This : in Shared_Memory;
+            X, Y : in Natural)
+        return Pixel_Value;
+
+    procedure Set_Pixel
+           (This  : in out Shared_Memory;
+            X, Y  : in     Natural;
+            Value : in     Pixel_Value);
+
+    function Get_Stride
+           (This : in Shared_Memory)
+        return Stride_Size;
+
+    function Get_Format
+           (This : in Shared_Memory)
+        return Pixel_Format;
+
+    function Get_Width
+           (This : in Shared_Memory)
+        return Natural;
+
+    function Get_Height
+           (This : in Shared_Memory)
+        return Natural;
+
+
+
+
+    --  Shared_Pool
+
+    function Reference_Pool
+           (From : in Shared_Memory)
+        return Shared_Pool;
+
+    procedure Unreference
+           (This : in out Shared_Pool);
+
+
+
+
+    --  Log
+
+    procedure Set_Log_Handler
+           (Handler : in Log_Function);
+
+
+private
+
+
+    type Signal is new Wayland_Object with null record;
+
+    procedure Finalize
+           (This : in out Signal);
+
+
+
+
+    type Event_Source is new Wayland_Object with null record;
+
+    procedure Finalize
+           (This : in out Event_Source);
+
+
+
+
+    type Event_Loop is new Wayland_Object with null record;
+
+    procedure Finalize
+           (This : in out Event_Loop);
+
+    type Event_Loop_Reference (Data : not null access Event_Loop) is limited null record
+        with Implicit_Dereference => Data;
+
+
+
+
+    type Client is new Wayland_Object with null record
+        with Variable_Indexing => Get_Object;
+
+    procedure Finalize
+           (This : in out Client);
+
+    type Client_Reference (Data : not null access Client) is limited null record
+        with Implicit_Dereference => Data;
+
+
+
+
+    type Display is new Wayland_Object with null record;
+
+    procedure Finalize
+           (This : in out Display);
+
+    type Display_Reference (Data : not null access Display) is limited null record
+        with Implicit_Dereference => Data;
+
+
+
+
+    type Global is new Wayland_Object with null record;
+
+    procedure Finalize
+           (This : in out Global);
+
+
+
+
+    type Resource is new Wayland_Object with null record;
+
+    procedure Finalize
+           (This : in out Resource);
+
+    type Resource_Reference (Data : not null access Resource) is limited null record
+        with Implicit_Dereference => Data;
+
+
+
+
+    type Shared_Memory is new Wayland_Object with record
+        Needs_Dealloc : Boolean;
+    end record;
+
+    procedure Finalize
+           (This : in out Shared_Memory);
+
+
+
+
+    type Shared_Pool is new Wayland_Object with null record;
+
+    procedure Finalize
+           (This : in out Shared_Pool);
+
+
+
+
+    type Protocol_Logger is new Wayland_Object with null record;
+
+    procedure Finalize
+           (This : in out Protocol_Logger);
+
+
+end Wayland.Server;
+