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
might 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.
5 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