【文章內(nèi)容簡介】 pl0 分程序 block 語句 statement 條件 condition 表達式 expression 項 term 因子 factor 語 法 調(diào) 用 關(guān) 系 圖 編譯系統(tǒng)總體流程圖 啟動置初值調(diào)用GETSYM取單詞調(diào)用BLOCK過程當(dāng)前單詞是否為源程序結(jié)束符39。.39。？出錯源程序中是否有錯誤？調(diào)用解釋過程INTERPRET解釋執(zhí)行目標(biāo)程序打印錯誤結(jié)束NYYN PL/0編譯程序語義分析的設(shè)計與實現(xiàn) PL/0編譯程序語法、語義分析的的核心 程序是 BLOCK過程 哪些語義分析工作？ 如何實現(xiàn)？ 語義分析環(huán)境（符號表） ?說明部分的分析 與處理 ?表格管理 ?過程體 (語句）的分析 與處理 〈 因子 〉 ∷= 〈 標(biāo)識符 〉 |〈 無符號整數(shù) 〉 |‘（ ’ 〈 表達式 〉 ‘） ’ 語義分析 int factor(bool* fsys, int* ptx, int lev) ? { if(sym == ident) /* 因子為常量或變量 */ ? { ? i = position(id, *ptx)。 /* 查找名字 */ ? if (i == 0) ? {error(11)。 /* 標(biāo)識符未聲明 */ ? } ? else ? {switch (table[i].kind) ? {case constant: /* 名字為常量 */ ? break。 ? case variable: /* 名字為變量 */ ? break。 ? case procedur: /* 名字為過程 */ ? error(21)。 /* 不能為過程名 */ ? …… 登錄符號表 說明部分的分析 與處理 對每個過程（含主程序） 說明的對象 （ 變量 ， 常量 和 過程 ） 造符號表 登錄 標(biāo)識符的 屬性 。 標(biāo)識符的屬性 :種類，所在 層次 ,值 和分配的 相對位置 。 登錄信息由 ENTER過程完成。 符號表結(jié)構(gòu) Enum object { constant, variable, procedur }。 Struct tablestruct { char name[al]。 enum object kind。 int val。 int level。 int adr。 int size。 }。 Struct tablestruct table[txmax]。 符號表結(jié)構(gòu) ?說明種類的定義： object= (constant, variable,procedur) （ 定義 純量 /枚舉 類型） ?符號表的定義 table:array[0..txmax] of record name:alfa。 case kind:object of constant:(val:integer)。 variable:procedur:(level,adr,size: integer)。 NAME ： A NAME ： B NAME ： C NAME ： D NAME ： E NAME ： P KIND ： CONSTANT KIND ： CONSTANT KIND ： VARIABLE KIND ： VARIABLE KIND ： VARIABLE KIND ： PROCEDUR VAL ： 35 VAL ： 49 LEVEL ： LEV LEVEL ： LEV LEVEL ： LEV LEVEL ： LEV ADR ： DX ADR ： DX+1 ADR ： DX+2 ADR ： S I Z E ： 4 NAME ： G …… KIND ： VARIABLE …… LEV EL ： L E V + 1 …… ADR ： DX …… 例程序說明部分為： CONST A=35， B=49； VAR C， D， E； PROCEDURE P； VAR G ； … 符號表 名字 種類 層次 /值 地址 存儲空間 對應(yīng)名字表 tx ： table表的下標(biāo)指針 ,是以 值參數(shù) 形式使用的。 dx: 計算每個變量在運行棧中相對本 過程 基地址 的偏移量 ， 放在 table表 中的 adr域， 生成 目標(biāo)代碼 時再 放在 code中的 a域 變量定義語句的處理 (C) 語法： 變量說明部分 : := var 標(biāo)識符 {， 標(biāo)識符 }； 程序： if (sym == varsym){ /* 收到變量聲明符號，開始處理變量聲明 */ getsymdo。 do { vardeclarationdo(amp。tx, lev, amp。dx)。 while (sym == ma) { getsymdo。 vardeclarationdo(amp。tx, lev, amp。dx)。 } if (sym == semicolon){ getsymdo。 }else error(5)。 } while (sym == ident)。 } 注意： amp。tx 變量說明處理 (C) int vardeclaration(int* ptx,int lev,int* pdx) { if (sym == ident){ enter(variable, ptx, lev, pdx)。//填寫名字表 getsymdo。 }else { error(4)。 /* var后應(yīng)是標(biāo)識 符 */ } return 0。 } 變量定義語句的處理 語法： 變量說明部分 : := var 標(biāo)識符 {， 標(biāo)識符 }； 程序： if sym=varsym then begin getsym。 repeat vardeclaration。(*變量說明處理 *) while sym=ma do begin getsym。 vardeclaration end。 if sym=semicolon then getsym else error(5) until symident。 end。 變量說明處理 procedure vardeclaration。 begin if sym=ident then begin enter(variable)。 getsym end else error(4) end(*vardeclaration*)。 過程 ENTER的實現(xiàn) (C) /* * 在名字表中加入一項 * * k: 名字種類 const,var or procedure * ptx: 名字表尾指針的指針 * lev: 名字所在的層次 ,以后所有的 lev都是這樣 * pdx: 當(dāng)前應(yīng)分配變量的相對地址，分配后增加 1 */ void enter(enum object k, int* ptx, int lev, int* pdx) 過程 ENTER的實現(xiàn) (C) { (*ptx)++。 strcpy(table[(*ptx)].name, id)。 /* 全局變量 id中已存有當(dāng)前名字的名字 */ table[(*ptx)].kind = k。 switch (k){ case constant: /* 常量名字 */ if (num amax) { error(31)。/* 數(shù)越界 */ num = 0。 } table[(*ptx)].val = num。 break。 過程 ENTER的實現(xiàn) (C) case variable: /* 變量名字 */ table[(*ptx)].level = lev。 table[(*ptx)].adr = (*pdx)。 (*pdx)++。 break。 case procedur: /* 過程名字 */ table[(*ptx)].level = lev。 break。 } } 過程 ENTER的實現(xiàn) tx ： table表的指針 procedure enter(k:object )。 begin (* enter object into table *) tx:=tx+1。 with table[tx] do (* 開域 語句 *） begin name:=id。(* 表示 table[tx].name:=id。*） kind:=k。(* 表示 table[tx].kind:=k。* ) 過程 ENTER的實現(xiàn) case k of constant: begin if numamax then begin error(31)。 num:=0。 end。 val:=num。(* table[tx].val:=num。*) end。 過程 ENTER的實現(xiàn) variable: begin level:=lev。 （ *表示 table[tx].level:=lev*） adr:=dx。 （ *表示 table[tx].adr:=dx*） dx:=dx+1。 end。 procedur: level:=lev (* 表示 table[tx].level:=lev。*） end(* case *)。 end end(*enter*)。 過程體的處理 /* * 編譯程序主體 * * lev: 當(dāng)前分程序所在層 * tx: 名字表當(dāng)前尾指針 * fsys: 當(dāng)前模塊后跟符號集合 */ int block(int lev, int tx, bool* fsys) 過程體的處理 ......//main()函數(shù) if(1 == block(0, 0, nxtlev)){ ...... } ...... if (sym != period) error(9)。 ...... interpret()。/* 調(diào)用解釋執(zhí)行程序 */ ...... 過程體的處理 while (sym == procsym) // block()函數(shù) { getsymdo。 if (sym == ident){ enter(procedur, amp。tx, lev, amp。dx)。 ..... }