Пример 24

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

	id	(	)	$
id	еЗ	еЗ	•>	•>
(	<•	<•		е4
)	еЗ	еЗ	•>	•>
$	<•	<•	е2	e1

Рис. 35. Матрица приоритета операторов с подпрограммами обработки ошибок

Сущность этих подпрограмм состоит в следующем.

el: /* Вызывается при отсутствии выражения в целом * / Вставляет id во входной поток

Диагностическое сообщение: отсутствует операнд

е2: /* Вызывается, когда выражение начинается с правой скобки */. Удалить ")" из входного потока

Диагностическое сообщение: несбалансированная правая скобка

еЗ: /* Вызывается, когда id или) следует за id или (*/ Вставляет во входной поток +

Диагностическое сообщение: отсутствует оператор

е4: /* Вызывается при завершении выражения левой скобкой */ Снимает (со стека

Диагностическое сообщение: отсутствует правая скобка

Рассмотрим работу этого механизма с неверной входной строкой id +). Первые дейст­вия, предпринимаемые синтаксическим анализатором — перенос id, свертка в Е и перенос +. После этих дейст­вий получаем следующую конфигурацию.

Стек Вход

$E+)$

Поскольку + • >), вызывается свертка для основы +. Подпрограмма проверки ошибок при свертке должна просмотреть наличие E слева и справа от оператора. Обнаружив, что один из них отсутствует, она выдает сообщение об ошибке "отсутствует операнд" и все равно выполняет свертку.

Теперь конфигурация принимает вид

Стек Вход

$E)$

Между $ и) нет отношений приоритетов, и запись на рис. 35 для этой пары симво­лов — е2. Подпрограмма е2 выводит диагностическое сообщение "несбалансированная правая скобка" и удаляет правую скобку из входного потока. При этом достигается ко­нечная конфигурация синтаксического анализатора

Стек Вход

$E $

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

Тем не менее, из-за своей простоты эта технология используется для разбора выраже­ний многими компиляторами.

Дата добавления: 2014-12-27