Ada Reference Manual (Ada 2022) — Legal Information

# H.2 Documentation of Implementation Decisions

#### Documentation Requirements

1/5
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.
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