[教育]第5章 语义分析.ppt

第五章 语义分析 5.1 语义分析基础 5.2 符号表 5.3 类型表达式 5.4 声明的语义分析 5.5 执行体Body的语义分析 ■ 创建空符号表 ( CreateTable ) 功能: 建立一个空符号表Table，层数加1，并将所建符号表地址压入Scope栈。 void CreateTable( ) { New(Table); Level=Level+1; Scope[Level]=Table; Off=initOff; } ■ 登记符号表 ( Enter ) 功能：将给定id和属性Attrib登记到符号表中。在登记时应检查在本层中是否有重复声明错误，为此引进了变参Present，如果已有id项，则该变参返回true值。 void Enter( id, Attrib, Entry, Present ) ; ■ 寻找表项地址 （ FindEntry ） 功能： 如果给定标识符id，则求出其表项地址，并在Entry的实参单元中返回表项地址。如果符号表里没有所找的id项，则Present的实参单元中返回false。有时需要查整个符号表，而有时需要只查当前符号表，为此引进了参数Flag。如果Flag取One，则表示只查当前表，否则即取Total，则查整个表。 void FindEntry( id, Flag, Entry, Present ); 例如， struct node{ int data; struct node *next; }; void creat(struct node *p) {…} void main() { struct node *head; creat(head); } 标识符 定义性出现 使用性出现 SyntaxStack 语法栈 SemStack 语义栈 三、类型声明部分 例：type t1=array [0..9] of real; t2=array [0..4] 0f t1 或 typedef float t1[10]; typedef t1 t2[5]; typeKind t2Ptr t2 typeKind t1Ptr t1 realPtr 9 0 arrayTy 10 t1Ptr: t2Ptr: t1Ptr 4 0 arrayTy 50 ■TypeDec ( ) { Name=token.RH; //取被定义的类型名字 READ( __ ); READ(token ); //读出类型表达式的第一个token TypeProcess( Ptr); //处理类型 Enter( Name, (Ptr, typeKind ), Entry, Present); //登记符号表 IF（Present= =true）error( ) ; //被重复声明 } 四、变量声明部分 例：var x:array [0..9] of real; y:array [0..4] of t1; 或 float x[10]; float y[5][10]; Offy L dir varKind yPtr y Offx L dir varKind xPtr x realPtr 9 0 arrayTy 10 xPtr: yPtr: xPtr 4 0 arrayTy 50 Offx+10 ■ 算法原理： id1, ......., id K :T ?当遇到变量标识符idj时，把idj登记到符号表中(类型和Offset待定)。 ?检查重复定义。 ?为了在以后进行回填，构造被定义变量名的符号表地址的表BackEnterList。 ?当遇到类型T时，构造其内部结点(TPtr)。 ?当id1, ......., id K :T结束时，在Entryi表项中回填相应类型属性和Offset值。 ■DefinedNameList( BackEntryList ) { L ：Enter( token.RH, ( ? , varKind, Access, Level , ? ), Entry, Present ) IF（Present = =true）error(); //重复定义 Link( BackEntryList, Entry); //回填地址链 READ( token ); //读id后的TOKEN IF （token= =“,”） { READ(token); GOTO L; }