From 0d842f0423ba0754fb3675c7468397a8da5f6e1b Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 27 Apr 2017 10:40:48 +1000 Subject: Organising source --- src/fltk.ads | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 src/fltk.ads (limited to 'src/fltk.ads') 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; + -- cgit