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