Grammar-Kit от JetBrains

[hell0w0rd]

Кто-то разбирался с их грамматикой для парсера?
У меня всего пара вопросов:
что такое pin
extends(".*expr")=expr - зачем это делать

arg_list ::= '(' [ !')' expr  (',' expr) * ] ')' {pin(".*")=1}

Является ли это правило аналогом

arg_list ::= '(' expr_list ')'
expr_list ::= expr (',' expr_list)*

И если да - зачем существует первый вариант, чем он лучше кроме отсутствия второго правила?

 

[AnrDaemon]

Что такое пин я не знаю, а по правилу - да. Первый вариант существет (формально) для коротких незаморочных конструкций.
Но в указаном варианте больше подходит второй. Только поправь его до

expr_list ::= expr (',' expr)*

 

[hell0w0rd]

Зачем править? меня интересует рекурсия, аргументов может быть сколько угодно.. в общем я так понял это другой синтаксис для описания рекурсивных правил

 

[AnrDaemon]

Рекурсия в ABNF не допускается. Только итерация.
В оригинальном определении ещё одна проблема, которую я поначалу не углядел.

'(' [ !')' expr  (',' expr) * ] ')'

дословно означает "скобки, в которых может быть выражение, не начинающееся со скобки, но его может и не быть, тогда скобки будут пустые".
В итоге определение противоречит самому себе. после скобки не может идти скобка, но выражения там может и не быть.
Но это же дурдом. Должно быть отдельное описания синтаксиса "выражения", указывающее, что оное выражение не может начинаться со скобки, в результате это всё упрощается до

arg_list ::= '(' [ expr  (',' expr) * ] ')' {pin(".*")=1}

Согласись, такое гораздо легче читать?

 

[hell0w0rd]

Хз, это пример от JetBrains, к сожалению мне не хватает знаний для споров о возможности рекурсии, но вот это правило

arg_list ::= '(' expr_list ')'
expr_list ::= expr (',' expr_list)*

явно рекурсивно, подобным правилом можно описать списки аргументов, elseif-ов, case-ов в switch и тд.

 

[AnrDaemon]

expr_list ::= expr (',' expr)*

 

[hell0w0rd]

expr_list ::= expr (',' expr)*

это матчится только на expr и expr, expr.

 

[AnrDaemon]

Нет. * - любое количество повторений. От нуля и больше.

 

[hell0w0rd]

AnrDaemon, да, ты прав. Но на счет рекурсии - не прав. Во всяком случае касательно этого парсера, он рекурсию поддерживает.
pin, на сколько я понял указывает на каком месте внутри грамматики останавливаться и показывать ошибку

 

[AnrDaemon]

В общем, любопытный проект. Я как-то искал нечто подобное. Спасибо за ссылку.