Определение
%token NUMBER
из входного файла для
yacc
преобразуется в оператор
#defin
e в выходном файле
y.tab.c
, поэтому
NUMBER
можно использовать в качестве константы в любом месте Си программы.
Yacc
выбирает такие значения, которые не будут смешиваться с символами ASCII.
При наличии синтаксической ошибки
yyparse
обращается к
yyerror
со строкой, содержащей загадочное сообщение: "syntax error" ("синтаксическая ошибка"). Предполагается, что функцию
yyerror
предоставляет пользователь: в нашей функции строка просто передается другой функции —
warning
, которая выдает некоторую дополнительную информацию. В последующих версиях
hoc
функция
warning
будет применяться непосредственно.
yyerror(s) /* called for yacc syntax error */
char *s;
{
warning(s, (char*)0);
}
warning(s, t) /* print warning message */
char *s, *t;
{
fprintf(stderr, "%s: %s", progname, s);
if (t)
fprintf(stderr, " %s", t);
fprintf(stderr, " near line %d\n", lineno);
}
Этим завершаются процедуры файла
hoc.y
. Трансляция программы для
yacc
происходит в два этапа:
$ yacc hoc.y
Выходной поток попадает в y.tab.c
$ сс y.tab.c -о hoc1
Выполняемая программа попадает в hoc1
$ hoc1
2/3
0.66666667
-3-4
hoc1: syntax error near line 1
$
Упражнение 8.1
Исследуйте структуру файла
y.tab.c
(для
hoc1
это составляет около 300 строк текста).
Внесение изменений — унарный минус
Ранее мы утверждали, что, работая с
yacc
, легко менять язык. В качестве примера добавим к
hoc1
унарный минус, чтобы выражения типа
-3-4
вычислялись, а не отвергались как синтаксические ошибки. Всего две строки нужно дополнительно включить в
hoc.y
. Добавляется новая лексема
UNARYMINUS
в ту часть грамматики, где задаются приоритеты, чтобы унарный минус имел наивысший приоритет:
%left '+' '-'
%left '*' '/'
%left UNARYMINUS /* новая лексема */
Грамматика увеличивается на одно правило для
expr
:
expr: NUMBER ($$= $1;}
| '-' expr %prec UNARYMINUS {$$=- $2} /* новое */
Определение
%prec
"говорит", что символ унарного минуса (т.е. знак
"-"
перед выражением) имеет тот же приоритет, что и
UNARYMINUS
(наивысший); действие заключается в изменении знака. Приоритет минуса между двумя выражениями устанавливается по умолчанию.
Упражнение 8.2
Добавьте операции
%
(взятие остатка) и унарный плюс к
hoc1
. Рекомендация: обратитесь к справочному руководству по
frexp(3)
.
Некоторые замечания относительно
make
Обидно, что приходится вводить две команды для компиляции
hoc1
. Хотя, конечно, нетрудно составить командный файл для такого задания, но есть лучший способ, который позднее можно распространить на тот случай, когда программа состоит из нескольких исходных файлов. Программа
make
читает описания взаимозависимости компонентов программы и позволяет создать ее действующую версию. Она проверяет время последней модификации каждого компонента, выясняет минимальный объем перекомпиляции, которую необходимо выполнить для получения новой действующей версии, и затем запускает процесс. Программа
make
разбирается в запутанных многошаговых процессах, в частности в
yacc
, поэтому ей можно давать задания, не уточняя отдельные шаги.
Особенно полезно обращаться к
make
, когда создаваемая программа настолько велика, что "располагается" в нескольких исходных файлах. Однако она удобна и для таких малых программ, как
hoc1
. Ниже приведены описания команд для
make
, рассчитанные на
hoc1
, которые
make
предполагает найти в файле с именем
makefile
.
$ cat makefile
hoc1: hoc.o
cc hoc.o -o hoc1
$
Здесь сообщается, что
hoc1
зависит от
hoc.o
и что
hoc1
создается из
hoc.o
с помощью команды
сс
, которая запускает компилятор Си, помещая выходной поток в файл
hoc1
. Программа
make
уже "знает", как преобразовать входной файл для
yacc
hoc.y
в выходной файл
hoc.o
:
$ make
Проделаем первый раз получение hoc1 с помощью make
yacc hoc.y
сс -с y.tab.c
rm y.tab.c
mv y.tab.o hoc.о
сс hoc.о -о hoc1
$ make
Попробуем еще раз
