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-screen.ads | 96 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 96 insertions(+) create mode 100644 spec/fltk-screen.ads (limited to 'spec/fltk-screen.ads') diff --git a/spec/fltk-screen.ads b/spec/fltk-screen.ads new file mode 100644 index 0000000..be28134 --- /dev/null +++ b/spec/fltk-screen.ads @@ -0,0 +1,96 @@ + + +-- Programmed by Jedidiah Barber +-- Released into the public domain + + +package FLTK.Screen is + + + function Get_X + return Integer; + + function Get_Y + return Integer; + + function Get_W + return Integer; + + function Get_H + return Integer; + + + + + function Count + return Integer; + + -- Screen numbers in the range 1 .. Count + procedure DPI + (Horizontal, Vertical : out Float; + Screen_Number : in Integer := 1); + + + + + function Containing + (X, Y : in Integer) + return Integer; + + function Containing + (X, Y, W, H : in Integer) + return Integer; + + + + + procedure Work_Area + (X, Y, W, H : out Integer; + Pos_X, Pos_Y : in Integer); + + procedure Work_Area + (X, Y, W, H : out Integer; + Screen_Num : in Integer); + + procedure Work_Area + (X, Y, W, H : out Integer); + + + + + procedure Bounding_Rect + (X, Y, W, H : out Integer; + Pos_X, Pos_Y : in Integer); + + procedure Bounding_Rect + (X, Y, W, H : out Integer; + Screen_Num : in Integer); + + procedure Bounding_Rect + (X, Y, W, H : out Integer); + + procedure Bounding_Rect + (X, Y, W, H : out Integer; + PX, PY, PW, PH : in Integer); + + +private + + + pragma Inline (Get_X); + pragma Inline (Get_Y); + pragma Inline (Get_W); + pragma Inline (Get_H); + + + pragma Inline (Count); + pragma Inline (DPI); + + + pragma Inline (Containing); + pragma Inline (Work_Area); + pragma Inline (Bounding_Rect); + + +end FLTK.Screen; + -- cgit