Question

我有以下语法

grammar Expr;   

prog: expr;

expr: LP expr RP
| expr LP expr RP
| LP expr RP expr
| expr '*' '{' ',' expr 
| expr op=NOT expr
| expr op=AND expr
| expr op=OR expr
| ID
;

NEWLINE:'\r'? '\n' ; 

NOT: '~';    
AND: '&';
OR: '|';

LP : '(';
RP : ')';

// lexer/terminal rules start with an upper case letter
ID
  :
    (
    'a'..'z'
    | 'A'..'Z'
    | '0'..'9' | ' '
    | ('+'|'-'|'*'|'/'|'_')
  | '='
  | '~'
  | '{'
  | '}'
  | ','
  )+ 
  ;

WS : [ \t\n]+ -> skip ;

我想提取被评估表达式的节点，并按照评估的顺序对其进行处理。因此，对于诸如1 * {A42，A53，A16，A3}＆amp;（A26 | A41）＆amp;（A51 = P＆amp; A2 = F | A7 = C）的表达式它将按以下顺序进行评估

A26 | A41 
A51 & A2=F
A51 & A2F | AF=C
1*{A42,A53,A16,A3}&(A26|A41)
1*{A42,A53,A16,A3}&(A26|A41)&(A51=P&A2=F|A7=C)

主要的兴趣是弄清楚表达式的评估顺序。

你怎么做到这一点。我尝试编写访问者实现，但不知道如何提取订单。

Answer 1

每次通过'expr'规则递归时，Antlr都会生成一个新的上下文对象。上下文的顺序将提供您想要的信息。包含ID的非null TerminalNode的每个上下文将表示评估成功。因此，在最简单的情况下，遍历解析树并在'enterEveryRule'中查找ID。在'enterEveryRule'和'exitEveryRule'中观察成功之间的最高拐点（升序切换到降序，反之亦然），以区分有效和未使用的连接符号。

FWIW，你的前三个规则是不明确的，第四个不太可能达到你的预期，5-7可以结合起来简化你的分析。

Antlr4如何捕获表达式的评估顺序

1 个答案: