diff options
author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-04-11 22:21:26 +1200 |
---|---|---|
committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-04-11 22:21:26 +1200 |
commit | fb4183c9244ee31aa5cb8bc9745c9242b1fafeeb (patch) | |
tree | a33c13dd090a1798a6638b9762dcc7187438f980 /spec/fltk-draw.ads | |
parent | 192b9538fcbe46649dccd44b499a0d52d17cf283 (diff) |
Moved Size_Type to FLTK and better incorporated it into Bitmaps and RGB_Images
Diffstat (limited to 'spec/fltk-draw.ads')
-rw-r--r-- | spec/fltk-draw.ads | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/spec/fltk-draw.ads b/spec/fltk-draw.ads index 8346112..a2c66f3 100644 --- a/spec/fltk-draw.ads +++ b/spec/fltk-draw.ads @@ -256,8 +256,8 @@ package FLTK.Draw is Flip_Horizontal : in Boolean := False; Flip_Vertical : in Boolean := False) with Pre => (if Line_Size = 0 - then Data'Length >= W * H * Depth - else Data'Length >= Line_Size * H); + then Data'Length >= Size_Type (W) * Size_Type (H) * Size_Type (Depth) + else Data'Length >= Size_Type (Line_Size) * Size_Type (H)); procedure Draw_Image (X, Y, W, H : in Integer; @@ -272,8 +272,8 @@ package FLTK.Draw is Flip_Horizontal : Boolean := False; Flip_Vertical : Boolean := False) with Pre => (if Line_Size = 0 - then Data'Length >= W * H * Depth - else Data'Length >= Line_Size * H); + then Data'Length >= Size_Type (W) * Size_Type (H) * Size_Type (Depth) + else Data'Length >= Size_Type (Line_Size) * Size_Type (H)); procedure Draw_Image_Mono (X, Y, W, H : in Integer; @@ -299,8 +299,8 @@ package FLTK.Draw is return Color_Component_Array with Post => (if Alpha = 0 - then Read_Image'Result'Length = W * H * 3 - else Read_Image'Result'Length = W * H * 4); + then Read_Image'Result'Length = Size_Type (W) * Size_Type (H) * 3 + else Read_Image'Result'Length = Size_Type (W) * Size_Type (H) * 4); |