2025年深度语义解析研究与实践报告

试验三语法分析通过使用、剖析和扩充TINY语言的语义分析程序，掌握编译器的语义分析程序的构造措施。(一)运行TINY的语义分析程序(二)扩充TINY的语法分析程序考虑作用域(如：函数)和数组时也许需要修改符号表。1.先读懂TINY语义程序(有关联的文献：MAIN.CANALYZE.CANALYZE.H)进行staticvoidinsertNode(TreeNode*t),这样将碰到与ID有关的Node信息通过voidst_insert(char*name,intlineno,intloc,intlen)加入到hashTable[h]数据构造中。(2)接着调用typeCheck(syntaxTree);进行类型检测通过递归调用traverse(syntaxTree,nullProc,checkNode);将语法树遍历，然后调用staticvoidcheckNode(TreeNode*t)对节点进行类型检测2.扩充TINY的语法分析程序本次试验我首先将源程序实现的功能改成符合C_MINUS的符号表与类型检测然后加入没申明调用与数组调用错误即数组没申明而调用数组类型。1.对的的测试程序}intgcd(intu,intv[J){}{试验成果：检测到13行t没有申明检测到15行x不是一种数组通过本次试验学会了使用、剖析和扩充TINY语言的语义分析程序，掌握编译器的语义分析程序的构造措施。加深了对书本语义分析的理解，感受到学以致用的快感，增强对本课程的爱好。试验中碰到的最大问题：怎样查询符号表判断数组，背面在其数据构造中增长了一种属性Len,假如不是数组将其赋为-1./**********************************************/**********************************************void(*preProc)(TreeNodvoid(*postProc)(TreeNodtraverse(t->child[i],preProc,post}traverse(t->sibling,preProc,post}}staticvoidnullProc(TreeNode*}staticvoidtypeError(TreeNode*t,char*message){fprintf(listing,"Typeerroratline%d:%sln",t->linstaticvoidunDecError(TreeNode*t)}staticvoidnotArrayError(TreeNode}if(st_lookup(t->attr.n{//st_insert(t->,t->lineno,location}{//printf("LEN:%d\n",t->lengif(t->length!=-1&&st_isArray(t->attrst_insert(t->,t-}}definition*/st_insert(t->,t->lineno,st_insert(t->,t->lineno,locati}}addlinenumberofuseonly*/st_insert(t->,t-}if(st_lookup(t->attr.nast_insert(t->,t->lineno,st_insert(t->,t->lineno,locatist_insert(t->,t-if(st_lookup(t->attr.nst_insert(t->,t->lineno,st_insert(t->,t-break}}voidbuildSymtab(TreeNode*syntaxfprintf(listing,"\nunDecErrorandarrayCallErrtraverse(syntaxTree,insertNode,nullfprintf(listing,"\nunDecErrorandarrayCallErrorcheck{/*ProcedurecheckNodstaticvoidcheckNode(TreeNode*t)switch(t->if(t->child[0]->type!=typeError(t,"Opappliedtonon-inteif(t->attr.op==EQ)Il(t->attr.op=l(t->attr.op==LE)|Ⅱ(t->attr.op==BG)I|(t}if(t->child[0]->typetypeError(t->child[0],"iftestisnotBoolean");if(t->child[0]->typetypeError(t->child[0],"whiletestisnotBoolean");if(t->child[0]->type!typeError(t->child[0],"writeofnon-inte