diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-05-09 09:32:20 +1200 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-05-09 09:32:20 +1200 |
| commit | b506d60f37c7bb5a870ca838072afe816fc7aa61 (patch) | |
| tree | 482411cee5929bd730368716207b13dfbd91e9fb /src/portaudio-streams.ads | |
| parent | 8acdbfe2299ec7a96db69ee0b2ec298401c92ae8 (diff) | |
Constants marked constant, redundant with clauses no longer redundant
Diffstat (limited to 'src/portaudio-streams.ads')
| -rw-r--r-- | src/portaudio-streams.ads | 36 |
1 files changed, 18 insertions, 18 deletions
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); |