Re: unconstrainted arrays

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

* Alfred Hilscher wrote:
>type s (len : integer) is record
>            X,Y : Integer;
>            A : My_Array (1..Len);
>     end record;
>
>PTs : s (10);
>
>But this would add one extra component to the record (Len). Is there a
>way to avoid this extra component ? Maybe a pragma or rep-specs? Its
>encapsulated within a package body for HW handling where the extra
>component is unwanted.

type hw_s10 is record
    X,Y : Integer;
    A : My_Array (1..10);
end record;
for hw_s10 use record
   x at 0 range 0 .. 15;
   y at 2 range 0 .. 15;
   a at 4 range 0 .. 159;
end record;

If you are requireing a special layout, describe it directly. If the
discriminant occurs in the record at an other place: No problem:

type pascal_len is range 0 .. 255;
type pascal_string (len : pascal_len) is record
   value : String (1 .. len);
end record;
for pascal_string use record
   len at 0 range 0 .. 7;
end record;
pragma Pack (pascal_string);