0

我有这个程序

{
    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：

来自 ANTLRWorks 的 AST

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

我期待 AST 看起来像这样预期 AST

4

1 回答 1

2

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

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

于 2013-03-19T13:14:37.510 回答