2.9. Appendix A: Predefined Language Environment

The information in this section relates to Annex M paragraphs 60 to 73.

Q: M.(60)
Q: M.(61)
Q: M.(62)
Q: M.(63)
Q: M.(64)
Q: M.(65)
Q: M.(66)
Q: M.(67)
Q: M.(68)
Q: M.(69)
Q: M.(70)
Q: M.(71)
Q: M.(72)
Q: M.(73)

Q: M.(60)

The names and characteristics of the numeric subtypes declared in the visible part of package Standard. See A.1(3).

A: See items describing the integer and floating-point types supported.

Q: M.(61)

The accuracy actually achieved by the elementary functions. See A.5.1(1).

A: The elementary functions correspond to the functions available in the C library.

Q: M.(62)

The sign of a zero result from some of the operators or functions in Numerics.Generic_Elementary_Functions, when Float_Type'Signed_Zeros is True. See A.5.1(46).

A: The sign of zeroes follows the requirements of the IEEE 754 standard on floating-point.

Q: M.(63)

The value of Numerics.Float_Random.Max_Image_Width. See A.5.2(27).

A: Maximum image width is 649, see library file a-numran.ads.

Q: M.(64)

The value of Numerics.Discrete_Random.Max_Image_Width. See A.5.2(27).

A: Maximum image width is 80, see library file a-nudira.ads.

Q: M.(65)

The algorithms for random number generation. See A.5.2(32).

A: The algorithm is documented in the source files a-numran.ads and a-numran.adb.

Q: M.(66)

The string representation of a random number generator's state. See A.5.2(38).

A: See the documentation contained in the file a-numran.adb.

Q: M.(67)

The minimum time interval between calls to the time-dependent Reset procedure that are guaranteed to initiate different random number sequences. See A.5.2(45).

A: The minimum period between reset calls to guarantee distinct series of random numbers is one microsecond.

Q: M.(68)

The values of the Model_Mantissa, Model_Emin, Model_Epsilon, Model, Safe_First, and Safe_Last attributes, if the Numerics Annex is not supported. See A.5.3(72).

A: See the source file ttypef.ads for the values of all numeric attributes.

Q: M.(69)

Any implementation-defined characteristics of the input-output packages. See A.7(14).

A: There are no special implementation defined characteristics for these packages.

Q: M.(70)

The value of Buffer_Size in Storage_IO. See A.9(10).

A: All type representations are contiguous, and the Buffer_Size is the value of type'Size rounded up to the next storage unit boundary.

Q: M.(71)

External files for standard input, standard output, and standard error See A.10(5).

A: These files are mapped onto the files provided by the C streams libraries. See source file i-cstrea.ads for further details.

Q: M.(72)

The accuracy of the value produced by Put. See A.10.9(36).

A: If more digits are requested in the output than are represented by the precision of the value, zeroes are output in the corresponding least significant digit positions.

Q: M.(73)

The meaning of Argument_Count, Argument, and Command_Name. See A.15(1).

A: These are mapped onto the argv and argc parameters of the main program in the natural manner.