Pegjs: [Подвиг. Треб.] Отмена процесса синтаксического анализа

Привет. Я не понимаю цель и контекст (почему) вашего запроса. Бетонный образец может помочь.

Синтаксический анализ распознает строку как часть языка и, при необходимости, создает AST или оценивает (интерпретирует) выражение в форме: parse(text) --> result
Эта функция _parse () _, как правило, не может быть биективной функцией. Следовательно, нет никакой гарантии, что вы можете отменить синтаксический анализ, так как вы можете отбросить детали во время синтаксического анализа, например.

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

Хотя лично я понимаю желание, чтобы программное обеспечение могло генерировать то, что оно может анализировать, как резюмировал @pjmolina , это выходит за рамки этой библиотеки (генератора синтаксического анализатора), поэтому я закрою это.

Я предлагаю вам просто создать свой собственный генератор кода, используя существующий для языка, который вы анализируете (вам нужно убедиться, что AST правильный).

Этот билет имеет большой смысл. Какую еще библиотеку вы ожидаете для преобразования AST в исходный код с учетом грамматики синтаксиса PEG.js? Да, в настоящее время это невозможно. Большая часть AST создается в действиях, и отменить их невозможно. Но когда есть синтаксис для генерации AST, о котором мы говорили в другом выпуске, он внезапно не только обретает смысл, но и становится возможным реализовать.

StringTemplate , например, является одним из многих инструментов, которые вы можете использовать для такой задачи: генерация кода из AST.

Я не думаю, что StringTemplate читает грамматику в синтаксисе PEG.js.

Контекст:

Для того, чтобы вернуться к исходному тексту в AST (А ВТОРЕФЕРАТ S yntax Т РЗЭ) будет недостаточно. Например, учитывая грамматику JavaScript, эти два утверждения
обычно имеют один и тот же AST, хотя их синтаксис немного отличается,

// statement 1
var x = 5

// statement 2 - with semicolon
var x = 5;

Чтобы иметь возможность вернуться к исходному тексту, действия парсера должны быть инъективной функцией .

Предложения:

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

Может быть, в будущем, если у pegjs будет какое-то автоматическое создание дерева синтаксического анализа
это было бы возможно.

Построй свой собственный

Предполагая, что внутри встроенных действий pegjs доступна полная информация о позиции
вы можете вставить свои собственные встроенные действия для создания CST / ParseTree
и преобразовать его в AST только на этапе пост-синтаксического анализа.
Если у вас есть CST, воссоздание исходного ввода довольно тривиально ...

Оцените библиотеку синтаксического анализа с автоматическим созданием CST / дерева синтаксического анализа

Здесь вы можете найти несколько кандидатов:
https://tomassetti.me/parsing-in-javascript/

Я решил еще раз взглянуть на это, но он должен быть пост-v1, прежде чем его можно будет реализовать, потому что это будет момент, когда API будет стабильным, и я могу выпустить пакет, который предлагает базовую общую структуру AST ( например, @pegjs/ast ?). Этот пакет может использоваться разработчиками парсеров для получения собственного AST, а при необходимости может использоваться для его перевода обратно в исходный код другим инструментом (я думаю, @pegjs/reverse )

@futagoza, как дела?

@ Coffee2CodeNL pegjs v1 еще не вышел.

Возьмем, к примеру, этот парсер преобразования SVG в PEGJS: https://github.com/nidu/svg-transform-parser
Было бы замечательно иметь возможность полностью изменить процесс и преобразовать AST обратно в строку,
поэтому преобразования SVG можно легко изменять, а не просто анализировать.
Одним из подобных инструментов является Augeas .

Может кто-нибудь порекомендовать инструменты для генерации кода из AST?

@lzane Какой AST?

@ polkovnikov-ph некоторые настроенные AST, созданные PEG

Есть ли какой-либо инструмент, который читает грамматику PEG, может выполнять работу по генерации кода?