Coco/R - генератор лексических и синтаксических анализаторов

Ada Coco/R - порт распространенного генератора Coco/R для генерации кода на языке Ада. Coco/R был изначально написан на/для Oberon, а затем портирован на множество других языков: Modula-2, Pascal, Delphi, C/C++, Java, C, Icon/UnIcon, Ruby.

Coco/R воспринимает атрибутную LL(1) грамматику языка в РБНФ (EBNF) и строит для нее низходящий рекурсивный синтаксический и лексический анализатор. По функциональности Coco/R покрывает использование пары утилит flex/yacc. Можно отметить следующие приемущества Coco/R над аналогичными программами:

  • Использование атрибутных грамматик позволяет вычислять атрибуты по мере синтаксического разбора
  • Мощное описание лексического сканера позволяет легко определять вложенные комментарии, игнорировать регистр символов, оперировать множествами символов, обрабатывать директивы (pragma) языка не описывая их в синтаксисе
  • Использывание EBNF упрощает описание языка
  • Поддержка обработки ошибок позволяет указывать в синтаксисе точки синхронизации и "слабые" (часто пропускаемые) лексемы
  • Структура рекурсивного анализатора отражает структуру обрабатываемого языка, позволяя легко отлаживать грамматику (в сравнении с табличными анализаторами).

На конференции при симпозиуме МДОЗМФ-2005 был заслушан доклад "Программная реализация языковых средств поддержки вычислительных экспериментов". А. Е. Гавва, В. О. Мищенко в котором рассматривалась возможность использования Coco/R.

Текущая версия библиотеки находится здесь. Доступна документация на русском языке. Автор Ada Coco/R и документации - Александр Гавва.