with Text_IO; use Text_IO;
with System;
with System.Address_Image;
with System.Address_To_Access_Conversions;
with Increment_By;

procedure HelloAda is

    -- Provided by Henrik Glass (https://github.com/henrikglass)

    -- a type describing a float array of length 256.
    type Float_Array_T is array(0..255) of Float;

    -- an "access type" for the above type.
    type Float_Array_Access_T is access all Float_Array_T;

    -- idek...
    package Conversions is new System.Address_To_Access_Conversions(Float_Array_T);
    use Conversions;

    -- some variables.
    My_Float_Array         : aliased Float_Array_T;
    My_Float_Array_Address : System.address;
    My_Float_Array_Access  : Float_Array_Access_T;
    My_Float_Array_Obj_Ptr : Conversions.Object_Pointer;

    -- some increment variables.
    A, B, C : Integer;

begin
    -- Fill My_Float_Array with data
    for i in 0 .. 64 loop
        My_Float_Array(i) := 1.3 * Float(i);
    end loop;


    My_Float_Array_Address := My_Float_Array'Address;
    My_Float_Array_Access  := My_Float_Array'Access;
    My_Float_Array_Obj_Ptr := Conversions.To_Pointer(My_Float_Array_Address);

    Put_Line(System.Address_Image(My_Float_Array_Address));
    Put_Line(Float'Image(My_Float_Array(3)));

    C := Increment_By;
    --              ^ Parameterless call,
    --                value of I is 0
    --                and Incr is 1

    Put_Line ("Using defaults for Increment_By is "
              & Integer'Image (C));

    A := 10;
    B := 3;
    C := Increment_By (A, B);
    --                 ^ Regular parameter passing

    Put_Line ("Increment of "
              & Integer'Image (A)
              & " with "
              & Integer'Image (B)
              & " is "
              & Integer'Image (C));

    A := 20;
    B := 5;
    C := Increment_By (I    => A,
                       Incr => B);
    --                 ^ Named parameter passing

    Put_Line ("Increment of "
              & Integer'Image (A)
              & " with "
              & Integer'Image (B)
              & " is "
              & Integer'Image (C));

end HelloAda;