Ada-WinRt3

Ada bindings for the Microsoft WinRT Api (Version 3)

Prerequisites

You will need a working gcc/gnat x64 Windows build environment. You may need to build gcc/gnat x64 from source if required. Details/scripts on how to do this can be found on the mingw64 website, alternatively install using MSYS2

Project Status

This is the initial release

Roadmap

Based on community feedback, thinking along the lines of

• General code improvements
• Addition of pre and post conditions where appropriate
• Improved error handling
• Mapping WinRt collections to Ada

Build instructions

You can build this project with gprbuild, project file is part of this repo

Feedback

Welcome

Api Usage

--------------------------------------------------------------------------------
with Ada.Wide_Text_IO;
with Ada.Strings.Wide_Unbounded;
with WinRt;                             
with WinRt.Windows.Foundation;
with WinRt.Windows.Networking;
with WinRt.Windows.Networking.Sockets;
with WinRt.Windows.Storage.Streams;
with WinRt.Windows.Web.Http;
--------------------------------------------------------------------------------
procedure WinRt3Test is

    use WinRt;
    use Ada.Strings.Wide_Unbounded;
    
    Hr : HResult := 0;
    
    function "+"(value : Wide_String) return Unbounded_Wide_String renames To_Unbounded_Wide_String;
    function "+"(value : Unbounded_Wide_String) return Wide_String renames To_Wide_String;

begin
    Hr := RoInitialize;
    if Hr = 0 then
    
        declare
            Uri             : Windows.Foundation.Uri := Windows.Foundation.Constructor (+"http://www.google.com");
            HttpClient      : Windows.Web.Http.HttpClient := Windows.Web.Http.Constructor;
            Result          : WString;
        begin
            Result := HttpClient.GetStringAsync (Uri);
            Ada.Wide_Text_IO.Put_Line (+Result);
            HttpClient.Close;
        end;
        
        declare
            Host            : Windows.Networking.HostName := Windows.Networking.Constructor(+"www.google.com");
            Port            : WString := +"80";
            Socket          : Windows.Networking.Sockets.StreamSocket := Windows.Networking.Sockets.Constructor;
            DataWriter      : Windows.Storage.Streams.DataWriter := Windows.Storage.Streams.Constructor (Socket.get_OutputStream);
        begin
            Socket.ConnectAsync (Host, Port);
            Socket.Close;
        end;
    
        RoUninitialize;
    end if;
end;