Re: Read booleans from streams

[sk <noname@myob.com>]

Hi,

>Actually it were the characters '0', '2' and '7' 
>that were stored in the file, so it was rather
>
>0001_1000,0001_1010,0001_1000,0001_1010,
>        ^         ^         ^         ^
>        0         0         0         0
>0001_1111,0001_1010,0001_1000,0001_1011
>        ^         ^         ^         ^
>        1         0         0         1

Yes, stupid me, CHARACTER not byte, doh ! (Kind
of lucky that there was any correspondence at all :-).


>The only problem is that it seems impossible to state
>"for Boolean_Aggregate'Read use Boolean_Aggregate_Read;".

Have you tried :-

procedure Read_Boolean_Aggregate ( ...);
-- SPEC ONLY

for Boolean_Aggregate'Read use Boolean_Aggregate_Read;".

-- FULL BODY
procedure Read_Boolean_Aggregate (...) is
begin
   ...

-- 
-------------------------------------
-- Merge vertically for real address
-------------------------------------
s n p @ t . o
 k i e k c c m
-------------------------------------