如何使用ANTLRv4仅解析一些注释

我使用ANTLRv4开发应用程序分析Java源代码 . 我声称将所有单行注释与第一个令牌 TODO （例如 // TODO <some-comment> ）以及直接跟随声明匹配 .

Sample code:

class Simple {
    public static void main(String[] args) {
        // TODO develop cycle
        for (int i = 0; i < 5; i++) {
            // unmatched comment
            System.out.println("hello");
        }
        // TODO atomic
        int a;

        // TODO revision required
        {
            int b = a+4;
            System.out.println(b);
        }
    }
}

Result = map 这样：

"develop cycle" -> for(...){...}
"atomic" -> int a
"revision required" -> {...}

关于stackoverflow的official book (1)和类似主题（(2)，(3)，(4)，(5)，(6)）我尝试了几种方法 .

起初，我希望在(1)和(2)中描述特殊的COMMENTS Channels ，但发生错误 rule 'LINE_COMMENT' contains a lexer command with an unrecognized constant value; lexer interpreters may produce incorrect output .

我想以一种忽略所有单行注释但从 TODO 开始的方式解析源代码会更好 . 我希望可以将todo-comments直接添加到AST中以便使用侦听器/ walker . 我只需要注册监听器/ walker for TODO注释并提取以下语句，将两者都添加到所需的 map .

我已经修改了官方Java8 gammar两天但没有任何成功 . 编译器抱怨或AST错误处理 .

这是我做的更新：

// ...
COMMENT
    :   '/*' .*? '*/' -> skip
    ;

TODO_COMMENT
    :   '// TODO' ~[\r\n]*
    ;

LINE_COMMENT
    :   '//' ~[\r\n]* -> skip
    ;

有人可以帮我吗？语法不是我的一杯茶 . 提前致谢

EDIT1:

上面发布的语法修改符合条件且没有错误，但会生成以下树（请注意红色标记的节点，包括 int ）

EDIT2:

假设上面的代码示例，则会生成跟随错误的 parser.compilationUnit();

line 3:2 extraneous input '// TODO develop cycle;' expecting {'abstract', 'assert', 'boolean', 'break', 'byte', 'char', 'class', 'continue', 'do', 'double', 'enum', 'final', 'float', 'for', 'if', 'int', 'interface', 'long', 'new', 'private', 'protected', 'public', 'return', 'short', 'static', 'strictfp', 'super', 'switch', 'synchronized', 'this', 'throw', 'try', 'void', 'while', IntegerLiteral, FloatingPointLiteral, BooleanLiteral, CharacterLiteral, StringLiteral, 'null', '(', '{', '}', ';', '<', '!', '~', '++', '--', '+', '-', Identifier, '@'}
line 8:2 extraneous input '// TODO atomic;' expecting {'abstract', 'assert', 'boolean', 'break', 'byte', 'char', 'class', 'continue', 'do', 'double', 'enum', 'final', 'float', 'for', 'if', 'int', 'interface', 'long', 'new', 'private', 'protected', 'public', 'return', 'short', 'static', 'strictfp', 'super', 'switch', 'synchronized', 'this', 'throw', 'try', 'void', 'while', IntegerLiteral, FloatingPointLiteral, BooleanLiteral, CharacterLiteral, StringLiteral, 'null', '(', '{', '}', ';', '<', '!', '~', '++', '--', '+', '-', Identifier, '@'}
line 11:2 extraneous input '// TODO revision required;' expecting {'abstract', 'assert', 'boolean', 'break', 'byte', 'char', 'class', 'continue', 'do', 'double', 'enum', 'final', 'float', 'for', 'if', 'int', 'interface', 'long', 'new', 'private', 'protected', 'public', 'return', 'short', 'static', 'strictfp', 'super', 'switch', 'synchronized', 'this', 'throw', 'try', 'void', 'while', IntegerLiteral, FloatingPointLiteral, BooleanLiteral, CharacterLiteral, StringLiteral, 'null', '(', '{', '}', ';', '<', '!', '~', '++', '--', '+', '-', Identifier, '@'}

因此，语法很明显，因为它与简单的例子斗争