antlr4 - ANTlr 4 の優先順位に関する問題

Question

これが欠陥なのか、制限なのか、それとも私が間違っているのかはわかりません...これについて議論する場所が間違っている場合は、事前にお詫び申し上げます。

「oil 0w prod または e12b/cpc」を解析するときに使用される文法の優先順位を変更して、「oil 0w (prod またはe12b/cpc)".

私は次の文法を持っています：

parse           : statement EOF ;

statement       : statement proximityOp statement        # ProximityExpression
                | statement booleanOperator statement    # BooleanExpression
                | statement IN delimited                 # InExpression
                | delimited                              # NoSynonyms
                ;

delimited       : operand
                | operand delimiters+=DELIMITER values+=WORD
                ;

operand         : value                                  # SingleValue
                ;

value           : WORD                                   # Term
                ;

booleanOperator : AND|OR|NOT|LOW_RELATION|SAME_RELATION|HIGH_RELATION;

proximityOp     : W_PROX_OP|D_PROX_OP|S_PROX_OP|P_PROX_OP;

LBRACE      : '{';
RBRACE      : '}';
WS              : (' '|'\t'|'\r'|'\n') -> skip;
AND     : 'and' | 'AND' | '.' ;
OR      : 'or' | 'OR' | ',' ;
NOT     : 'not' | 'NOT' ;
DIGIT       : ('0'..'9');
W_PROX_OP   : DIGIT 'w' | DIGIT 'W' ;
S_PROX_OP   : DIGIT 's' | DIGIT 'S' ;
P_PROX_OP   : DIGIT 'p' | DIGIT 'P' ;
D_PROX_OP   : DIGIT 'd' | DIGIT 'D' ;
DELIMITER       : '/' | ':';
SYN_DELIM       : '|' ;
USE_SYN         : '~' ;
USE_QUERYLET    : '$' ;
LPAREN      : '(';
RPAREN      : ')';
EXCLUSION       : '!' ;
EQUALS      : '=';
GREATER     : '>';
LOWER       : '<';
MT_EQUALS       : GREATER EQUALS ;
LT_EQUALS       : LOWER EQUALS ;
DOUBLE_EQUALS   : EQUALS EQUALS ;
SAME_RELATION   : '=/same' | '=/SAME';
HIGH_RELATION   : '=/high' | '=/HIGH';
LOW_RELATION    : '=/low' | '=/LOW';
IN              : WS 'in' WS;

COMMENTED       : LBRACE .*? RBRACE -> skip ;

WORD            : OTHER+ ;

OTHER           : ~[\{\}()!,/:|\[\] "=<>\~$];

ProximityExpression と BooleanExpression の順序を変更しましたが、優先順位には影響しませんが、変換された文法に影響することがわかります。

statement[int _p]
    :   ( {} delimited                                                  
        )
        ( options{preventepsilon=true;}:
          {4 >= $_p}? booleanOperator statement
                  | {3 >= $_p}? proximityOp statement
                  | {2 >= $_p}? IN delimited
        )*
    ;

ParserRuleContext をログに記録すると、文法での ProximityExpression と BooleanExpression の順序に関係なく、常に次のようになります。

parsing... oil 0w prod or e12b/cpc
IN.... ParseContext, depth=1: oil0wprodore12b/cpc<EOF>
IN.... ProximityExpressionContext, depth=2: oil0wprodore12b/cpc
IN.... NoSynonymsContext, depth=3: oil
IN.... DelimitedContext, depth=4: oil
IN.... SingleValueContext, depth=5: oil
IN.... TermContext, depth=6: oil
OUT... TermContext
OUT... SingleValueContext
OUT... DelimitedContext
OUT... NoSynonymsContext
IN.... ProximityOpContext, depth=3: 0w
OUT... ProximityOpContext
IN.... BooleanExpressionContext, depth=3: prodore12b/cpc
IN.... NoSynonymsContext, depth=4: prod
IN.... DelimitedContext, depth=5: prod
IN.... SingleValueContext, depth=6: prod
IN.... TermContext, depth=7: prod
OUT... TermContext
OUT... SingleValueContext
OUT... DelimitedContext
OUT... NoSynonymsContext
IN.... BooleanOperatorContext, depth=4: or
OUT... BooleanOperatorContext
IN.... NoSynonymsContext, depth=4: e12b/cpc
IN.... DelimitedContext, depth=5: e12b/cpc
IN.... SingleValueContext, depth=6: e12b
IN.... TermContext, depth=7: e12b
OUT... TermContext
OUT... SingleValueContext
OUT... DelimitedContext
OUT... NoSynonymsContext
OUT... BooleanExpressionContext
OUT... ProximityExpressionContext

ANTlr 4 リリースと github の今日のマスターの両方でこれを試しました。

デイブ