Annex M (informative)

Abstract

The Ada language allows for certain machine dependences in a controlled manner. Each Ada implementation must document all implementation-defined characteristics:

• Whether or not each recommendation given in Implementation Advice is followed. See 1.1.2(37).

• Capacity limitations of the implementation. See 1.1.3(3).

• Variations from the standard that are impractical to avoid given the implementation’s execution environment. See 1.1.3(6).

• Which code_statements cause external interactions. See 1.1.3(10).

• The coded representation for the text of an Ada program. See 2.1(4).

• The control functions allowed in comments. See 2.1(14).

• The representation for an end of line. See 2.2(2).

• Maximum supported line length and lexical element length. See 2.2(14).

• Implementation-defined pragmas. See 2.8(14).

• Effect of pragma Optimize. See 2.8(27).

• The sequence of characters of the value returned by S’Image when some of the graphic characters of S’Wide_Image are not defined in Character. See 3.5(37).

• The predefined integer types declared in Standard. See 3.5.4(25).

• Any nonstandard integer types and the operators defined for them. See 3.5.4(26).

• Any nonstandard real types and the operators defined for them. See 3.5.6(8).

• What combinations of requested decimal precision and range are supported for floating point types. See 3.5.7(7).

• The predefined floating point types declared in Standard. See 3.5.7(16).

• The small of an ordinary fixed point type. See 3.5.9(8).

• What combinations of small, range, and digits are supported for fixed point types. See 3.5.9(10).

• The result of Tags.Expanded_Name for types declared within an unnamed block_statement. See 3.9(10).

• Implementation-defined attributes. See 4.1.4(12/1).

• Any implementation-defined time types. See 9.6(6).

• The time base associated with relative delays. See 9.6(20).

• The time base of the type Calendar.Time. See 9.6(23).

• The timezone used for package Calendar operations. See 9.6(24).

• Any limit on delay_until_statements of select_statements. See 9.6(29).