--  Programmed by Jedidiah Barber
--  Released into the public domain


with

    FLTK.Widgets.Groups,
    Interfaces.C.Strings;


package body FLTK.Widgets.Buttons.Light.Check is


    ------------------------
    --  Functions From C  --
    ------------------------

    function new_fl_check_button
           (X, Y, W, H : in Interfaces.C.int;
            Text       : in Interfaces.C.char_array)
        return Storage.Integer_Address;
    pragma Import (C, new_fl_check_button, "new_fl_check_button");
    pragma Inline (new_fl_check_button);

    procedure free_fl_check_button
           (B : in Storage.Integer_Address);
    pragma Import (C, free_fl_check_button, "free_fl_check_button");
    pragma Inline (free_fl_check_button);




    procedure fl_check_button_draw
           (W : in Storage.Integer_Address);
    pragma Import (C, fl_check_button_draw, "fl_check_button_draw");
    pragma Inline (fl_check_button_draw);

    function fl_check_button_handle
           (W : in Storage.Integer_Address;
            E : in Interfaces.C.int)
        return Interfaces.C.int;
    pragma Import (C, fl_check_button_handle, "fl_check_button_handle");
    pragma Inline (fl_check_button_handle);




    -------------------
    --  Destructors  --
    -------------------

    --  Round the world and home again, that's the sailor's way!
    procedure check_button_extra_final_hook
           (Ada_Obj : in Storage.Integer_Address);
    pragma Export (C, check_button_extra_final_hook, "check_button_extra_final_hook");

    procedure check_button_extra_final_hook
           (Ada_Obj : in Storage.Integer_Address)
    is
        My_Check_Button : Check_Button;
        for My_Check_Button'Address use Storage.To_Address (Ada_Obj);
        pragma Import (Ada, My_Check_Button);
    begin
        Extra_Final (My_Check_Button);
    end check_button_extra_final_hook;


    procedure Extra_Final
           (This : in out Check_Button) is
    begin
        Extra_Final (Light_Button (This));
    end Extra_Final;


    procedure Finalize
           (This : in out Check_Button) is
    begin
        Extra_Final (This);
        if This.Void_Ptr /= Null_Pointer and This.Needs_Dealloc then
            free_fl_check_button (This.Void_Ptr);
            This.Void_Ptr := Null_Pointer;
        end if;
    end Finalize;




    --------------------
    --  Constructors  --
    --------------------

    --  Arrived at the flip side
    procedure check_button_extra_init_hook
           (Ada_Obj    : Storage.Integer_Address;
            X, Y, W, H : in Interfaces.C.int;
            C_Str      : in Interfaces.C.Strings.chars_ptr);
    pragma Export (C, check_button_extra_init_hook, "check_button_extra_init_hook");

    procedure check_button_extra_init_hook
           (Ada_Obj    : in Storage.Integer_Address;
            X, Y, W, H : in Interfaces.C.int;
            C_Str      : in Interfaces.C.Strings.chars_ptr)
    is
        My_Check_Button : Check_Button;
        for My_Check_Button'Address use Storage.To_Address (Ada_Obj);
        pragma Import (Ada, My_Check_Button);
    begin
        Extra_Init
           (My_Check_Button,
            Integer (X), Integer (Y),
            Integer (W), Integer (H),
            Interfaces.C.Strings.Value (C_Str));
    end check_button_extra_init_hook;


    procedure Extra_Init
           (This       : in out Check_Button;
            X, Y, W, H : in     Integer;
            Text       : in     String) is
    begin
        Extra_Init (Light_Button (This), X, Y, W, H, Text);
    end Extra_Init;


    procedure Initialize
           (This : in out Check_Button) is
    begin
        This.Draw_Ptr   := fl_check_button_draw'Address;
        This.Handle_Ptr := fl_check_button_handle'Address;
    end Initialize;


    package body Forge is

        function Create
               (X, Y, W, H : in Integer;
                Text       : in String := "")
            return Check_Button is
        begin
            return This : Check_Button do
                This.Void_Ptr := new_fl_check_button
                       (Interfaces.C.int (X),
                        Interfaces.C.int (Y),
                        Interfaces.C.int (W),
                        Interfaces.C.int (H),
                        Interfaces.C.To_C (Text));
                Extra_Init (This, X, Y, W, H, Text);
            end return;
        end Create;


        function Create
               (Parent     : in out FLTK.Widgets.Groups.Group'Class;
                X, Y, W, H : in     Integer;
                Text       : in     String := "")
            return Check_Button is
        begin
            return This : Check_Button := Create (X, Y, W, H, Text) do
                Parent.Add (This);
            end return;
        end Create;

    end Forge;


end FLTK.Widgets.Buttons.Light.Check;