Yacc восстановления после ошибок

@golosalex · Регистрация: 02.07.2013

Студворк — интернет-сервис помощи студентам

использую клона yacc для шарпа Gppg и пытаюсь реализовать восстановления после ошибок для языка си.

statement
: labeled_statement {$$.node = $1.node;}
| compound_statement {$$.node = $1.node;}
| expression_statement {$$.node = $1.node;}
| selection_statement {$$.node = $1.node;}
| iteration_statement {$$.node = $1.node;}
| jump_statement {$$.node = $1.node;}
| error ';' {$$.node = new ErrorStatement(); $$.node.AddChilds($1.node,$2.node); yyerrok();}
;

вот такое правило (error ';') более-мение помогает восстанавливаться внутри блока по точке с запятой

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

@golosalex · 19.04.2023, 11:02 **[ТС]**

вроде нашел решение как сделать лучше:

statement
: labeled_statement {$$.node = $1.node;}
| compound_statement {$$.node = $1.node;}
| expression_statement {$$.node = $1.node;}
| selection_statement {$$.node = $1.node;}
| iteration_statement {$$.node = $1.node;}
| jump_statement {$$.node = $1.node;}
| error ';' {$$.node = new ErrorStatement(); $$.node.AddChilds($1.node,$2.node); yyerrok();}
| error '}' {$$.node = new ErrorStatement(); $$.node.AddChilds($1.node); yyerrok(); ReturnLastToken();}
| error '{' {$$.node = new ErrorStatement(); $$.node.AddChilds($1.node); yyerrok(); ReturnLastToken();}

решил восстанавливаться по одному из трех символов ; { } в случае скобок возвращать позицию лексера на единицу назад. тогда если скобки расставлены более-менее верно, то TU парсится.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	Установка Emscripten SDK (emsdk) и CMake на Windows для сборки C и C++ приложений в WebAssembly (Wasm) 8Observer8 30.01.2026 Чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. Система контроля версиями Git. . .	Подключение Box2D v3 к SDL3 для Android: физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .
Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	Влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .	Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .

@golosalex 151 / 135 / 29 Регистрация: 02.07.2013 Сообщений: 967

	Yacc восстановления после ошибок 13.04.2023, 15:43. Показов 583. Ответов 1 Метки нет (Все метки) использую клона yacc для шарпа Gppg и пытаюсь реализовать восстановления после ошибок для языка си. statement : labeled_statement {$$.node = $1.node;} \| compound_statement {$$.node = $1.node;} \| expression_statement {$$.node = $1.node;} \| selection_statement {$$.node = $1.node;} \| iteration_statement {$$.node = $1.node;} \| jump_statement {$$.node = $1.node;} \| error ';' {$$.node = new ErrorStatement(); $$.node.AddChilds($1.node,$2.node); yyerrok();} ; вот такое правило (error ';') более-мение помогает восстанавливаться внутри блока по точке с запятой есть ли решения получше? если например, забудут точку с запятой в конце блока, то будет вообще беда, закрывающая скобка и другие токены будут съедены. если кто-то писал парсер с восстановлением ошибок, то поделитесь опытом. 0

@golosalex 151 / 135 / 29 Регистрация: 02.07.2013 Сообщений: 967
	19.04.2023, 11:02 [ТС]
	вроде нашел решение как сделать лучше: statement : labeled_statement {$$.node = $1.node;} \| compound_statement {$$.node = $1.node;} \| expression_statement {$$.node = $1.node;} \| selection_statement {$$.node = $1.node;} \| iteration_statement {$$.node = $1.node;} \| jump_statement {$$.node = $1.node;} \| error ';' {$$.node = new ErrorStatement(); $$.node.AddChilds($1.node,$2.node); yyerrok();} \| error '}' {$$.node = new ErrorStatement(); $$.node.AddChilds($1.node); yyerrok(); ReturnLastToken();} \| error '{' {$$.node = new ErrorStatement(); $$.node.AddChilds($1.node); yyerrok(); ReturnLastToken();} решил восстанавливаться по одному из трех символов ; { } в случае скобок возвращать позицию лексера на единицу назад. тогда если скобки расставлены более-менее верно, то TU парсится. 0