41语法制导的定义 4.1.4属性依赖图 例 int id,id2,id3的分析树(虚线)的依赖图 (实线) L→>L,id,in=L.in; D addType(identry, Lin) T 4 type in 5 L 6 in7 8 id 33 entry in 9 10 id 2 2 entry id 1 entry
4.1 语法制导的定义 4.1.4 属性依赖图 • 例 int id1 , id2 , id3的分析树(虚线)的依赖图 (实线) L→ L1 , id L1 .in = L.in; D addType (id.entry, L.in) int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 in 7 8 4 type in 5 6
41语法制导的定义 4.1.4属性依赖图 例 int id,id2,id3的分析树(虚线)的依赖图 (实线) L→)id D addType(identry, Lin) T 4 type in 5 L 6 in7 8 id 33 entry in 9 10 id 2 2 entry id 1 entry
4.1 语法制导的定义 4.1.4 属性依赖图 • 例 int id1 , id2 , id3的分析树(虚线)的依赖图 (实线) L→ id D addType (id.entry, L.in) int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 in 7 8 4 type in 5 6
41语法制导的定义 41.5属性计算次序 1、拓扑排序:结点的一种排序,使得边只会从该次 序中先出现的结点到后出现的结点 例1,2,3,4,5,6,7,8,9,10 D T 4 type in5 l 6 in7 8 id 33 entry in 9 10 id 2 2 entry id 1 entry
4.1 语法制导的定义 4.1.5 属性计算次序 1、拓扑排序:结点的一种排序,使得边只会从该次 序中先出现的结点到后出现的结点 • 例 1,2,3,4,5,6,7,8,9,10 D int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 in 7 8 4 type in 5 6
41语法制导的定义 41.5属性计算次序 2、属性计算次序:构造输入的分析树 D T 4 type in5 l 6 in7 8 id 33 entry in 9 10 id 2 2 entry id 1 entry
4.1 语法制导的定义 4.1.5 属性计算次序 2、属性计算次序:构造输入的分析树 D int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 in 7 8 4 type in 5 6
41语法制导的定义 41.5属性计算次序 2、属性计算次序:构造输入的分析树,构造属性依 赖图 D T 4 type in5 l 6 in7 8 id 33 entry in 9 10 id 2 2 entry id 1 entry
4.1 语法制导的定义 4.1.5 属性计算次序 2、属性计算次序:构造输入的分析树,构造属性依 赖图 D int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 in 7 8 4 type in 5 6