Go中使用antlr语法规则解析表达式

Using antlr grammar rules to parse expression in Go

基本上复制了

中的所有内容

我有以下语法文件:

grammar Expr;

@parser::header {
import (
    "os"
)
}

@parser::members {

func eval(left int, op antlr.Token, right int) int {
    if   (op.GetText() == "*") {
        return left * right
    } else if (op.GetText() == "+") {
        return left + right
    } else if (op.GetText() == "-") {
        return left - right
    } else {
        return 0
    }
}
}

stat:   e NEWLINE
    |   NEWLINE                   
    ;

e returns [int v]
    : a=e op=('+'|'-') b=e  {
                $v = eval($a.v, $op, $b.v)
                fmt.Fprintf(os.Stdout, "got args=%d %d\n", $a.v, $b.v)
                }
    | INT                   {
                $v = $INT.int
                fmt.Fprintf(os.Stdout, "got number=%d\n", $v)
                }    
    ; 

MUL : '*' ;
DIV : '/' ;
ADD : '+' ;
SUB : '-' ;

ID  :   [a-zA-Z]+ ;      // match identifiers
INT :   [0-9]+ ;         // match integers
NEWLINE:'\r'? '\n' ;     // return newlines to parser (is end-statement signal)
WS  :   [ \t]+ -> skip ; // toss out whitespace

这是测试代码:

package main

import (
    "os"
    "./parser"
    "github.com/antlr/antlr4/runtime/Go/antlr"
)

func calc(inputfile string) {
    input, _ := antlr.NewFileStream(inputfile)// Setup the input
    lexer := parser.NewExprLexer(input)// Create the Lexer
    stream := antlr.NewCommonTokenStream(lexer, antlr.TokenDefaultChannel)
    p := parser.NewExprParser(stream)// Create the Parser
        p.Stat()
}

func main() {
    calc(os.Args[1])
}

这些是我的命令 运行:

java org.antlr.v4.Tool -Dlanguage=Go -o parser -no-listener Expr.g4
go build expr_t.go

以上2个程序运行正常。但是,如何打印最终输出?我试过这个但它不起作用:

stat:   e NEWLINE {
    $v = $e.int
    fmt.Printf("=%d\n", $v)
                }
    |   NEWLINE                   
    ;

我浏览了 The ANTLR Mega Tutorial 的整个部分,但无法找到方面的详细信息。

e 规则 return 是一个名为 v 的值:

e returns [int v]
 : ...
 | ...
 ;

所以,你应该 $e.v:

而不是 $e.int
stat
 : e NEWLINE { fmt.Printf("=%d\n", $e.v) }
 | NEWLINE                   
 ;

但是,您也可以让条目规则 stat return 一个值:

stat returns [int v]
 : a=e NEWLINE {$v = $a.v}
 | NEWLINE     {$v = 0}
 ;

然后在您的代码中,执行如下操作:

func calc(inputfile string) {
    input, _ := antlr.NewFileStream(inputfile)
    lexer := parser.NewExprLexer(input)
    stream := antlr.NewCommonTokenStream(lexer, antlr.TokenDefaultChannel)
    p := parser.NewExprParser(stream)
    result := p.Stat()
    fmt.Fprintf(os.Stderr, "%s", result.GetText())
    fmt.Printf("%d\n", result.GetV())
}

代码测试正常。