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

Question

基本上复制了从如何访问antlr golang目标中的语法组件的所有内容

我有以下语法文件:

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 %dn", $a.v, $b.v)
}
| INT                   {
$v = $INT.int
fmt.Fprintf(os.Stdout, "got number=%dn", $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

以上两个程序工作正常。然而，如何打印最终的输出呢?我试过这个，它不工作:

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

我浏览了the ANTLR Mega Tutorial的整个部分，但是没有找到关于这个方面的细节。

Answer 1

e规则返回一个名为v的值:

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

所以，不做$e.int，你应该做$e.v:

stat
: e NEWLINE { fmt.Printf("=%dn", $e.v) }
| NEWLINE                   
;

但是，您也可以让条目规则stat返回一个值:

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("%dn", result.GetV())
}

代码测试良好。