From b4438b2fbe895694be98e6e8426103deefc51448 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Tue, 21 Jan 2025 21:04:54 +1300 Subject: Split public API and private implementation files into different directories --- spec/fltk-devices.ads | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 spec/fltk-devices.ads (limited to 'spec/fltk-devices.ads') 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; + -- cgit