diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-04-28 18:21:25 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-04-28 18:21:25 +1000 |
commit | ecdb8876ea6bdd333386aa7014cc5a8e0abe4c91 (patch) | |
tree | 0dc76811c26d32b3d920d85d0a2c22b6ec7d0298 /src/fltk_binding/fltk.ads | |
parent | 73d263cf2bc1d0cfee840df5e6a698eff8b2bd4e (diff) |
Moved fltk binding to separate repo
Diffstat (limited to 'src/fltk_binding/fltk.ads')
-rw-r--r-- | src/fltk_binding/fltk.ads | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/src/fltk_binding/fltk.ads b/src/fltk_binding/fltk.ads deleted file mode 100644 index 490050d..0000000 --- a/src/fltk_binding/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; - |