[工學(xué)]第05章語義分析中-資料下載頁
2024-10-19 00:13本頁面
【正文】 ess(FTPtr)。//構(gòu)造域類型 FieldNode=★ (, FTPtr, nil)。 //構(gòu)造域的內(nèi)部結(jié)點(diǎn) LinkField(RBody, FieldNode)。 //鏈表 MFS=MAX{MFS,}。 //修改 MFS if(=“?！? goto L。 //處理下一個(gè)域 Ptr=★ (MFS, unionTy,UBody)。 //構(gòu)造聯(lián)合結(jié)點(diǎn) } 16 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 指針類型分析 ? 語法形式： Type ? pointer T。 ? 變量說明： var x: pointer T。 相當(dāng)于 C的 T* x。 ? 分析任務(wù)： ? 掃描指針類型部分，并檢查其語義錯(cuò)誤； ? Ptr:=★ (PoinSize,PoinTy,Ptr0),其中 Ptr0指向指針基類型。 17 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ?實(shí)現(xiàn)算法： void PointerTYPE(Ptr){ new(Ptr0)。 next_token()。 //讀 基類型 T TypeProcess(Ptr0)。 //分析 基類型 T Ptr:=★ (PoinSize,PoinTy, Ptr0)。 //生成指針 } 18 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 遞歸類型分析 ? 類型定義： type tid = Г [tid]。 ? 焦點(diǎn)問題： 由于類型定義 tid中有對(duì)自己的引用，所以分析類型 tid時(shí)無法查到標(biāo)識(shí)符 tid； ? 遞歸示例： ? 二叉樹的定義： type tree = record elem : integer。 left : pointer tree。 right: pointer tree end 19 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ?內(nèi)部表示： tree RTPtr typeKind 3 recordTy RBody elem IntPtr 0 left PPtr 1 right PPtr 2 nil 1 pointTy RTPtr 1 pointTy RTPtr
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1