CS143-PA3: 语法解析得到抽象语法树

bison格式

Bison文件结构同flex类似，区别在于声明和规则部分：

%{
Prologue
%}
Declarations
%%
Rules
%%
Epilogue（User subroutines）

bison declarations：

%token： 终结符（terminal） %type： 非终结符（non-terminal） 如果采用了union定义，可以通过<>指定token或type的类型。 %left, %right, %nonassoc和%precedence用于定义token的优先级和结合性。

bison规则：

每条bison规则中的symbol有对应的value：

• target symbol: $$
• symbol on right: 1, 2 ... bison规则示例：

exp: factor default $$ = $1 
 | exp ADD factor { $$ = $1 + $3; }
 | exp SUB factor { $$ = $1 - $3; }

完成bison语法规则定义

在项目Assignment/PA3中，作者已经再cool-tree.aps中预先给出了抽象语法树的定义，并由其生成了c++调用接口，保存在cool-tree.h/cc中。 PA3的主要任务就是根据抽象语法树的定义和cool的语法规则在cool.y文件中添加AST节点声明和对应规则项。 cool语法解析规则参考cool-manual.pdf中section10-Figure1中的内容实现，实现过程需要结合cool-tree.h/c中的接口函数完成。

实验操作：

PA3中仅包含了语法解析器parser，未包含词法分析器lexer，可以使用项目bin目录下提供的lexer完成词法分析，或者用PA2中完成的也可以。

make parser
lexer good.cl | ./parser

结果会输出good.cl对应的抽象语法树。

附录

终结符/非终结符：

终结符：不能单独出现在推导式左边的符号；已经明确知道含义的字符串，比如关键字，数字，常量等。 非终结符：终结符以外的内容。

项目编译问题

由于bison版本问题，编译如果出现no yylex错误，可以把Makefile中的LIB = -lfl清空。