使用ANTLR解析嵌套块结构

Question

我有这个程序

{
    run_and_branch(Test1)
    then
    {
    }
    else
    {
    }
    {
      run_and_branch(Test2)
      then
      {
      }
      else
      {
        run(Test3);
        run(Test4);
        run(Test5);
      }
    }
    run_and_branch(Test6)
    then
    {
    }
    else
    {
    }

    run(Test7);
    {
      run(Test8);
      run(Test9);
      run(Test_10);
    }

 }

以下是我的ANLTR语法文件

prog    
:   block EOF;

block   
:   START_BLOCK END_BLOCK -> BLOCK|
        START_BLOCK block* END_BLOCK -> block*|
        test=run_statement b=block* -> ^($test $b*)|
        test2=run_branch_statement THEN pass=block ELSE fail=block -> ^($test2 ^(PASS $pass) ^(FAIL $fail))
;

run_branch_statement

    :   RUN_AND_BRANCH OPEN_BRACKET ID CLOSE_BRACKET -> ID;
run_statement 

    :   RUN OPEN_BRACKET ID CLOSE_BRACKET SEMICOLON -> ID;

THEN    :    'then';

ELSE    :    'else';

RUN_AND_BRANCH     :     'run_and_branch';

RUN     :    'run';

START_BLOCK  
    :    '{' ;
END_BLOCK  
    :    '}' ;  

OPEN_BRACKET 
    :    '(';
CLOSE_BRACKET
    :   ')';    
SEMICOLON 
    :   ';'
    ;

ID  :   ('a'..'z'|'A'..'Z'|'_'|'0'..'9') (':'|'%'|'='|'\''|'a'..'z'|'A'..'Z'|'0'..'9'|'_'|'-'|'.'|'+'|'*'|'/'|'\\')*
    ;


WS  :   ( ' '
        | '\t'
        | '\r'
        | '\n'
        ) {$channel=HIDDEN;}
    ;

使用ANTLWorks我得到以下AST：

正如您在AST中看到的那样，Test1和Test2之间没有依赖关系。我想让AST显示这些信息，以便我可以遍历AST并获得测试依赖结构

我期待AST看起来像这个

Answer 1

ANTLR无法正常工作。 ANTLR生成树而不是图形，因此无法在语法级别表示所需的输出。此外，如果您尝试编写尾递归规则以链接控制流，则会很快遇到堆栈溢出异常，因为ANTLR会生成递归下降解析器。

您需要获取ANTLR生成的AST并对其执行单独的控制流分析以获得控制流图。