如何从 AST 节点获取行号(Jison)

Question

我正在使用Jison构建一个简单的计算器语言，其中包括变量。我希望这些变量的工作方式类似于JavaScript，也就是说，您必须在第一次使用var关键字对其进行初始化。用我的语言，我想在变量重新初始化时显示错误。

var myVar = 4
var myVar = 3
// Error, cannot reinitialise variable myVar on line 2

我的问题是，如何获取 AST 节点的行号？在我的 grammer 文件中，我可以将行号从解析器传递到我的 AssignVariable 对象，但我想知道是否有更好的方法来做到这一点？

stmt
    : 'PRINT' expr
        { $$ = new yy.Print($2) }
    | 'VAR' 'IDENTIFIER' 'ASSIGN' expr
        { $$ = new yy.AssignVariable($2, $4, $3); $$.lineNo = yylineno }
    | 'IDENTIFIER' 'ASSIGN' expr
        { $$ = new yy.SetVariable($1, $3, $2) }
    ;

我还需要编译器中其他节点的行号，以进行其他类型的错误检查。

从这个问题中得出的更高级的结论可能是：使用 Jison（或类似）检测和处理编译时错误的最佳方法是什么？

Answer 1

我能够通过在编译器中对生成的解析器进行猴子修补，将行号注入我的 AST 节点。这是扎克建议的。脸掌

// load in your generated parser
var parser = require('./parser');
// store the current performAction function
parser._performAction = parser.performAction;
// override performAction
parser.performAction = function anonymous(yytext,yyleng,yylineno,yy,yystate,$$,_$) {
    // invoke the original performAction
    var ret = parser._performAction.call(this, yytext, yyleng, yylineno, yy, yystate, $$, _$);
    // Do your own stuff
    if (this.$._type) {
        this.$.lineNo = yylineno;
    }
    return ret;
}