!standard  10.2.1(4.2/2)                             12-08-13    AC95-00237/00
!class confirmation 12-11-21
!status received no action 12-11-21
!status received 12-08-13
!subject There is no Preelaborate_Initialization aspect in Ada 2012
!summary

!appendix

From: Vadim Godunko
Sent: Monday, August 13, 2012  12:55 AM

Is it intended? Why?

Absence of Preelaborable_Initialization aspects looks strange, it forces to mix
pragma and aspects styles for the same type.

***************************************************************

From: Adam Beneschan
Sent: Monday, August 13, 2012  12:06 PM

From AI05-0229-1:

    [Editor's Note: This pragma does not work well as a type-related
    aspect, as it is view dependent. In particular, even if a partial
    view does not have the P_I property, the full view might have the
    P_I property. That is contrary to 13.1(11/2) for operational and
    representation aspects. (In the absence of a change to 13.1(11/2),
    we'd have a compatibility problem.)

    We could try to invent new rules specifically for the P_I aspect
    to handle this, but it is more work than this could possibly be
    worth (there is no requirement for this pragma to be an aspect).

    Thus we are retaining the pragma and not defining an aspect.]

***************************************************************

From: Randy Brukardt
Sent: Monday, August 13, 2012  12:24 PM

Thanks Adam, you saved me digging that out.

We did try to redefine P_I so that it would work as an aspect, but we ended up
with privacy violations or cases where types didn't have P_I but would have with
the Ada 2005 definition. That is, it just didn't work. We concluded that we'd
need two aspects to make this work: one for "visible" P_I and one for "inherent"
P_I, and that just seemed like too much complication (not to mention wording
work). Or we could have defined a whole new kind of aspect, which obviously was
too much work as we were doing this late in the process. We thought there was
more important things to spend our efforts on.

***************************************************************

From: Vadim Godunko
Sent: Monday, August 13, 2012  2:16 PM

Thank you! Nice to see that it was not forgotten.

***************************************************************