summaryrefslogtreecommitdiff
path: root/spec/fltk-devices-surface-display.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-devices-surface-display.ads
parenta4703a65b015140cd4a7a985db66264875ade734 (diff)
Split public API and private implementation files into different directories
Diffstat (limited to 'spec/fltk-devices-surface-display.ads')
-rw-r--r--spec/fltk-devices-surface-display.ads53
1 files changed, 53 insertions, 0 deletions
diff --git a/spec/fltk-devices-surface-display.ads b/spec/fltk-devices-surface-display.ads
new file mode 100644
index 0000000..b581be7
--- /dev/null
+++ b/spec/fltk-devices-surface-display.ads
@@ -0,0 +1,53 @@
+
+
+-- Programmed by Jedidiah Barber
+-- Released into the public domain
+
+
+with
+
+ FLTK.Devices.Graphics;
+
+
+package FLTK.Devices.Surface.Display is
+
+
+ type Display_Device is new Surface_Device with private;
+
+ type Display_Device_Reference (Data : not null access Display_Device'Class) is
+ limited null record with Implicit_Dereference => Data;
+
+
+
+
+ package Forge is
+
+ -- Docs say you shouldn't ever need to use this, but it's here anyway.
+ function Create
+ (Graphics : in out FLTK.Devices.Graphics.Graphics_Driver)
+ return Display_Device;
+
+ end Forge;
+
+
+
+
+ function Get_Platform_Display
+ return Display_Device_Reference;
+
+
+private
+
+
+ type Display_Device is new Surface_Device with null record;
+
+ overriding procedure Finalize
+ (This : in out Display_Device);
+
+
+ pragma Inline (Get_Platform_Display);
+
+
+end FLTK.Devices.Surface.Display;
+
+