Источник + (E) BNF = ast.json

Question

Есть ли способ разобрать исходную строку с пользовательским (e) bnf и получить AST как json? Позвольте мне объяснить, что мне нужно:

• У меня есть исходная строка и грамматика bnf (также как строка).
• Я ставлю EBNF как lexer.
• Добавить источник.
• Получите АСТ и сохраните его как JSON.

Answer 1

«EBNF как лексер» является бессмысленным. Но остальная часть вашего вопроса может быть истолкована так: «могу ли я получить парсер, управляемый EBNF, для производства АСТ в форме JSON?»

Несомненно.

Большинство генераторов парсеров принимают (E) BNF и «разбор». Большинство из них автоматически не производят АСТ; они заставляют программиста определять, как каждое правило должно генерировать узлы дерева. Те не будут работать для вашей задачи.

Некоторые из них генерируют АСТ как структуры данных автоматически, используя только BNF и исходный файл: ANTLR4 (я думаю), и наш DMS Software Reengineering Toolkit. Ни один из них не производит JSON напрямую, но в обоих случаях следует написать (один раз) общий древоход, который плюет JSON.

BNF DMS будет обрабатывать любую контекстно-свободную грамматику, используя только Правила BNF. ANTLR4 обрабатывает большинство грамматик, но имеет ограничения на то, что вы можете написать (например, некоторые виды левых рекурсий verboten), и требования для вас добавить дополнительную информацию о том, что грамматика не LL (1).

DMS будет напрямую экспортировать XML. См. this example.