zeromq-Ada/src/zmq-sockets-typed_generic.ads

59 lines
3.1 KiB
Ada

-------------------------------------------------------------------------------
-- --
-- 0MQ Ada-binding --
-- --
-- Z M Q . S O C K E T S . T Y P E D _ G E N E R I C --
-- --
-- B o d y --
-- --
-- Copyright (C) 2020-2030, per.s.sandberg@bahnhof.se --
-- --
-- Permission is hereby granted, free of charge, to any person obtaining a --
-- copy of this software and associated documentation files --
-- (the "Software"), to deal in the Software without restriction, including --
-- without limitation the rights to use, copy, modify, merge, publish, --
-- distribute, sublicense, and / or sell copies of the Software, and to --
-- permit persons to whom the Software is furnished to do so, subject to --
-- the following conditions : --
-- --
-- The above copyright notice and this permission notice shall be included --
-- in all copies or substantial portions of the Software. --
-- --
-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS --
-- OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF --
-- MERCHANTABILITY, --
-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL --
-- THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR --
-- OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, --
-- ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR --
-- OTHER DEALINGS IN THE SOFTWARE. --
-------------------------------------------------------------------------------
generic
type Element_Type is private;
pragma Compile_Time_Error
(Element_Type'Has_Access_Values, "No access values allowed in Element");
package ZMQ.Sockets.Typed_Generic is
type Typed_Socket is new ZMQ.Sockets.Socket with private;
not overriding
procedure Send
(This : in out Typed_Socket;
Msg : Element_Type;
Flags : Socket_Flags := No_Flags);
not overriding
function Recv
(This : in Typed_Socket;
Flags : Socket_Flags := No_Flags)
return Element_Type;
not overriding
procedure Recv
(This : in Typed_Socket;
Msg : out Element_Type;
Flags : Socket_Flags := No_Flags);
private
type Typed_Socket is new ZMQ.Sockets.Socket with null record;
end ZMQ.Sockets.Typed_Generic;