M4(1)

НАЗВАНИЕ
m4 - макропроцессор

СИНТАКСИС


   m4  [-e] [-s] [-Bцелое] [-Hцелое] [-Sцелое] [-Tцелое] [-Dимя[=значение]

  [-Uимя] [файл ...]

ОПИСАНИЕ
Макропроцессор m4 предназначен для макрогенерации на предварительном проходе в языках RATFOR, C и других. Все файлы-аргументы обрабатываются по очереди. Если файлы не указаны, или в качестве имени файла задан -, то читается стандартный ввод. Обработанный текст записывается на стандартный вывод.

Допустимы следующие опции:

-e
Работать интерактивно. Прерывания игнорируются и вывод не буферизуется.

-s
Разрешить вывод операторов #line для C-препроцессора.

-Bцелое
Сменить размеры буфера повторного сканирования и буфера, в котором накапливаются аргументы. По умолчанию размер равен 4096.

-Hцелое
Сменить размер хэш-таблицы имен с 199 по умолчанию. Размер должен быть простым числом.

-Sцелое
Сменить размер стека вызовов со 100 элементов по умолчанию. Макрос занимает 3 ячейки в стеке вызовов; аргумент занимает одну ячейку.

-Tцелое
Изменить размер буфера лексем с 512 байт по умолчанию.

Чтобы эти опции действовали, они должны располагаться перед всеми именами файлов и перед опциями -D и -U:

-Dимя[=значение]
Эта опция определяет имя равным значению или пустой цепочке, если значение отсутствует.

-Uимя
Делает имя неопределенным.

Макровызовы имеют следующий вид:

	имя(арг1,арг2, ...аргn)

Левая скобка должна следовать непосредственно за именем макроса. Если за именем определенного макроса не следует (, то полагается, что макрос вызван без аргументов. Имя макроса может состоять из букв, цифр и символов подчеркивания, причем первым символом не может быть цифра.

В процессе сбора аргументов m4 игнорирует не заключенные в кавычки начальные пробелы, табуляции и символы перевода строки. Для того, чтобы запретить интерпретацию цепочки символов, их заключают между правой и левой одинарными кавычками:


	`эта цепочка не интерпретируется'

Значение цепочки символов, заключенной в кавычки, равно самой этой цепочке без внешних кавычек.

Когда имя макроса распознано, его аргументы собираются путем поиска парной правой скобки. Если аргументов оказалось меньше, чем используется в определении макроса, то последним аргументам будут даны пустые значения. В процессе сбора аргументов продолжается макрообработка и все не взятые в кавычки запятые и правые скобки, которые образовались в результате вложенных макровызовов, действуют так же, как будто они встретились в исходном тексте. После сбора аргументов значение макроса сканируется повторно, так как если бы оно было в исходном тексте.

M4 предоставляет следующие встроенные макросы, которые могут быть переопределены, но в этом случае их первоначальный смысл теряется. Значения встроенных макросов, если не оговорено противное, равны пустой цепочке.

define
Второй аргумент становится значением макроса с именем, равным первому аргументу. Если в значение макроса входят пары символов $n, где n - цифра, то при вызове этого макроса они заменяются на n-ый аргумент. Нулевым аргументом является имя макроса; пропущенные аргументы заменяются на пустые цепочки; $# заменяется количеством аргументов; $* заменяется на список всех аргументов, разделенных запятыми; $@ заменяется тоже на список аргументов, но каждый аргумент заключен в кавычки, являющиеся текущими.

undefine
Удаляет определения макросов, имена которых заданы в качестве аргументов.

defn
Возвращает заключенные в кавычки определения своих аргументов. Это полезно для переименования макросов, особенно встроенных.

pushdef
Действует аналогично define, но сохраняет все предыдущие определения.

popdef
Удаляет текущие определения своих аргументов и восстанавливает предыдущие, если они есть.

ifdef
Если первый аргумент определен, то значение будет равно второму аргументу, в противном случае третьему. Если третьего аргумента нет, то значе ние будет пустым. Слово unix заранее определено в версиях m4 для системы UNIX.

shift
Возвращает все свои аргументы кроме первого, зак лючив их в кавычки и отделив друг от друга запя тыми.

changequote
Первый и второй аргументы становятся новыми символами-кавычками вместо ` и '. Эти аргументы могут содержать до 5 символов. Changequote без аргументов возвращает первоначальные значения (то есть `').

changecom
Изменяет левый и правый маркеры комментария, которые первоначально равны # и символу перевода строки. Если нет аргументов, то механизм комментариев полностью подавляется. Если задан один аргумент, то он становится левым маркером комментариев, а правым маркером становится перевод строки. Если заданы два аргумента, то они становятся левым и правым маркерами. Маркеры комментариев могут содержать до 5 символов.

divert
M4 поддерживает 10 выходных потоков, под номерами 0-9. Окончательный результат получается конкатенацией всех этих потоков в порядке возрастания номеров; первоначально текущим потоком является нулевой. Макрос divert меняет выходной поток на поток с номером, заданным аргументом (в виде цепочки десятичных цифр). Вывод, направленный во все потоки кроме 0-9, теряется.

undivert
Вызывает немедленный вывод текста из потоков, номера которых указаны как аргументы, или из всех потоков, если аргументы не указаны. Выведенные потоки очищаются. Текст может быть выведен в любой поток.

divnum
Возвращает номер текущего выходного потока.

dnl Читает и удаляет символы до следующего символа перевода строки включительно.

ifelse
Имеет 3 или более аргументов. Если первый аргумент совпадает как цепочка символов со вторым, то результатом будет третий аргумент. Если нет, то, если аргументов более чем 4, то процесс повторяется с аргументами под номером 4, 5, 6 и 7 (4-ый и 5-ый аргументы сравниваются и т.д.) Если же аргументов не более 4, то результатом будет 4-ый аргумент или пустая цепочка при его отсутствии.

incr
Возвращает значение своего аргумента, увеличенное на 1. Аргумент, который должен быть цепочкой цифр, интерпретируется как десятичное число.

decr
Возвращает значение своего аргумента, уменьшенное на 1.

eval
Вычисляет свой аргумент как арифметическое выражение, используя 32-битную арифметику. Допустимые операции включают +, -, *, /, %; побитные операции &, |, ^, и ~; операции отношения; скобки. Восьмеричные и шестнадцатеричные числа могут быть заданы как в языке C. Второй аргумент указывает систему счисления для результата; по умолчанию результат десятичный. Если задан третий аргумент, то он определяет минимальное число цифр в результате.

len
Возвращает количество символов в своем аргументе.

index
Возвращает позицию в первом аргументе, с которой начинается второй аргумент. Позиции нумеруются с 0. В случае неудачи поиска возвращается -1.

substr
Возвращает подцепочку первого аргумента. Второй аргумент задает номер начального символа подцепочки (считая от 0), третий аргумент указывает длину. Если третий аргумент опущен, то подцепочка продолжается до конца первого аргумента. Если вторым и третьим аргументами задана подцепочка, выходящая за пределы данной цепочки, то результатом будет их пересечение.

translit
Заменяет в первом аргументе символы, которые входят во второй аргумент, на символы, стоящие в третьем аргументе на тех же позициях. Не допустимы никакие сокращения.

include
Возвращает содержимое файла с именем, заданным аргументом.

sinclude
То же самое, что и include, за исключением того, что не будет никакой реакции, если файл недоступен.

syscmd
Выполняет команду системы UNIX, заданную первым аргументом. Никакого значения не возвращается.

sysval
Код завершения последнего вызова syscmd.

maketemp
В подцепочку аргумента, имеющую вид XXXXX, вписывается идентификатор текущего процесса.

m4exit
Вызывает немедленный выход из m4. Первый аргумент, если он есть, будет кодом завершения; подразумевается 0.

m4wrap
Помещает свой первый аргумент в конец исходного текста, например:

	 m4wrap(`cleanup()')

Эффективен только один вызов m4wrap, из нескольких вызовов действие окажет только последний.

errprint
Выдает свой аргумент в стандартный протокол.

dumpdef
Выдает текущие имена и определения для указанных макросов, или для всех макросов, если нет аргументов.

traceon
Если аргументы не заданы, включает трассировку всех макросов (в том числе и встроенных); иначе включает трассировку только указанных макросов.

traceoff
Выключает трассировку глобально или для указанных макросов специально. Если трассировка некоторого макроса была включена вызовом traceon с аргументами, то и выключить его трассировку можно только вызовом traceoff с именем этого макроса в качестве аргумента, а не глобальным traceoff без аргументов.

СМ. ТАКЖЕ
cc(1), cpp(1).