bison - bison/yacc 中的继承属性

Question

如何在 bison/yacc 中使用继承的属性？
说，我有这样的语法 -
程序 -> stmts

我想做的是在 Bison 身上:
程序:stmts {$$.next = newLabel(); $1.next = $$.next; }

接下来是在结构中声明的属性，该类型被添加到联合体中。

Answer 1

有时您可以使用 mid-rule actions在自下而上的解析过程中模拟自上而下的遍历，但到目前为止，最简洁和最灵活的方法是在初始解析后使用任何树遍历组合似乎必要的方式在 AST 中填充属性。