Declarative printer generation in grammar in the Backus-Naur form

Abstract

Одним из декларативных подходов к заданию средств форматирования кода (принтеров) является метод синтаксических шаблонов, которые являются примерами форматирования синтаксических конструкций целевого языка. Для извлечения шаблонов из предоставленного образца кодовой базы на целевом языке с желаемым стилем форматирования используется синтаксический анализатор. Недостатком существующей системы является то, что для получения принтера нового целевого языка необходимо вручную реализовать языкозависимую прослойку между ядром системы и представлением синтаксического дерева, получаемого в результате работы анализатора. Этот процесс трудоёмок и требует глубоких знаний о системе. Данная работа посвящена автоматическому получению такой прослойки для случая, когда синтаксический анализатор генерируется по грамматике языка в форме Бэкуса-Наура. Реализация выполнена в виде расширения плагина Grammar-Kit для среды разработки IntelliJ IDEA, позволяющего по грамматике в форме Бэкуса-Наура получить и синтаксический анализатор, и принтер для целевого языка. В рамках апробации разработанная система была использована для получения принтеров по грамматикам учебного языка While и языка Erlang.

One of the declarative approaches to development of code formatting tools (prettyprinters) is a method of syntactic templates, which are examples of formatting syntactic constructions of the target language. To extract templates from the sample of a codebase with desired formatting a parser is used. The drawback of the existing system is the necessity of manual implementation of the language-aware interlayer between the core system and the representation of a syntactic tree. This may become a significant undertaking. This degree paper addresses the issue of an automatic obtaining of that interlayer in case of parser is generated in grammar in the Backus-Naur form. Implementation is done as an extension of Grammar-Kit plugin for IntelliJ IDEA IDE, which is used for both parser generation and declarative code formatting tool generation in grammar in the Backus-Naur form. As part of the approbation the developed system was used for printer generation for While language and Erlang language.