Компилятор для определения языка с использованием bison

Question

Я пытаюсь создать компилятор для пользовательского языка на основе C, который поддерживает определение областей переменных с использованием C++ и flex + bison. Я сделал лексер и синтаксический анализатор, но у меня возникли проблемы с решением проблемы с определением области. Я реализовал семантические действия в файле парсера бизонов, например.

while_stmt : WHILE LEFT_PAREN expr RIGHT_PAREN LEFT_CBRACE stmts RIGHT_CBRACE { $$ = new WhileStatement($3, *$6); } 
      ; 

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

Как это можно решить с помощью бизона? Сейчас я занимаюсь мозговым штурмом без решения. Благодарю.

Answer 1

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

Если вы попытаетесь сделать это во время разбора, вы попадаете в проблемы, которые вы объяснили. Разбор предназначен только для проверки соответствия последовательности токенов грамматике. Все остальное должно выполняться из дерева разбора, созданного во время разбора.

Это не конкретный вопрос о бизоне. Он применяется к любому компилятору и парсеру (который использует контекстные бесплатные грамматики).