Re: Rep Spec Report with ASIS

[tmoran@acm.org]

>think it wouldn't be terribly hard to walk throught the declarations,
>find record type definitions, and generate a Representation
>Specification Report for each one - would it?
  Do you mean scan
    type R is record
      A : Boolean;
      B : Integer;
    end record;
and produce something like
    for R use record
      B at 0 range 0 .. 15;
      A at 2 range 0 .. 7;
    end record;
Only the compiler can do that because only the compiler knows how
big its Integer, Boolean, etc are and how it optimally arranges
them in a non-rep-speced record.

>After a bit of digging around, we found that the compiler being ported TO
>provides the ability to CREATE a rep spec for a selected record - that is,
>it writes the "for use", and "at" clauses IN THE CODE. Unfortunately, this
>is NOT what she wants. She wants a separate report.
  Can't she write a q&d program to scan and print out just the parts
she wants?

  Another possibility, useful for the FROM compiler that doesn't
produce such a nice output, would be to scan and generate a program
that creates an instance X of each record type, then uses the
Storage Place Attributes to print.  eg.
    type R is record
      A : Boolean;
      B : Integer;
    end record;
    X_R : R;
begin
  Ada.Text_IO.Put_Line("A" & " at" & Integer'image(X_R.A'Position)
    & " range" & Integer'image(X_R.A'First_Bit)
    & " .." & Integer'image(X_R.A'Last_Bit)
    & ";");
  Ada.Text_IO.Put_Line("B" & " at" & Integer'image(X_R.B'Position)
    & " range" & Integer'image(X_R.B'First_Bit)
    & " .." & Integer'image(X_R.B'Last_Bit)
    & ";");