The Ada language allows for certain
target machine dependences in a controlled manner. Each Ada implementation
must document many characteristics and properties of the target system.
This International Standard contains specific documentation requirements.
In addition, many characteristics that require documentation are identified
throughout this International Standard as being implementation defined.
Finally, this International Standard requires documentation of whether
implementation advice is followed. The following clauses provide summaries
of these documentation requirements.