diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-07-18 15:58:30 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-07-18 15:58:30 +1000 |
| commit | d513fd809229d6d48bd061e494b08cafbbcc6f9c (patch) | |
| tree | c24e5973aca38f2367769f44852ff39ebe56338e /src/fltk_binding/fltk.ads | |
| parent | 0b019001293227083dba0c953e0142c4d0c66884 (diff) | |
Decided on widget init problem, started on rudimentary editor appearance
Diffstat (limited to 'src/fltk_binding/fltk.ads')
| -rw-r--r-- | src/fltk_binding/fltk.ads | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/fltk_binding/fltk.ads b/src/fltk_binding/fltk.ads index c1844a6..fab93e0 100644 --- a/src/fltk_binding/fltk.ads +++ b/src/fltk_binding/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 |