Очистка состояния синтаксического анализатора сгенерированного bison синтаксического анализатора
Я использую лексер C, созданный Flex, и синтаксический анализатор C++, созданный Bison. Я модифицировал синтаксический анализатор, чтобы он принимал только строковый ввод.
Я вызываю функцию синтаксического анализатора yyparse() в цикле и читаю построчно вводимые пользователем данные. Я останавливаю цикл, если на входе "выход".
Проблема, с которой я сталкиваюсь, заключается в том, что, когда ввод не соответствует ни одному правилу, анализатор внезапно останавливается, и на следующей итерации начинается то же состояние, ожидая завершения правила, которое было остановлено (из-за синтаксической ошибки).
Он отлично работает, если ввод действителен и соответствует правилу парсера.
При синтаксической ошибке я переопределил функцию yyerror(), которая отображает простое сообщение об ошибке.
Как мне очистить состояние парсера, когда входные данные не соответствуют ни одному правилу парсера, чтобы на следующей итерации парсер запускался заново?
Ответы 2
Согласно моей книге Lex & Yacc есть функция yyrestart (file).
Иначе (цитирую абзац из книги:
Это означает, что вы не можете перезапустить лексер, просто вызвав yylex (). Вы должны сбросить его в состояние по умолчанию, используя BEGIN INITIAL, отбросить любой вводимый текст, помещенный в буфер с помощью unput (), и в противном случае организовать так, чтобы следующий вызов input () начал читать новый ввод.
Интересный вопрос - у меня есть синтаксический анализатор, который можно скомпилировать с помощью Bison, Byacc, MKS Yacc или Unix Yacc, и я не делаю ничего особенного, чтобы иметь дело с сбросом грамматики, независимо от того, удастся он или нет. Я не использую токенизаторы Flex или Lex; это написано вручную, но работает строго по строкам. Итак, я должен согласиться с Gamecat; наиболее вероятная причина проблемы - лексический анализатор, а не сам синтаксический анализатор.
(Если вы хотите получить мой код, вы можете загрузить SQLCMD с веб-сайта IIUG (Международная группа пользователей Informix). Хотя для полной версии продукта требуется Informix ESQL / C, грамматика в принципе может быть преобразована в отдельную тестовую программу. К сожалению, однако, похоже, что я не запускал этот тест какое-то время - есть некоторые проблемы с тестовой компиляцией. Некоторые имена элементов структуры были изменены в апреле 2006 года, плюс есть проблемы с привязкой. так что грамматику можно снова протестировать автономно.)
Всегда приятно, если кто-то со мной соглашается ;-).