summaryrefslogtreecommitdiff
path: root/spec/fltk-widgets-groups-windows-double.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-groups-windows-double.ads
parenta4703a65b015140cd4a7a985db66264875ade734 (diff)
Split public API and private implementation files into different directories
Diffstat (limited to 'spec/fltk-widgets-groups-windows-double.ads')
-rw-r--r--spec/fltk-widgets-groups-windows-double.ads103
1 files changed, 103 insertions, 0 deletions
diff --git a/spec/fltk-widgets-groups-windows-double.ads b/spec/fltk-widgets-groups-windows-double.ads
new file mode 100644
index 0000000..ed957ac
--- /dev/null
+++ b/spec/fltk-widgets-groups-windows-double.ads
@@ -0,0 +1,103 @@
+
+
+-- Programmed by Jedidiah Barber
+-- Released into the public domain
+
+
+package FLTK.Widgets.Groups.Windows.Double is
+
+
+ type Double_Window is new Window with private;
+
+ type Double_Window_Reference (Data : not null access Double_Window'Class) is
+ limited null record with Implicit_Dereference => Data;
+
+
+
+
+ package Forge is
+
+ function Create
+ (X, Y, W, H : in Integer;
+ Text : in String := "")
+ return Double_Window;
+
+ function Create
+ (Parent : in out Groups.Group'Class;
+ X, Y, W, H : in Integer;
+ Text : in String := "")
+ return Double_Window;
+
+ function Create
+ (W, H : in Integer;
+ Text : in String := "")
+ return Double_Window;
+
+ function Create
+ (Parent : in out Groups.Group'Class;
+ W, H : in Integer;
+ Text : in String := "")
+ return Double_Window;
+
+ end Forge;
+
+
+
+
+ procedure Show
+ (This : in out Double_Window);
+
+ procedure Show_With_Args
+ (This : in out Double_Window);
+
+ procedure Hide
+ (This : in out Double_Window);
+
+ procedure Flush
+ (This : in out Double_Window);
+
+ procedure Flush_All
+ (This : in out Double_Window);
+
+
+
+
+ procedure Resize
+ (This : in out Double_Window;
+ X, Y, W, H : in Integer);
+
+
+private
+
+
+ type Double_Window is new Window with null record;
+
+ overriding procedure Initialize
+ (This : in out Double_Window);
+
+ overriding procedure Finalize
+ (This : in out Double_Window);
+
+ procedure Extra_Init
+ (This : in out Double_Window;
+ X, Y, W, H : in Integer;
+ Text : in String)
+ with Inline;
+
+ procedure Extra_Final
+ (This : in out Double_Window)
+ with Inline;
+
+
+ pragma Inline (Show);
+ pragma Inline (Show_With_Args);
+ pragma Inline (Hide);
+ pragma Inline (Flush);
+ pragma Inline (Flush_All);
+
+ pragma Inline (Resize);
+
+
+end FLTK.Widgets.Groups.Windows.Double;
+
+