src/fltk_binding/fltk.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43


with Ada.Finalization;
private with System;


package FLTK is


    function Run return Integer;


    --  ugly implementation detail, never use this
    --  just ignore the hand moving behind the curtain
    --  (this is necessary so things like text_buffers and
    --  widgets can talk to each other behind the binding)
    type Wrapper is abstract new Ada.Finalization.Limited_Controlled with private;


private


    function Has_Valid_Ptr
           (This : in Wrapper)
        return Boolean;


    type Wrapper is abstract new Ada.Finalization.Limited_Controlled with
        record
            Void_Ptr : System.Address;
        end record;
        --  with Type_Invariant => Has_Valid_Ptr (Wrapper);

    --  unsure if the above invariant is doing what I'm after
    --  oh well, something to work on


    overriding procedure Initialize
           (This : in out Wrapper);


end FLTK;