Re: Q re pack & aliased

[Vinzent Hoefler <ada.rocks@jlfencey.com>]

tmoran@acm.org wrote:

>  The case at hand is a DIBitmap in Windows.  It needs to be in packed, 24
>bit, format so I can pass it to Windows (not to mention size
>considerations).  I also need sometimes to make pointers to individual
>elements, so the components need to be aliased.

Well, why don't you do this, then?

|with Ada.Text_IO;
|
|procedure t is
|   type color is range 0 .. 2**8 - 1;
|   for color'Size use 8;
|
|   type triples is record
|      red,
|      green,
|      blue : color;
|   end record;
|   for triples'Size use 24;
|
|   type bunches is array (Integer range <>) of aliased triples;
|   x : bunches (1 .. 10);
|   for x'Size use 240;
|begin
|   x := (1 => (red => 0, green => 1, blue => 1), others => (0, 0, 0));
|   Ada.Text_IO.Put_Line (Integer'Image (x'Size / 80)
|                         & " should = 3, not 4");
|end t;

Probably some of the 'Size-attributes are not needed here (especially
the "x'Size use 240"-one), but I put them in to see if the compiler
warns about any of them. It doesn't and the generated code for the
assignment looks correct to me, too.

I don't know how this would fit into your existing code, but I guess,
a conversion between a 24-bit-type like you used before and the
triples-record is quite easy without breaking too much...


Vinzent.

-- 
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.