[工學(xué)]第05章語義分析中-展示頁
2024-10-28 00:13本頁面
【正文】 var a:tp1。 則稱 a,b是相同類型的變量 2）結(jié)構(gòu)等價(jià)： type tp1=array[1..10]of integer。1 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 第 05章 語義分析 主要內(nèi)容： ? 語義分析基礎(chǔ) ? 符號表 ? 類型分析 ? 聲明和執(zhí)行體的語義分析 2 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 類型分析 類型的等價(jià)性和相容性 ?類型的等價(jià)性 1）按名等價(jià)： type tp=array[1..10]of integer。 var a,b:tp。 type tp2=array[1..10]of integer。 b:tp2。 ?分析過程： 讀 Token序列，識別出各種類型，類型檢查，返回類型內(nèi)部表示的地址。 ? Void TypeProcess(Ptr){ switch(){ case ID : NameTYPE(Ptr)。 //類型名 case ENUM: EnumTYPE(Ptr)。 //枚舉類 case ARRAY: ArrayTYPE(Ptr)。 //數(shù)組類 case RECORD: RecordTYPE(Ptr,0,null)。break。break。 next_token()。 } 5 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 類型名分析 ?形式： id /*類型標(biāo)識符 */ ?處理子程序： void NameType(Ptr) { FindEntry(,total,Entry,Present)。 //無聲明錯 if(Entry?kind)!=typeKind} error。 } 如： VAR id : t 。 例： 設(shè)枚舉類型 (a,b)，則首先產(chǎn)生枚舉類型的內(nèi)部表示，其中 EntryList表示一個指針，指向枚舉表。 L0:next_token()。 //連接到內(nèi)部枚舉表 next_token()。 Ptr:=★ (enumSize,enumTy,List)。 L1:name=first(List)。 // 去掉 List的首元素 Enter(name,(Ptr,constKind,m),entry,present)。 m=m+1。 } 如： (a,b)的符號表 EntryList： a Ptr ConsKind 0 b P
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1