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 /fltk.ads | |
| parent | 5d88963cd203f30b79433e34e5c89bfcf8abfe60 (diff) | |
Organising source
Diffstat (limited to 'fltk.ads')
| -rw-r--r-- | fltk.ads | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/fltk.ads b/fltk.ads deleted file mode 100644 index 490050d..0000000 --- a/fltk.ads +++ /dev/null @@ -1,43 +0,0 @@ - - -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; - |