Re: GNAT Ada.Streams Bug?

[tmoran@acm.org]

>All kinds of possibilities are available when _you_ control the format.
  Anytime you need a certain external form you should plan on writing
your own 'Read et al.  It may happen to work out that the default
routines supplied by the compiler do what you want, but that shouldn't
be your starting assumption.  Things with odd sizes likely won't work,
and composite objects will be inefficient.  If you use a record rep
clause to allow you to do IO on a multibyte object, you ought to write
your own 'Read et al for that object.  eg:

    for Partition_Type use
       record
          Flags          at 0 range 0..7;
          CHS_Start      at 1 range 0..23;
          Kind           at 4 range 0..7;
          CHS_End        at 5 range 0..23;
          LBA_Start      at 8 range 0..31;
          LBA_Size       at 12 range 0..31;
       end record;

  subtype External_Partition_Type
    is Ada.Streams.Stream_Element_Array(1 .. Partition_Type'size/8);
  function Internalize is new Ada.Unchecked_Conversion
    (Source=>External_Partition_Type, Target=>Partition_Type);
  function Externalize is new Ada.Unchecked_Conversion
    (Source=>Partition_Type, Target=>External_Partition_Type);

    procedure Partition_Type_Read
                (Stream : access Ada.Streams.Root_Stream_Type'class;
                 Item   : out Partition_Type) is
        External : External_Partition_Type;
        Last : Ada.Streams.Stream_Element_Offset;
    begin
        Read(Stream.all, External, Last);
        if Last /= External'last then
            raise ...
        end if;
        Item := Internalize(External);
    end Partition_Type_Read;

    for Partition_Type'Read use Partition_Type_Read;

IMHO