PL0 编译程序讲解.pptVIP

3.4 PL/0语义分析的设计与实现 说明部分的分析与处理 表格管理 过程体(语句）的分析与处理 说明部分的分析与处理--登录符号表 对每个过程（含主程序）说明的对象（变量，常量和过程）造符号表 登录标识符的属性。 标识符的属性:种类，所在层次,值和分配的相对位置。 登录信息由ENTER过程完成。 符号表结构 enum object {constant, variable, procedur}; struct tablestruct { char name[al]; enum object kind; int val, level, adr, size; } table[txmax]; const a=35;//常量无层次 var a1,a2,a3; Procedure P; var b1,b2; procedure P1; var c; …… procedure P2; var d; …… …… …… 注意：在单趟编译中，对于并列的函数（或分程序），其相应的符号表不会同时存在。 过程P2在code的入口 (0) jmp 0 0 CX (1) jmp 0 0 (2) jmp 0 0 …… (k) jmp 0 0 名字 类 值 层次 地址 大小 变量说明部分: :=var标识符{， 标识符}； if(sym==varsym)/* 收到变量声明符号，开始处理变量声明 */ {getsymdo; do{vardeclarationdo(tx, lev, dx); while (sym == comma) {getsymdo; vardeclarationdo(tx, lev, dx); } if (sym == semicolon) {getsymdo;} else error(5); }while (sym == ident); } 注意：tx 变量说明处理 int vardeclaration(int* ptx,int lev,int* pdx) {if (sym == ident) {enter(variable, ptx, lev, pdx);//填写名字表 getsymdo; } else {error(4);} /* var后应是标识符 */ return 0; } 过程ENTER的实现 /* 在名字表中加入一项 * * k: 名字种类const,var or procedure * ptx: 名字表尾指针 * lev: 名字所在的层次,以后所有的lev都是这样 * pdx: 当前应分配变量的相对地址，分配后增加1 */ void enter(enum object k, int* ptx,int lev, int* pdx) {(*ptx)++; strcpy(table[(*ptx)].name, id); /* 全局变量id中已存有当前名字的名字 */ table[(*ptx)].kind = k; switch (k) {case constant: /* 常量名字 */ if (num amax) {error(31); /* 数越界 */ num = 0; } table[(*ptx)].val = num; break; case variable: /* 变量名字 */ table[(*ptx)].level = lev; table[(*ptx)].adr = (*pdx); (*pdx)++; break; case procedur: /*　过程名字　*/ table[(*ptx)].level = lev; break; } } 过程体的处理－变量引用的处理 对语句进行语法分析 语义分析 当遇到标识符的引用时就调用POSITION函数查TABLE表，看是否有过正确定义，若已有，则从表中取相应的有关信息，供代码的生成使用。若无定义则错。 语义分析 TABLE表若已有过正确定义，检查引用与说明的属性是否一致，若