The implementation shall document
the range of effects for each situation that the language rules identify
as either a bounded error or as having an unspecified effect. If the
implementation can constrain the effects of erroneous execution for a
given construct, then it shall document such constraints. The documentation
may be provided either independently of any compilation unit or partition,
or as part of an annotated listing for a given unit or partition. See
also
1.1.3, and
1.1.2.
NOTE Among the situations to be documented
are the conventions chosen for parameter passing, the methods used for
the management of run-time storage, and the method used to evaluate numeric
expressions if this involves extended range or extra precision.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe