6.8.2.4 Output File Functions

• void `f_bfxmode'(file f, mode b, mode d, mode x, mode m);

  writes the base x, d digits, b wide comma separated blocks representation of m on the f file if b and d are not less than zero and x is between 2 and 36 inclusive, does nothing otherwise

• void `f_byte'(file f, mode c);

  writes the c character on the f file

• void `f_etext'(file f, text s);

  writes the s string escaped for shell use on the f file

• void `f_flush'(file f);

  flushes buffered output data for the f file, all of it

• void `f_fxmode'(file f, mode d, mode x, mode m);

  writes the base x, d digits representation of m on the f file if d is not less than zero and x is between 2 and 36 inclusive, does nothing otherwise

• void `f_mode'(file f, mode m);

  writes the representation of m on the f file

• void `f_real'(file f, mode d, real x);

  writes the representation of x on the f file with no more than d digits if d is not less than 0, does nothing otherwise

• void `f_space'(file f, mode m);

  writes m space characters on the f file

• void `f_text'(file f, text s);

  writes the s string on the f file

• void `f_wbfxmode'(file f, mode w, mode b, mode d, mode x, mode m);

  writes the base x, d digits, b wide comma separated blocks representation of m on the f file if b and d are not less than zero and x is between 2 and 36 inclusive, does nothing otherwise. In the event of any output, at least w characters are written with the necessary white space inserted to the left of m representation if w is not negative and at least -w characters are written with the necessary white space inserted to the right of m representation otherwise.

• void `f_wmode'(file f, mode w, mode m);

  writes the representation of m on the f file. In the event of any output, at least w characters are written with the necessary white space inserted to the left of m representation if w is not negative and at least -w characters are written with the necessary white space inserted to the right of m representation otherwise.

• void `f_wpreal'(file f, mode w, mode a, mode d, real x);

  writes the representation of x on the f file with no more than d digits and at least a + 1 characters after the integral part if a is not zero (1 character for the period sign, a characters for the fractional part) if a and d are not less than zero, does nothing otherwise. In the event of any output, at least w characters are written with the necessary white space inserted to the left of x representation if w is not negative and at least -w characters are written with the necessary white space inserted to the right of x representation otherwise.

• void `f_xmode'(file f, mode x, mode m);

  writes the base x representation of m on the f file if x is between 2 and 36 inclusive, does nothing otherwise