Split public API and private implementation files into different directories

1 files changed, 78 insertions, 0 deletions

diff --git a/spec/fltk-widgets-buttons-light.ads b/spec/fltk-widgets-buttons-light.ads
new file mode 100644
index 0000000..b1a1cfa
--- /dev/null
+++ b/spec/fltk-widgets-buttons-light.ads
@@ -0,0 +1,78 @@
+
+
+--  Programmed by Jedidiah Barber
+--  Released into the public domain
+
+
+limited with
+
+    FLTK.Widgets.Groups;
+
+
+package FLTK.Widgets.Buttons.Light is
+
+
+    type Light_Button is new Button with private;
+
+    type Light_Button_Reference (Data : not null access Light_Button'Class) is
+        limited null record with Implicit_Dereference => Data;
+
+
+
+
+    package Forge is
+
+        function Create
+               (X, Y, W, H : in Integer;
+                Text       : in String := "")
+            return Light_Button;
+
+        function Create
+               (Parent     : in out FLTK.Widgets.Groups.Group'Class;
+                X, Y, W, H : in     Integer;
+                Text       : in     String := "")
+            return Light_Button;
+
+    end Forge;
+
+
+
+
+    procedure Draw
+           (This : in out Light_Button);
+
+    function Handle
+           (This  : in out Light_Button;
+            Event : in     Event_Kind)
+        return Event_Outcome;
+
+
+private
+
+
+    type Light_Button is new Button with null record;
+
+    overriding procedure Initialize
+           (This : in out Light_Button);
+
+    overriding procedure Finalize
+           (This : in out Light_Button);
+
+    procedure Extra_Init
+           (This       : in out Light_Button;
+            X, Y, W, H : in     Integer;
+            Text       : in     String)
+    with Inline;
+
+    procedure Extra_Final
+           (This : in out Light_Button)
+    with Inline;
+
+
+    pragma Inline (Draw);
+    pragma Inline (Handle);
+
+
+end FLTK.Widgets.Buttons.Light;
+
+