J.8 Mod Clauses

1

mod_clause::= at mod static_expression;

2
A record_representation_clause of the form:

3

     for r use
         record at mod a
             ...
         end record;

4
is equivalent to:

5

     for r'Alignment use a;
     for r use
         record
             ...
         end record;