From 6aa9475d598065081866913bb86a049a6d2d0c1a Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Mon, 18 Jul 2016 15:58:30 +1000
Subject: Decided on widget init problem, started on rudimentary editor
 appearance

---
 fltk.ads | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'fltk.ads')

diff --git a/fltk.ads b/fltk.ads
index c1844a6..fab93e0 100644
--- a/fltk.ads
+++ b/fltk.ads
@@ -20,10 +20,19 @@ package FLTK is
 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;
+        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
-- 
cgit