From b506d60f37c7bb5a870ca838072afe816fc7aa61 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Fri, 9 May 2025 09:32:20 +1200 Subject: Constants marked constant, redundant with clauses no longer redundant --- src/portaudio-streams.ads | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) (limited to 'src/portaudio-streams.ads') diff --git a/src/portaudio-streams.ads b/src/portaudio-streams.ads index 4a431b8..7c8c8b7 100644 --- a/src/portaudio-streams.ads +++ b/src/portaudio-streams.ads @@ -157,44 +157,44 @@ package Portaudio.Streams is with Pre => Store.Kind = UInt_8_Format; function Wrap - (Store : aliased in Float_32_Array; - Frames : in Frame_Amount; - Channels : in Natural) + (Store : aliased in out Float_32_Array; + Frames : in Frame_Amount; + Channels : in Natural) return Buffer with Pre => Store'Length > 0 and Store'Length = Frames * Frame_Amount (Channels); function Wrap - (Store : aliased in Int_32_Array; - Frames : in Frame_Amount; - Channels : in Natural) + (Store : aliased in out Int_32_Array; + Frames : in Frame_Amount; + Channels : in Natural) return Buffer with Pre => Store'Length > 0 and Store'Length = Frames * Frame_Amount (Channels); function Wrap - (Store : aliased in Int_24_Array; - Frames : in Frame_Amount; - Channels : in Natural) + (Store : aliased in out Int_24_Array; + Frames : in Frame_Amount; + Channels : in Natural) return Buffer with Pre => Store'Length > 0 and Store'Length = Frames * Frame_Amount (Channels); function Wrap - (Store : aliased in Int_16_Array; - Frames : in Frame_Amount; - Channels : in Natural) + (Store : aliased in out Int_16_Array; + Frames : in Frame_Amount; + Channels : in Natural) return Buffer with Pre => Store'Length > 0 and Store'Length = Frames * Frame_Amount (Channels); function Wrap - (Store : aliased in Int_8_Array; - Frames : in Frame_Amount; - Channels : in Natural) + (Store : aliased in out Int_8_Array; + Frames : in Frame_Amount; + Channels : in Natural) return Buffer with Pre => Store'Length > 0 and Store'Length = Frames * Frame_Amount (Channels); function Wrap - (Store : aliased in UInt_8_Array; - Frames : in Frame_Amount; - Channels : in Natural) + (Store : aliased in out UInt_8_Array; + Frames : in Frame_Amount; + Channels : in Natural) return Buffer with Pre => Store'Length > 0 and Store'Length = Frames * Frame_Amount (Channels); -- cgit