Standford Compiler Course Assignment 2

第二部分的作业是语法分析，通过编写cool.y(这个assignment的任务)，利用bison将其自动生成语法分析LALR(1)的代码。

语法分析，就是将词法分析阶段已经识别好的token，按照语法的规则，构建抽象语法树的过程。

比如以下的代码：

x = (a + b) * (c - d);

可以构成下图的抽象语法树：

    =
   / \
  x   *
     / \
    +   -
   / \ / \
  a  b c  d

具体在cool.y 中，

这部分定义了非终结符non-terminal对应的semantic value. Union中的每一个field都可以是parsing动作的结果。

在stanford compiler的教学语言cool中，这就对应了AST的一个node。每一个non-terminal，都有其对应的semantic value。

左侧的各种类型在cool-tree.aps中都有对应定义，比如Features：

Feature即为class中的成员函数或者成员变量。因为可以有多个Feature，所以存在Features，即LIST[Feature].

下面则具体定义了所有的非终结符对应的AST节点类型。<>内部的，比如classes是在union中定义的value，而右侧的，比如class_list，我们需要定义规约该非终结符时，需要进行的操作。

上图中$$即为action的返回值，对应该抽象语法树AST对应的node。

具体看识别类的声明，class的规则：

1） CLASS TYPEID ‘{’ feature_list ‘}’ ‘;’
其动作：$$ = class_($2, idtable.add_string(“Object”), $4, stringtable.add_string(curr_filename))
对应cool-tree.aps中的：

传给class_的参数即为1）类名称，2）父类名称 3）成员变量/成员函数 4）文件名
起对应的位置如类名称即为 TYPEID，对应$2, feature_list对应$4，因此其动作action写成了如上图所示的样子。
2） CLASS TYPEID INHERITS TYPEID ‘{’ feature_list ‘}’ ‘;’
这里唯一不同的即为该类继承自父类，因此其第2个参数，父类名称传入了$4。具体的序号可以参考第205行的注释。