Antlr4预处理器文法与C文法的集成

Question

我是ANTLR4的新人。我正在使用Antlr4和Antlr4适配器来解析C文件并生成PSI树。

我知道C预处理器应该处理#include和#define部分，并将结果传递给C lexer和C parser。但是我需要为C.G4解析#include和#define，这样我的插件就可以在没有预处理器的情况下处理C文件。

我查看了这个链接并尝试了解决方案，但当它遇到预处理器语句以外的东西时，它就无法解决。

#include <stdio.h>

int main()
{
  int i,j;
  for(i=1;i<=9;)
     {
      for(j=1;j<=9;j)
         {
           if(i>=j)
            {
              printf("%d*%d=%d    ",j,i,j*i);
            }
            j++;
         }
          printf("\n");
          i++;
     }
    return 0;
}

有人能帮我提高语法能力吗？这样我的语法就可以在不使用任何预处理器的情况下将#include和#define解析为PSI树中的预处理器块。

谢谢

Whitespace
:   [ \t]+
    -> channel(HIDDEN)
;
Newline
:   (   '\r' '\n'?
    |   '\n'
    )
    -> channel(HIDDEN)
;

BlockComment
:   '/*' .*? '*/'
;

LineComment
:   '//' ~[\r\n]*
;


IncludeBlock
 :   '#' Whitespace? 'include' ~[\r\n]*
 ;

DefineStart
:     '#' Whitespace? 'define'
;

DefineBlock
 :   DefineStart (~[\\\r\n] | '\\\\' '\r'? '\n' | '\\'. )*
 ;

MultiDefine
:   DefineStart MultiDefineBody
;

MultiDefineBody
:   [\\] [\r\n]+ MultiDefineBody
|   ~[\r\n]
;

preprocessorDeclaration
:   includeDeclaration
|   defineDeclaration
;

includeDeclaration
:   IncludeBlock
;

defineDeclaration
:   DefineBlock | MultiDefine
;

comment
:   BlockComment
|   LineComment
;

declaration
:   declarationSpecifiers initDeclaratorList ';'
|   declarationSpecifiers ';'
|   staticAssertDeclaration
|   preprocessorDeclaration
|   comment
;

Answer 1

我试着解决了我自己的问题。

诀窍是换行符应该像下面的语法一样跳过，它不应该使用通道（隐藏）。

Newline
:   (   '\r' '\n'?
|   '\n'
)
-> channel(HIDDEN)
;

应更改为

Newline
:   (   '\r' '\n'?
    |   '\n'
    )
    -> skip
;