diff options
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; - |