aboutsummaryrefslogtreecommitdiff
path: root/spec/fltk-screen.ads
diff options
context:
space:
mode:
Diffstat (limited to 'spec/fltk-screen.ads')
-rw-r--r--spec/fltk-screen.ads61
1 files changed, 56 insertions, 5 deletions
diff --git a/spec/fltk-screen.ads b/spec/fltk-screen.ads
index be28134..38db9aa 100644
--- a/spec/fltk-screen.ads
+++ b/spec/fltk-screen.ads
@@ -7,6 +7,28 @@
package FLTK.Screen is
+ type Visual_Mode is (RGB, RGB_24bit, Double_Buffer, Double_RGB, Double_RGB_24bit);
+
+
+
+
+ -- Environment --
+
+ procedure Set_Display_String
+ (Value : in String);
+
+ procedure Set_Visual_Mode
+ (Value : in Visual_Mode);
+
+ function Set_Visual_Mode
+ (Value : in Visual_Mode)
+ return Boolean;
+
+
+
+
+ -- Basic Dimensions --
+
function Get_X
return Integer;
@@ -22,6 +44,8 @@ package FLTK.Screen is
+ -- Pixel Density --
+
function Count
return Integer;
@@ -33,6 +57,8 @@ package FLTK.Screen is
+ -- Position Lookup --
+
function Containing
(X, Y : in Integer)
return Integer;
@@ -44,6 +70,8 @@ package FLTK.Screen is
+ -- Bounding Boxes --
+
procedure Work_Area
(X, Y, W, H : out Integer;
Pos_X, Pos_Y : in Integer);
@@ -55,9 +83,6 @@ package FLTK.Screen is
procedure Work_Area
(X, Y, W, H : out Integer);
-
-
-
procedure Bounding_Rect
(X, Y, W, H : out Integer;
Pos_X, Pos_Y : in Integer);
@@ -74,23 +99,49 @@ package FLTK.Screen is
PX, PY, PW, PH : in Integer);
+
+
+ -- Drawing --
+
+ function Is_Damaged
+ return Boolean;
+
+ procedure Set_Damaged
+ (To : in Boolean);
+
+ procedure Flush;
+
+ procedure Redraw;
+
+
private
+ pragma Import (C, Flush, "fl_screen_flush");
+ pragma Import (C, Redraw, "fl_screen_redraw");
+
+
+ pragma Inline (Set_Display_String);
+ pragma Inline (Set_Visual_Mode);
+
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);
+ pragma Inline (Is_Damaged);
+ pragma Inline (Set_Damaged);
+ pragma Inline (Flush);
+ pragma Inline (Redraw);
+
end FLTK.Screen;
+