UNIX — универсальная среда программирования - Керниган Брайан Уилсон

8.2 Этап 2: переменные и восстановление после ошибки

Следующий шаг переход от

к , который сводится к расширению памяти (в памяти хранится 26 переменных с именами от до ). Это довольно несложный и весьма полезный промежуточный этап. Мы также введем здесь процесс обработки ошибок. Если вы проверите , то убедитесь, что реакцией на синтаксические ошибки являются вывод сообщения и прекращение работы. Поведение же в случае арифметических ошибок типа деления на нуль достойно всяческого порицания:

Для реализации новых возможностей требуются лишь небольшие изменения: приблизительно 35 строк текста. Лексический анализатор

должен распознавать буквы как переменные, а грамматика содержать правила вывода вида

Выражение может содержать операцию присваивания; разрешены также многократные присваивания типа

Простейший способ хранения значений переменных создать массив из 26 элементов; однобуквенную переменную можно использовать в качестве индекса массива. Однако если анализатору предстоит обрабатывать и имена переменных, и значения в одном стеке, необходимо сообщить

, что элемент стека является объединением и , а не просто элементом типа . Это делается с помощью описания . Описания или подходят для определения стека из базовых типов как , но для типов объединения требуется описание , поскольку осуществляет контроль типов в выражениях вида .

Ниже приведена часть определения грамматики

для программы :

Из описания

следует, что элементы стека содержат или число с двойной точностью (обычный случай), или целое, являющееся индексом в массиве . В описании дополнительно указывается тип значения. В описании есть сведения о том, что выраж является элементом объединения , т.е. . Информация о типе позволяет обращаться к нужному элементу объединения. Обратите внимание: представляет собой правоассоциативную операцию, тогда как другие операции — левоассоциативные.

Обработка ошибок происходит в несколько этапов. Прежде всего производится проверка на нулевой делитель: если делитель равен нулю, вызывается процедура обработки ошибок

. Второй этап заключается в перехвате сигнала "переполнение вещественного" ("floating point exception"), который возникает при переполнении вещественного числа. Сигнал устанавливается в функции . Последний шаг восстановления после ошибки заключается в добавлении к грамматике правила вывода для ошибки. В грамматике слово зарезервировано; оно дает возможность анализатору осознать синтаксическую ошибку и восстановиться после нее. Если произойдет ошибка, в конце концов использует это правило, распознает ошибку как грамматически "правильную" конструкцию и, таким образом, восстановится. Действие заключается в установке признака в анализаторе, который позволяет вернуться ему назад в состояние осмысленного разбора. Восстановление после ошибки сложная проблема для всех анализаторов. Мы показали вам здесь лишь самые элементарные приемы и только обозначили возможности .

В грамматике

произошли незначительные изменения. Ниже приведена функция , дополненная обращением к . Оно позволяет запомнить то нормальное состояние, которое будет использовано при восстановлении после ошибки. В функции происходит соответствующее обращение к . (Описание и см. в разд. 7.5.)