Сохранение и восстановление состояния анализатора вручную

Question

Я установил систему гибких/бизон, которая может запускаться и анализировать через yyparse и может использоваться внутри системы repl-type. Когда пользователь входит в определенное состояние (скажем: определение метода), и была выполнена ошибка systax, я ищу способ справиться с этим таким образом, что зубр может действовать так, как пользователь никогда не входил в линии вообще.

Например:

1> class foo { <enter> 
2> a = 1; <enter> 
3> asfasdfa <enter> 

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

Я знаю, что зубры yyparse() функция имеет несколько локальных значений стека состояний (yyvsp, yyssp и yylsp), который используется для отслеживания состояния, но не кажется, нет способа изменить это за пределами стандартной функциональности, как YYERROR и т.д.

Мой вопрос: возможно ли это сделать в удаленном режиме для этих состояний сохранения/восстановления в бизоне, а если нет, то какой лучший способ справиться с такими ошибками.

Answer 1

bison не имеет возможности сохранять и восстанавливать состояния парсера. Возможно, вы могли бы создать его путем обратного проектирования скелета бизона, но это было бы очень много работы, и это также было бы довольно хрупким, поскольку время выполнения бизонов может измениться без предупреждения. (Чтобы быть справедливым, вам не нужно обновлять бизон, но вы, вероятно, хотите, чтобы это было возможно.)

Однако разбор довольно быстрый. В среде REPL вы не замечаете время синтаксического анализа. Таким образом, вам нечего останавливать, просто переписывая ввод с самого начала, вплоть до строки перед ошибкой.

Однако есть улов: парсеры-бизоны не обязательно обнаруживают синтаксическую ошибку до тех пор, пока не будет прочитан токен (хотя иногда это происходит, в зависимости от точной природы ошибки). Таким образом, вы не можете быть уверены, что последняя строка, прочитанная, представляет собой строку, на самом деле содержащую синтаксическую ошибку.

Answer 2

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

http://www.gnu.org/software/bison/manual/html_node/Push-Decl.html