TINY部分源码分析报告.doc

TINY源码分析 一、文件概述 MAIN.C: 主函数 GLOBALS.H:全局定义的文件 SCAN.C/SCAN.H: 词法分析 PARSE.C/PARSE.H:语法分析 UTIL.C/UTIL.H:构造树 SYMTAB.C/SYMTAB.H:符号表 CGEN.C/CGEN.H:生成汇编代码 CODE.C/CODE.H:这个只是用来把分析过程输出到屏幕的. 二、各个文件的分析 1.MAIN.C: 主要有三个FILE*句柄: source--源代码文件。 listing--显示分析过程的文件，这里重定向到stdout。 code--目标汇编代码文件。 从该文件中可知程序运行的流程： 检查参数正确否(tiny.exe filename)-构造语法树（调用parse函数）-根据语法树生成代码（调用codeGen函数，该函数又调用cGen函数。 2.GLOBALS.H: 定义了关键字个数8个。 定义了关键字，运算符等内容的枚举值。 定义了语句类型的枚举值，这个决定树的结点。 定义了变量类型（也就三种，void, integer, boolean）。 定义了树的节点--这个最重要了！！其结构如下所示： typedef struct treeNode { struct treeNode * child[MAXCHILDREN]; struct treeNode * sibling; int lineno; NodeKind nodekind; union { StmtKind stmt; ExpKind exp;} kind; union { TokenType op; int val; char * name; } attr; ExpType type; /* for type checking of exps */ } TreeNode; UTIL.C/UTIL.H 主要函数 TreeNode * newStmtNode(StmtKind kind) 此函数创建一个有关语法树的声明节点 TreeNode * newExpNode(ExpKind kind) 此函数创建一个有关语法树的表述节点 char * copyString(char * s) 此函数分配和创建一个新的已存在树的复制 void printTree( TreeNode * tree ) 输出一个语法树 这两个文件主要是关于语法树的创建和输出 4.SCAN.c/SCAN.H 主要有这么几个函数： static int getNextChar(void); static void ungetNextChar(void); static TokenType reservedLookup (char * s); TokenType getToken(void); reservedLookup函数是查找关键字的，在符号表中找。这里还定义了一个保存关键字的结构： static struct { char* str; TokenType tok; } reservedWords[MAXRESERVED] = {{if,IF},{then,THEN},{else,ELSE},{end,END}, {repeat,REPEAT},{until,UNTIL},{read,READ}, {write,WRITE}}; 最重要的是getToken(void)函数。这个相当于lex的功能，进行词法分析。也就是一个DFA，switch后面跟了一堆的case。 其中getNextChar(void)函数的思路，以下列出： static int getNextChar(void) { if (!(linepos bufsize)) { lineno++; if (fgets(lineBuf,BUFLEN-1,source)) { if (EchoSource) fprintf(listing,%4d: %s,lineno,lineBuf); bufsize = strlen(lineBuf); linepos = 0; return lineBuf[linepos++]; } else { EOF_flag = TRUE; return EOF; } } else return lineBuf[linepos++]; } 4.PARSE.C/PARSE.H 有这么几个函数： TreeNode * parse(void) static TreeNode * stmt_sequence(void); static TreeNode * statement(void); static TreeNode * if_stmt(void); s