summaryrefslogtreecommitdiff
path: root/spec/fltk-devices.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.ads
parenta4703a65b015140cd4a7a985db66264875ade734 (diff)
Split public API and private implementation files into different directories
Diffstat (limited to 'spec/fltk-devices.ads')
-rw-r--r--spec/fltk-devices.ads23
1 files changed, 23 insertions, 0 deletions
diff --git a/spec/fltk-devices.ads b/spec/fltk-devices.ads
new file mode 100644
index 0000000..d9ce5b1
--- /dev/null
+++ b/spec/fltk-devices.ads
@@ -0,0 +1,23 @@
+
+
+-- Programmed by Jedidiah Barber
+-- Released into the public domain
+
+
+package FLTK.Devices is
+
+
+ type Device is new Wrapper with private;
+
+ type Device_Reference (Data : not null access Device'Class) is
+ limited null record with Implicit_Dereference => Data;
+
+
+private
+
+
+ type Device is new Wrapper with null record;
+
+
+end FLTK.Devices;
+