Bison 1.35 - 9. Отладка вашего анализатора
[Содержание] [Назад] [Пред] [Вверх] [След] [Вперед]9. Отладка вашего анализатора
Если грамматика Bison компилируется правильно, но при запуске делает не то,
чего вы хотите, помочь вам выяснить, почему это происходит, может средство
трассировки анализатора yydebug
.
Чтобы включить компиляцию возможностей трассировки, вы должны определить
макрос YYDEBUG
как ненулевое значение при компиляции анализатора. Вы
можете использовать параметр компилятора `-DYYDEBUG=1' или поместить
`#define YYDEBUG 1' в секцию объявлений C файла грамматики
(см. раздел 4.1.1 Секция объявлений C). Вместо этого можно использовать
параметр `-t' при запуске Bison (см. раздел 10. Вызов Bison) или
объявление %debug
(см. раздел 4.7.8 Обзор объявлений Bison).
Мы полагаем, что вы всегда будете определять YYDEBUG
, так что отладка
всегда будет возможна.
Средство трассировки выводит собщения, используя макровызовы вида
YYFPRINTF (stderr, формат, аргументы
, где формат и
аргументы -- обычные формат и аргументы функции printf
.
Если вы определяете YYDEBUG
как ненулевое значение, но не определяете
YYFPRINTF
, автоматически включается <stdio.h>
и YYFPRINTF
определяется как fprintf
.
После того, как вы скомпилировали программу с использованием средств
трассировки, чтобы потребовать выполнения трассировки, нужно поместить
ненулевое значение в переменную yydebug
. Вы можете сделать это,
заставив это делать код на C (возможно, в функции main
), или изменить
это значение отладчиком C.
Каждый шаг, предпринимаемый анализатором, когда yydebug
не равно нулю,
даёт одну или две строки информации о трассировке, выдаваемой на stderr
.
Сообщения трассировки говорят о следующем:
-
При каждом вызове
yylex
: лексема какого вида прочитана. - При каждом сдвиге: глубина и всё содержимое стека состояний (см. раздел 6.5 Состояния анализатора).
- При каждой свёртке: по какому правилу произведена свёртка, и полное содержимое стека после этого.
Для осмысления этой информации полезно обратиться к файлу листинга, выдаваемому параметром Bison `-v' (см. раздел 10. Вызов Bison). Этот файл показывает смысл каждого состояния в терминах позиций в различных правилах, а также, что будет происходить в каждом состоянии при каждой возможной входной лексеме. Читая последовательные сообщения трассировки, вы можете видеть, что анализатор функционирует в соответствии с его спецификацией в файле листинга. В конце концов вы дойдёте до места, где происходит что-либо нежелательное, и увидите, какие части грамматики несут за это ответственность.
Файл анализатора -- это программа на C, и вы можете использовать отладчики C, но объяснить, что она делает непросто. Функция анализатора -- это интерпретатор машины с конечным числом состояний, и за пределами действий она выполняет один и тот же код снова и снова. В каком месте грамматики она работает, показывают только значения переменных.
Отладочная информация обычно содержит тип каждой прочитанной лексемы, но не
её семантическое значение. Вы можете также определить макрос YYPRINT
,
чтобы предоставить способ вывода значения. Если вы определяете YYPRINT
,
он должен принимать три аргумента. Анализатор будет передавать ему стандартный
поток ввода/вывода, числовой код типа лексемы и значение лексемы (из
yylval
).
Приведём пример YYPRINT
, подходящего для многофункционального
калькулятора (см. раздел 3.5.1 Объявления mfcalc
):
#define YYPRINT(file, type, value) yyprint (file, type, value) static void yyprint (FILE *file, int type, YYSTYPE value) { if (type == VAR) fprintf (file, " %s", value.tptr->name); else if (type == NUM) fprintf (file, " %d", value.val); }
[Содержание] [Назад] [Пред] [Вверх] [След] [Вперед]