附录一 第二篇第5章语义分析中语义子程序的设计(C型程序)

1、附录1，2，5章语义分析中的语义子程序设计(C型节目)实践问题5.2基于自上而下翻译方案的属性值计算给定翻译方案的每个语义子节目(C型)可以按如下方式设计：Void _ 1 ()/* r.i3360=t.val */NR=分析堆栈tops。节点序列号；U=注释分析树NR。语法符号序号；NT=注释分析树NR。左兄弟节点号；NTval=search(NT，val)；/*参见实习5.1，如下*/Tval=属性信息表NTval。属性值；PTval=Dpointer(NTval，NULL )；/*参见实习5.1，如下*/A=a1属性信息表A=A，u，I，I，Tval，PTval，NR ；/*参见实习5.

2、1，如下*/注释分析树NR。属性信息链=Apointer(A，NULL )；/*由以下两行组成，下面是*/* pa=a pointer (a，null )；/指向属性节点注释分析树NR。属性信息链=pA*/Void _2() /* E.val:=R.s */ NR=CurR；/*CurR是全局变量*/Nrs=发现(NR，s)；Rsval=属性信息表NRs。属性值；PRs=Dpointer(NRs，NULL )；NE=注释分析树NR。父节点编号；U=注释分析树NE。语法符号序号；A=a1属性信息表A=A，u，val，I，Rsval，PRs，NE ；注释分析树NE。属性信息链=Apointer(A

3、，NULL )；void _ 3()/* R1 . I :=r . I t . val */NR1=分析堆栈tops。节点序列号；U=注释分析树NR1。语法符号序号；NR=注释分析树NR1。父节点；Nri=搜索(NR，I)；NT=注释分析树NR。左兄弟节点号；NTval=search(NT，val)；PTval=Dpointer(NTval，NULL )；PRi=Dpointer(NRi，pt val )；R1ival=属性信息表NRi。属性值属性信息表格NTval。属性值；A=a1属性信息表A=A，u，I，I，R1 ival，pri，nr1 ；注释分析树NR1。属性信息链=Apointer(

4、A，NULL )；Void _4() /* R.s:=R1.s */ NR1=CurR；Nr1s=发现(nr1，s)；R1sval=属性信息表NR1s。属性值；PR1sval=Dpointer(NR1s，NULL )；NR=注释分析树NR1。父节点编号；CurR=NRU=注释分析树NR。语法符号序号；A=a1属性信息表A=A，u，s，I，R1 R1sval，PR1sval，NR ；/*注释分析树中节点NR的属性信息链中的属性信息表编号a链*/PA=Apointer(A，NULL )；/*属性节点*/注释分析树NR。属性信息链=AppendAlink(pA，注释分析树NR)。属性信息链)；voi

5、d _ 5()/* R1 . I :=r . I-t . val */NR1=分析堆栈tops。节点序列号；U=注释分析树NR1。语法符号序号；NR=注释分析树NR1。父节点；Nri=搜索(NR，I)；NT=注释分析树NR。左兄弟节点号；NTval=search(NT，val)；R1ival=属性信息表NRi。属性值-属性信息表格NTval。属性值；PTval=Dpointer(NTval，NULL )；PRi=Dpointer(NRi，pt val )；A=a1属性信息表A=A，u，I，I，R1ival，PRi，NR1 ；注释分析树NR1。属性信息链=Apointer(A，NULL )；vo

6、id _ 6()/* r 33603360=e r . s :=r . I */NR=注释分析树N。父节点编号；CurR=NRU=注释分析树NR。语法符号序号；Nri=搜索(NR，I)；Rsval=属性信息表NRi。属性值；PRi=Dpointer(NRi，NULL )；A=a1属性信息表A=A，u，s，I，rsval，pri，NR ；注释分析树NR。属性信息链=Apointer(A，NULL )；void _ 7()/* t 33603360=(e t . val 3360=e . val )*/NE=注释分析树N。左兄弟节点号；NEval=search(NE，val)；Eval=属性信息表

7、NEval。属性值；PEval=Dpointer( NEval，NULL )；NT=注释分析树NE。父节点编号；U=注释分析树NT。语法符号序号；A=a1属性信息表A=A，u，val，I，eval，peval，nt ；注释分析树NT。属性信息链=Apointer(A，NULL )；void _ 8()/* t 33603360=n t . val 3360=n . lex val */ nval=STOI(Inputk)；/*STOI将数字字符串转换为整数值*/在VT中，U=n的序列号：A=A 1；属性信息表A= A，u，lexval，I，nval，NULL，N ；NT=注释分析树N。父节点；

8、U=注释分析树NT。语法符号序号；Pnval=Dpointer(A，NULL )；A=A 1；属性信息表A= A，U，val，I，nval，Pnval，NT ；注释分析树NT。属性信息链=Apointer(A，NULL )；其中，AppendAlink函数的定义如下：属性节点类型*AppendAlink(属性节点类型*back，属性节点类型*front)/* front中最后一个节点后的属性信息链back链*/P=frontQ=NULLWhile(p)！=NULL) q=p；P=p-下一个属性节点；If(q)Q-下一个属性节点=后端；ElseFront=backReturn front实践问题

9、5.4生成赋值语句目标代码赋值语句目标代码生成以下c型医生代码程序：Void基于LR(1)分析技术生成赋值语句目标代码()/*输入符号字符串输入读缓冲区*/设定初始值/*在输入符号字符串中设置解析树结束节点符号字符串，并在属性信息表格*/m=0；n=0；for(j=1)；J=输入符号字符串长度；j) m=m 1；N=N 1；注释分析树N=N，Inputm VT的序列号，0，0，0，null ；/*请参阅实验问题5.1，其中Inputm取得VT的序号，如下所示：for(k=1；K=VT中的元素总数；k)If(Inputm=VTk)在VT中，Inputm的序列号=k；布列克； */If(Input

10、m表示I) A=A 1；属性信息表格A=a，VT中I的序列号，name，s，input m，null，n ；/*见实习5.1 */注释分析树N。属性信息链=a指针(a，null )；/*见实习5.1 */塔斯=0；分析堆栈tops=状态0，#节点序列号0 ；/* #没有相应的节点*/scontinue=1；/*真；移动时继续*/r continue=1；/*真；回约时继续*/k=0；/* k表示输入符号字符串位置指针*/While(Scontinue) k=k 1；在VT中，R=Inputk的序列号；S=分析堆栈tops。状态；状态。While(Rcontinue)/* Rwhile循环*/

11、act=ACTIONSR；If(act=999) /*acc成功*/输出“成功退出，输出结果目标代码”；scontinue=0；r continue=0；/*false*/Continue/*切换到Rwhile循环开头*/If(act0) tops=tops 1；分析堆栈tops=act，k ；/*配置方法，k是节点序列号*/r continue=0；/*false*/Continue/*切换到Rwhile循环开头*/If(act=0)导出错误，当前输入符号为：；输出vtr；scontinue=0；r continue=0；/*false*/Continue/*切换到Rwhile循环开头*/*

12、 act0履约承诺*/act=-act；/*创建分支名称节点并设置父子同级节点关系*/U=翻译节目act。左符号序列号；M=翻译节目act。右侧长度；/*如果可能规则的右侧长度为零，则使用以下if语句*/If(m=0) N=N 1；注释分析树N= N=n，0，0，0，0，0，null ；塔斯=塔斯1；分析堆栈tops=0，N ；m=1；右侧子节点序列号=分析堆栈tops。节点序列号N=N 1；/*分支名称节点*/注释分析树N=N，u，0，0，右侧子节点序列号，null ；bro=0；for(j=1)；j=m；j)分支节点序列号=分析堆栈tops-(m-j)。节点序列号注释分析树分支节点编号。父

13、节点编号=n；注释分析树分支节点编号。左侧同级节点号=broBro=分支节点编号；语义子程序(act)；塔斯=塔斯-m；NewS=GOTO分析堆栈tops。状态u-100；/* U=VN的序列号100 */塔斯=塔斯1；分析堆栈tops=NewS，N ；/* r continue；*/ /* Scontinue */导出注释分析树按照规则合同时执行的语义子程序(C型)如下：Void语义子程序(int act)交换机(act) case 1: _ 1()；布列克；case 23360 _ 2()；布列克；case : _ 3()；布列克；case 43360 _ 4()；布列克；case 533

14、60 _ 5()；布列克；case 63360 _ 6()；布列克；每个语义子例程可以设计为：void _ 1()/* a 3360:=I=E */I=E */NE=分析堆栈tops。节点序列号；Necode=search (ne， code )；Ecode=属性信息表NEcode。属性值；NEplace=search(NE，“place”)；If(Ecode=NULL) /*判断e.code= */ Ntemp=Ntemp 1；t=r | | ITOS(Ntemp)；/* | |表示实现以下行的字符串并行(连接)运算符*/*strcpy(t，r)；Strcat(t，ITOS(Ntemp)；*

15、/Epalce=属性信息表NEplace。属性值；Ecode=Ipointer(MOV|属性信息表格Eplace)。属性值|t，null )；/*Ecode=(目标命令类型*)malloc(目标命令类型)；Strcpy(C.OP，MOV)；Strcpy (C .来源，属性资讯表格Eplace)。属性值)；Strcpy (C .目标，t)；Ecode虚拟机器命令=C；Ecode-以下目标命令=null*/Strcpy(属性信息表NEplace)。属性值，t)；属性信息表NEcode。属性值=EcodeNi=分析堆栈tops-2。节点序列号；Niplace=search (ni， name )；Acode=copycode(Ecode，Acode)；C1=ipointer (mov | |属性信息表NEplace)。属性值| |属性信息表Niplace。属性值，空)；/* C1=(目标命令类型*)malloc(目标命令类型)；Strcpy(C.OP，MOV)；Strcpy (C .来源，属性资讯表格NEplace)。属性值)；Strcpy