Семантика целого числа при сканировании

Для целого в алгоритме предусмотрен генератор условного кода 2. Под кодом здесь понимается класс целых. Часто, при обработки целых требуется не только их указатель(код) целого числа, но и значение - int.value. Учитывая, что числовые значения (value) целого в выражении могут быть разными, при лексической обработки в этом случае необходимо каждый раз генерировать кортеж <адрес, значение>. Как только будет получен начальный адрес для первого числового символа кортежа, с этого начального адреса резервируется память в таблице символов.

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

Семантическое правило с определением атрибуты значения для целого имеет вид:

O ® dW (dW)* y1,

где

W – семантическая атрибута записи (Write) очередного цифрового символа в символьную строку S.

y1 – семантическая атрибута преобразования символьной строки в числовой эквивалент. Этой атрибутой может быть уже рассмотренная стандартная функция atoi(S), которая принимает входной формальный параметр S и возвращает значение целого n.

Такая удобная атрибутная организация семантики позволяет практически без изменения общего алгоритма работать не только с целыми, но и десятичными числовыми константами. Только вместо атрибутной библиотечной функции atoi(S) будет выступать библиотечная функция atof(S), которая возвращает числовые константы с плавающей точкой. В этом случае ветка сканера с кодом 1 будет превращена в граф (рис. 5.9):

Рис. 5.9.

Каждая ветка на графе помечена не только терминальным символом, но и процедурой записи (W) очередного терминала в S^R (стек с обратной записью). Определённая таким образом строка S принимается в качестве входного формального параметра встроенной функции atof(S), которая возвращает десятичное число n – значение очередной обрабатываемой числовой константы.

Наконец, если не пользоваться стандартными библиотечными функциями, то необходимо воспользоваться методикой преобразования цепочки символов в числовой эквивалент, описанный в р.5.1.