Re: Memory representation of variable length record components

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

* Lutz Donnerhacke wrote:
>Easy question: How to map a IP structure to a given memory location?
>*grin*
>Easier question: How to map a Pascal string ...

Really easy:
with Ada.Text_IO, System.Address_To_Access_Conversions;
use  Ada.Text_IO;

procedure t is
   subtype Length is Natural range 0 .. 255;
   
   type pstring (len : Length) is record
      s : String (1 .. len);
   end record;
   
   pragma Pack (pstring);
   
   ps1   : pstring (1);
   ps100 : aliased pstring (100);
   
   type pstring_ptr is access all pstring;
   pa100 : pstring_ptr := ps100'Access;
   
   package C is new System.Address_To_Access_Conversions (pstring);
   pa1   : C.Object_Pointer := C.To_Pointer (ps1'Address);
   
   raw : String (1 .. 6) := Character'Val (5) & "Hello";
   praw : C.Object_Pointer := C.To_Pointer (raw'Address);
begin
   Put_Line ("ps1"   & Natural'Image (ps1'Size));
   Put_Line ("ps100" & Natural'Image (ps100'Size));
   Put_Line ("pa100" & Natural'Image (pa100.all'Size));
   Put_Line ("pa1"   & Natural'Image (pa1.all'Size));
   Put_Line ("praw" & Natural'Image (praw.all'Size) & praw.s);
   for i in Character'Val (0) .. Character'Val (10) loop
      raw (raw'First) := i;
      Put_Line ("praw" & Natural'Image (praw.all'Size) &
                         Natural'Image (praw.len) &
                         Natural'Image (praw.s'Length));
   end loop;
end t;

Now I only need to know how to use representation clauses with an unusual
discriminat depended memory layout.