Re: Reading a C record from socket - chicken / egg problem

[wojtek@power.com.pl (Wojtek Narczynski)]

> Declare a structure corresponding to the fields version .. reserved
> inclusive (use Interfaces.C.unsigned_char). and read it from the socket.
> 
> Calculate the actual contentLength and paddingLength.
> 
> Use a declare block:
> 
>   declare
>     type content is array (1 .. contentLength) of Interfaces.C.unsigned_char;
>     type padding is array (1 .. paddingLength) of Interfaces.C.unsigned_char;
>     type remainder is record
>       c : content;
>       p : padding;
>     end record;
>     r : remainder;
>   begin
>     -- read r from the socket and process it
>   end;
> 
> I know this means doing 2 reads but that's the minimum.

Looks like this is not enough, because content should be read to heap
while padding should be read to stack. This adds another read.

I must take a good look at how this all is done in the original C
code...

Regards,
Wojtek