属性文法
这里addtype是把在符号表中找到id的入口然后把id.entry的那一项的属性值赋值为 L.in的属性值
这条规则看上去是特殊的,他并没有个返回值
所以,我们为了统一,可以用一个 L 的虚拟属性来接受addtype的返回值(注意:这个虚拟的综合属性是我们臆想出来的,本身不存在,用来统一形式的,因为其他的属性语句都是把一个值赋给另一个值这种形式的,总而言之是为了好看,但是,这个虚拟属性也是很重要的,对于属性依赖图这是不可以忽略的,别忘记了这个虚拟属性!!!)
写作 L.S = addtype(id.entry,L.in)
属性依赖
带注释的语法树
属性计算
依赖图
树遍历
一边扫描
S-属性文法
L-属性文法
翻译模式