From a41dedec645a0894d9173e5de0b502f727572f62 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Wed, 9 Apr 2025 23:54:13 +1200 Subject: Fixed RGB_Image size_t issue, RGB_Image/Bitmap preconditions --- spec/fltk-images-bitmaps.ads | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'spec/fltk-images-bitmaps.ads') diff --git a/spec/fltk-images-bitmaps.ads b/spec/fltk-images-bitmaps.ads index b31885c..73afc62 100644 --- a/spec/fltk-images-bitmaps.ads +++ b/spec/fltk-images-bitmaps.ads @@ -15,9 +15,9 @@ package FLTK.Images.Bitmaps is - -- Rounds a number of bits up to the next byte boundary. + -- Calculates the bytes needed to hold a given number of bits. - function To_Next_Byte + function Bytes_Needed (Bits : in Natural) return Natural; @@ -33,7 +33,7 @@ package FLTK.Images.Bitmaps is (Data : in Color_Component_Array; Width, Height : in Natural) return Bitmap - with Pre => Data'Length = To_Next_Byte (Width) * Height; + with Pre => Data'Length >= Bytes_Needed (Width) * Height; end Forge; @@ -123,7 +123,7 @@ private (This : in out Bitmap); - pragma Inline (To_Next_Byte); + pragma Inline (Bytes_Needed); pragma Inline (Copy); -- cgit