summaryrefslogtreecommitdiff
path: root/spec/fltk-widgets-buttons-light-check.ads
diff options
context:
space:
mode:
authorJedidiah Barber <contact@jedbarber.id.au>2025-01-21 21:04:54 +1300
committerJedidiah Barber <contact@jedbarber.id.au>2025-01-21 21:04:54 +1300
commitb4438b2fbe895694be98e6e8426103deefc51448 (patch)
tree760d86cd7c06420a91dad102cc9546aee73146fc /spec/fltk-widgets-buttons-light-check.ads
parenta4703a65b015140cd4a7a985db66264875ade734 (diff)
Split public API and private implementation files into different directories
Diffstat (limited to 'spec/fltk-widgets-buttons-light-check.ads')
-rw-r--r--spec/fltk-widgets-buttons-light-check.ads63
1 files changed, 63 insertions, 0 deletions
diff --git a/spec/fltk-widgets-buttons-light-check.ads b/spec/fltk-widgets-buttons-light-check.ads
new file mode 100644
index 0000000..b6f353b
--- /dev/null
+++ b/spec/fltk-widgets-buttons-light-check.ads
@@ -0,0 +1,63 @@
+
+
+-- Programmed by Jedidiah Barber
+-- Released into the public domain
+
+
+limited with
+
+ FLTK.Widgets.Groups;
+
+
+package FLTK.Widgets.Buttons.Light.Check is
+
+
+ type Check_Button is new Light_Button with private;
+
+ type Check_Button_Reference (Data : not null access Check_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 Check_Button;
+
+ function Create
+ (Parent : in out FLTK.Widgets.Groups.Group'Class;
+ X, Y, W, H : in Integer;
+ Text : in String := "")
+ return Check_Button;
+
+ end Forge;
+
+
+private
+
+
+ type Check_Button is new Light_Button with null record;
+
+ overriding procedure Initialize
+ (This : in out Check_Button);
+
+ overriding procedure Finalize
+ (This : in out Check_Button);
+
+ procedure Extra_Init
+ (This : in out Check_Button;
+ X, Y, W, H : in Integer;
+ Text : in String)
+ with Inline;
+
+ procedure Extra_Final
+ (This : in out Check_Button)
+ with Inline;
+
+
+end FLTK.Widgets.Buttons.Light.Check;
+
+