diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-04-27 10:40:48 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-04-27 10:40:48 +1000 |
commit | 0d842f0423ba0754fb3675c7468397a8da5f6e1b (patch) | |
tree | d5da172bc7af2f7f48a3415eceac67ed67542787 /src/fltk.ads | |
parent | 5d88963cd203f30b79433e34e5c89bfcf8abfe60 (diff) |
Organising source
Diffstat (limited to 'src/fltk.ads')
-rw-r--r-- | src/fltk.ads | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/src/fltk.ads b/src/fltk.ads new file mode 100644 index 0000000..490050d --- /dev/null +++ b/src/fltk.ads @@ -0,0 +1,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; + |