[工學(xué)]第05章語義分析中(已修改)
2024-10-31 00:13 本頁面
【正文】 1 《編譯原理》電子教案 韶關(guān)學(xué)院計算機(jī)系程細(xì)柱 第 05章 語義分析 主要內(nèi)容： ? 語義分析基礎(chǔ) ? 符號表 ? 類型分析 ? 聲明和執(zhí)行體的語義分析 2 《編譯原理》電子教案 韶關(guān)學(xué)院計算機(jī)系程細(xì)柱 類型分析 類型的等價性和相容性 ?類型的等價性 1）按名等價： type tp=array[1..10]of integer。 var a,b:tp。 則稱 a,b是相同類型的變量 2）結(jié)構(gòu)等價： type tp1=array[1..10]of integer。 type tp2=array[1..10]of integer。 var a:tp1。 b:tp2。 則稱 a,b是相同類型的變量 3 《編譯原理》電子教案 韶關(guān)學(xué)院計算機(jī)系程細(xì)柱 ?類型的相容性： 主要有： 1）運(yùn)算分量類型的相容性； 2）賦值語句左右類型的相容性； 3）形參和實參類型的相容性； ?類型分析的作用： 構(gòu)造類型的內(nèi)部表示，進(jìn)行類型檢查。 ?分析過程： 讀 Token序列，識別出各種類型，類型檢查，返回類型內(nèi)部表示的地址。 4 《編譯原理》電子教案 韶關(guān)學(xué)院計算機(jī)系程細(xì)柱 類型分析的總控算法 ? 功能： 類型檢查， Ptr返回類型的內(nèi)部表示地址。 ? Void TypeProcess(Ptr){ switch(){ case ID : NameTYPE(Ptr)。break。 //類型名 case ENUM: EnumTYPE(Ptr)。break。 //枚舉類 case ARRAY: ArrayTYPE(Ptr)。break。 //數(shù)組類 case RECORD: RecordTYPE(Ptr,0,null)。break//記錄類 case UNION: UnionTYPE(Ptr,0,null)。break。//聯(lián)合類 case POINTER:PointerTYPE(Ptr)。break。 //指針類 default:error() }。 next_token()。 return。 } 5 《編譯原理》電子教案 韶關(guān)學(xué)院計算機(jī)系程細(xì)柱 類型名分析 ?形式： id /*類型標(biāo)識符 */ ?處理子程序： void NameType(Ptr) { FindEntry
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1