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