ANTLR

ANTLR (от англ. ANother Tool for Language Recognition — «ещё одно средство распознавания языков») — генератор нисходящих анализаторов для формальных языков. ANTLR преобразует контекстно-свободную грамматику в виде РБНФ в программу на C++, Java, C#, JavaScript, Go, Swift, Python^[5]. Используется для разработки компиляторов, интерпретаторов и трансляторов.

ANTLR
Тип	Компилятор компиляторов
Авторы	Терренс Парр и другие
Разработчик	Terence Parr[вд]
Написана на	Java[1]
Первый выпуск	февраль 1992
Аппаратная платформа	Кроссплатформенное программное обеспечение
Последняя версия	4.13.2 (3 августа 2024)[2]
Репозиторий	github.com/antlr/antlr4
Состояние	в разработке
Лицензия	модифицированная лицензия BSD[вд][3][4]
Сайт	antlr.org (англ.)

Преимущества

• Свободное программное обеспечение.
• Использование единой нотации для описания лексических и синтаксических анализаторов.
• Применение нисходящего, а не восходящего анализа.
• Удобство работы с абстрактным синтаксическим деревом.
• Предоставление сообщений об ошибках и восстановление после них.
• Наличие визуальных сред разработки (ANTLR Works, ANTLR Studio, плагинов к Eclipse и IntellliJ IDEA), которые позволяют создавать и отлаживать грамматики, поддерживают подсветку синтаксиса, автодополнение, визуальное отображание грамматик, строящееся в реальном времени по мере ввода, отладчик, рефакторинг.

Применение

ANTLR широко используется в крупных известных продуктах:

• Реализация языков программирования Groovy, Jython, Processing, Apex
• Анализ языков запросов в системах баз данных Hibernate HQL, Cassandra, Hive, Pig
• Анализ языков программирования в средах разработки: NetBeans C++, Oracle SQL Developer IDE, IntelliJ IDEA Clion.

Краткая справка элементов языка

(...) подправило
(...)* повторение подправила 0 или более раз
(...)+ Повторение подправила 1 или более раз
(...)? подправило, может отсутствовать
{...} семантические действия (на языке, использующемся в качестве выходного - напр., Java)
[...] параметры правила
| оператор альтернативы
.. оператор диапазона
~ отрицание
. любой символ
= присваивание
: метка начала правила
; метка конца правила

Пример простейшей грамматики

grammar T;//имя грамматики, должно совпадать с названием файла
//нетерминальные символы:
msg : 'name' ID ';' 
	{
		System.out.println("Hello, "+$ID.text+"!");
	} ;
//терминальные символы
ID: 'a'..'z' + ;//произвольное ( но >=1) количество букв
WS: (' ' |'\n' |'\r' )+ {$channel=HIDDEN;} ; // пробел, перенос строки, табуляция

См. также

• LL-грамматики
• NetBeans IDE
• Синтаксический анализ
• JavaCC
• SableCC
• Coco/R
• Bison