《编译原理》教学课件 第5章-语义分析.ppt

第五章 语义分析;语义分析概述;语义分析概述;语义分析概述;语义分析概述;标识符、类型、值的内部表示; 例有声明如下： CONST pai= 3.14 ; TYPE vector=ARRAY[1..10] OF integer; VAR x, y : real ; r, s : vector ; 设当前层数和可用offset值分别为L和0，构造标识符 pai, vector, x, y, r 和s 的属性表示,假设整数类型占1个单元，实数类型占2个单元。;类型的内部表示;record: FixBody: VariBody: set: file: pointer: ;例有如下的类型定义： at = ARRAY [1..10] OF ARRAY[1..100] OF integer; rt = RECORD x : real ; a : at; CASE u: boolean OF false:(k : integer); true:(y: real; b: boolean) END 构造类型的内部表示。 ; 值的内部表示;符号表;标识符的特点;符号表局部化处理的基本思想;符号表局部化处理的实现;简单C语言的符号表;Pascal语言的符号表;带分程序结构的符号表;语义分析例子;类型分析;类型分析;类型分析;类型分析;类型分析;NameType;EnumType;SubRangeType;ArrayType;SetType;FileType;PointerType;RecordType;Offset 原理;FixBody;VariBody;声明的语义分析;标号声明－LabelDecPart;标号部分语义分析原理; 标号使用 goto ?： (填写LUSE表) 检查本层的LDEF表，若其中没有?，则将?填入 本层LUSE表中，表示?的定位在后。 结构体结束： 删除本层LDEF表，如本层LUSE表非空，则查外 层LDEF表，直至最外层如都没有?则有无定位。 退出过函： 删除本层LDEC表； 程序结束： 检查LUSE是否为空，若不为空，则表示有非法 转入或使用了无定位的标号。;常量声明的语义处理;类型声明的语义处理;变量声明部分;过/函声明的处理;过函首部的处理;子程序首部的处理例子;执行体的语义分析;表达式语句的语义分析;赋值语句的语义分析;过程调用语句的语义分析;结构语句的语义分析;修改后的结构语句