Контроллинг Параметр прихлебывая

Question

Я пытаюсь написать грамматики, которая поддерживает функции вызовов без использования скобок:

f x, y 

Как в Haskell, я хотел бы вызовы функций минимально хлебать их параметры. То есть, я хочу

g 5 + 3 

означает

(g 5) + 3 

вместо

g (5 + 3) 

К сожалению, я получаю второй разбор с этой грамматикой:

grammar Parameters; 

expr 
    : '(' expr ')' 
    | expr MULTIPLICATIVE_OPERATOR expr 
    | expr ADDITIVE_OPERATOR expr 
    | ID (expr (',' expr)*?)?? 
    | INT 
    ; 

MULTIPLICATIVE_OPERATOR: [*/%]; 
ADDITIVE_OPERATOR: '+'; 

ID: [a..z]+; 
INT: '-'? [0-9]+; 
WHITESPACE: [ \t\n\r]+ -> skip; 

Дерево разбора, которое я получаю, следующее:

Я думал, что первый в списке подпункт правила будут получать попытку первым. В этом случае expr ADDITIVE_OPERATOR expr появляется перед вспомогательным устройством ID, так почему же нижняя часть ID имеет более высокий приоритет?

Answer 1

В этом случае ANTLR не правильное преобразование правило (для устранения левой рекурсии и обрабатывать старшинство):

expr 
    : expr_1[0] 
    ; 

expr_1[int p] 
    : ('(' expr_1[0] ')' | INT | ID (expr_1[0] (',' expr_1[0])*?)??) 
     ({4 >= $p}? MULTIPLICATIVE_OPERATOR expr_1[5] 
     | {3 >= $p}? ADDITIVE_OPERATOR expr_1[4] 
    )* 
    ; 

приводит к (expr (expr_1 a (expr_1 5 + (expr_1 3))))

правильно будет:

expr 
    : expr_1[0] 
    ; 

expr_1[int p] 
    : ('(' expr_1[0] ')' | INT | ID (expr_1[5] (',' expr_1[5])*?)??) 
    ({4 >= $p}? MULTIPLICATIVE_OPERATOR expr_1[5] 
    | {3 >= $p}? ADDITIVE_OPERATOR expr_1[4] 
)* 
    ; 

, ведущий к (expr (expr_1 a (expr_1 5) + (expr_1 3)))

Я не уверен, что это ошибка в ANTLR4 или компромисс алгоритма преобразования. Возможно, нужно написать вопрос в ANTLR4 jira.

Чтобы решить вашу проблему, вы можете просто поместить правильно преобразованную грамматику в свой код, и она должна работать. Объяснение преобразования правила найдено в «Окончательном справочнике ANTLR4» на страницах 249ff (и, возможно, где-то в Интернете).