antlr - 如何创建规则以匹配 2^3 以创建幂运算符？

Question

鉴于我具有以下语法，我将如何添加规则以匹配诸如2^3创建power运算符之类的内容？

negation : '!'* term ;

unary : ('+'!|'-'^)* negation ;

mult : unary (('*' | '/' | ('%'|'mod') ) unary)* ;

add : mult (('+' | '-') mult)* ;

relation : add (('=' | '!=' | '<' | '<=' | '>=' | '>') add)* ;

expression : relation (('&&' | '||') relation)* ;

// LEXER ================================================================

HEX_NUMBER : '0x' HEX_DIGIT+;

fragment 
FLOAT: ;

INTEGER : DIGIT+ ({input.LA(1)=='.' && input.LA(2)>='0' && input.LA(2)<='9'}?=> '.' DIGIT+ {$type=FLOAT;})? ;

fragment
HEX_DIGIT : (DIGIT|'a'..'f'|'A'..'F') ;

fragment
DIGIT : ('0'..'9') ;

我试过的：

我尝试了类似power : ('+' | '-') unary'^' unary的方法，但这似乎不起作用。

我也试过mult : unary (('*' | '/' | ('%'|'mod') | '^' ) unary)* ;，但这也不起作用。

Answer 1

要给予^高于 的优先级negation，请执行以下操作：

pow      : term ('^' term)* ;

negation : '!' negation | pow ;

unary    : ('+'! | '-'^)* negation ;

Answer 2

如果要考虑语法中已经存在的右结合性，还可以使用递归：

   pow  :   term ('^'^ pow)?
        ;

   negation : '!'* pow;

   ...