编译原理实践7—语法出错处理.ppt

if sym=beginsym then begin getsym; repeat statement([semicolon,endsym]+fsys); while sym=semicolon do begin getsym; statement([semicolon,endsym]+fsys); end; until not (sym in statbegsys) if sym=endsym then getsym else error() end; 编译原理实践--语法出错处理 语法出错处理概论 常见错误的分析处理 不可预料错误的处理 PL/0语法出错处理程序及其执行 1.语法出错处理概论 出错处理要解决的主要问题 出错(procedure error(n:integer)) (P83) 指出错误类型、halt 一次运行，尽可能多的发现语法错误 语法分析程序program4的缺点：遇到错误就调用error过程，中断程序的执行 分析程序可能的出错情况和解决方案： 常见、易犯的错误—预先假设，在程序相应处作修改或扩充 不常见、无法预料的错误—跳过一部分原文，让它在适当的地方停下来，然后继续分析下去 第一类错误处理和具体的语言十分有关 第二类错误处理的一些原则： 假如在识别出一个错误之后，要跳过原文的某一部分，那么语言必不可少地要包含一些关键字，这些关键字用错的几率非常小 在出错情况下当时的语法分析过程并不简单地放弃它的目标，而是跳过一部分原文，使被调用的语法分析过程总是能够正常结束 2.常见错误的分析处理 修改语法分析程序 修改语法定义 2.1修改语法分析程序 Example1: 正确：const m=7,n=85; 错误：const m:=7,n=85; 将说明中的等号写成赋值号 解决方法：修改constdeclaration语法分析程序，使原来接收“=”的，也可以接收“:=” constdeclaration语法结构图 (P77 图8_17) begin if sym=ident then begin getsym; if sym in [eql,becomes] then begin if sym = becomes then error(1); getsym; if sym=number then begin enter(constant); getsym end else error(2) end else error(3) end else error(4) Example2: 正确： const m=7,n=85; var x,y,z,q,r; 错误： const m=7;n=85, const m=7,n=85, const m=7,n=85 容易犯的错误：将中间的逗号写成分号；将结束的分号写成逗号；遗漏结束时候的分号 解决方法：修改block语法分析程序 block语法结构图(P76 图8_16) repeat if sym=constsym then begin getsym; repeat constdeclaration; while sym=comma do begin getsym; constdeclaration end; if sym=semicolon then getsym else error(5) until sym ident end; if sym=varsym then begin getsym; repeat vardeclaration; while sym=comma do begin getsym; vardeclaration end; if sym=semicolon then getsym else error(5) until sym ident; end; Example 3: begin if odd b then z:=z+a; a:=2*a； b:=b/2 end; 常见错误:语句之间丢失分号 解决办法：修改statement语法分析程序 statement语法结构(P74 图8_11) if sym=beginsym then begin getsym; stat