Re: Ada.Streams.Read Length Paramenter is not IN?

[lutz@iks-jena.de (Lutz Donnerhacke)]

* Ted Dennison wrote:
>In article <slrn9mvbej.hs.lutz@taranis.iks-jena.de>, Lutz Donnerhacke says...
>>OTOH each T'Read or T'Input procedure exactly knows how many
>>Storage_Elements are needed to fullfill the request. Why is this
>>information not given to the Stream.Read procedure?
>
>It is. That information is Item'length.

Yep. I got this idea a few hours ago. But now it's too late to cancel my
proof of stupity.

>One of the nifty things about Ada is that we don't need a separate
>parameter to specify how large a passed-in buffer is.

I was confused by functions returning arrays. I didn't get at once, that an
OUT parameter implicitly provides the discriminants as IN parameters.

>You may protest that there's no guarantee that they won't give you a
>bigger buffer than they need, but the guarantee is implied.

Don't worry. I got it.