Предикат writef/*

Предикат writef позволяет выполнить форматированный вывод; он ис-

пользует следующий формат:

writef(FormatString,Arg1,Arg2,...,ArgN) /* (i,i,i,...i) */

Аргументы Arg1,...,Argn должны быть константами или связанными пере-

менными, принадлежащим стандартным доменам. Сложные домены форматировать

нельзя. Строка форматирования содержит обычные символы и форматные специ-

фикаторы; обычные символы печатаются без модификации, а форматные специ-

фикаторы имеют следующую форму:

%-m.pf

Символы спецификаторов формата, следующие за знаком процента, явля-

ются необязательными и имеют следующее значение:

дефис (-) показывает, что поле слева выравнивается (по умолчанию

выравнивается справа).

m поле десятичное число, определяющее минимальную длину поля.

p поле десятичное число, описывающее либо точность

представления с плавающей точкой, либо максимальное

число символов, печатаемых в строке.

f поле описывает форматы, отличные от форматов, принятых по

умолчанию для данного объекта. Например, поле f может

описывать, какие целые числа должны быть напечатаны,

как беззнаковые или шестнадцатиричные числа, или какие

вещественные должны быть напечатаны в шестнадцатиричном

представлении.