2025年深度語義解析研究與實(shí)踐報(bào)告

試驗(yàn)三語法分析通過使用、剖析和擴(kuò)充TINY語言的語義分析程序，掌握編譯器的語義分析程序的構(gòu)造措施。(一)運(yùn)行TINY的語義分析程序(二)擴(kuò)充TINY的語法分析程序考慮作用域(如：函數(shù))和數(shù)組時(shí)也許需要修改符號(hào)表。1.先讀懂TINY語義程序(有關(guān)聯(lián)的文獻(xiàn)：MAIN.CANALYZE.CANALYZE.H)進(jìn)行staticvoidinsertNode(TreeNode*t),這樣將碰到與ID有關(guān)的Node信息通過voidst_insert(char*name,intlineno,intloc,intlen)加入到hashTable[h]數(shù)據(jù)構(gòu)造中。(2)接著調(diào)用typeCheck(syntaxTree);進(jìn)行類型檢測通過遞歸調(diào)用traverse(syntaxTree,nullProc,checkNode);將語法樹遍歷，然后調(diào)用staticvoidcheckNode(TreeNode*t)對節(jié)點(diǎn)進(jìn)行類型檢測2.擴(kuò)充TINY的語法分析程序本次試驗(yàn)我首先將源程序?qū)崿F(xiàn)的功能改成符合C_MINUS的符號(hào)表與類型檢測然后加入沒申明調(diào)用與數(shù)組調(diào)用錯(cuò)誤即數(shù)組沒申明而調(diào)用數(shù)組類型。1.對的的測試程序}intgcd(intu,intv[J){}{試驗(yàn)成果：檢測到13行t沒有申明檢測到15行x不是一種數(shù)組通過本次試驗(yàn)學(xué)會(huì)了使用、剖析和擴(kuò)充TINY語言的語義分析程序，掌握編譯器的語義分析程序的構(gòu)造措施。加深了對書本語義分析的理解，感受到學(xué)以致用的快感，增強(qiáng)對本課程的愛好。試驗(yàn)中碰到的最大問題：怎樣查詢符號(hào)表判斷數(shù)組，背面在其數(shù)據(jù)構(gòu)造中增長了一種屬性Len,假如不是數(shù)組將其賦為-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