余岳 2015011367
环境搭建
- 我IDE用的intellij，作业所给的框架非常方便，可以直接运行。
实验内容
- 添加三元操作符 a?b:c
首先在Lexer.l中定义问号和冒号
"?" { return operator(Parser.QMARK); }
":" { return operator(Parser.COLON); }
然后在Parser.y中Stmt的部分加入一个新的选项
Expr QMARK Expr COLON Expr
{
$$.expr = new Tree.Conditional($1.expr, $3.expr, $5.expr, $2.loc);
}
由于样例中强制要求右结合，故添加token和右结合标记，以及由于优先级的较低，应当写在and和or的上面
%token QMARK COLON
%right QMARK COLON
%left OR
%left AND
之后在tree.java里实现Conditional这个类
public static class Conditional extends Expr {
public Expr det;
public Expr trueval;
public Expr falseval;
public Conditional(Expr det, Expr trueval, Expr falseval, Location loc) {
super(CONDEXPR, loc);
this.det = det;
this.trueval = trueval;
this.falseval = falseval;
}
private void ConditionalOperatorPrintTo(IndentPrintWriter pw, String op) {
pw.println(op);
pw.incIndent();
det.printTo(pw);
trueval.printTo(pw);
falseval.printTo(pw);
pw.decIndent();
}
@Override
public void accept(Visitor visitor) {
visitor.visitConditional(this);
}
@Override
public void printTo(IndentPrintWriter pw) {
ConditionalOperatorPrintTo(pw, "conditional-expression");
}
}
其中要实现它的构造函数和输出格式printTo()。
另外需要修改几个小地方：
定义CONDEXPR常量
（注：由于在tree.java里有几个常量的注释中写了原先用的类名，故就用一样的了）
/**
* Conditional expressions, of type Conditional.
*/
public static final int CONDEXPR = CATCH + 1;
补全visitor的接口
public void visitConditional(Conditional that) {
visitTree(that);
}
-
switch-case语句
常量定义等内容和三元表达式一样，下面着重看Parser.y中的写法：
首先考虑每个case，写出它的格式
Case : CASE Constant COLON StmtList
DefaultCase : DEFAULT COLON StmtList
由于有普通case和default case的区别，故在Case构造函数中增加kind以区分，在输出时根据kind不同来区分格式
// Conditioned Case
public Case(int kind, Expr constant, List<Tree> exprlist, Location loc) {
super(kind, loc);
this.constant = constant;
this.exprlist = exprlist;
}
// Default Case
public Case(int kind, List<Tree> exprlist, Location loc) {
super(kind, loc);
this.exprlist = exprlist;
}
然后若干个case组成的列表，由于优先写左递归，故为了方便将有无default case的情况分开来写成如下形式，其CaseList的具体实现可直接参照StmtList类似地写出。
CaseListWithEnd : CaseList
| CaseList DefaultCase
CaseList : CaseList Case
|
于是每个switch语句就可以写成
SwitchStmt : SWITCH '(' Expr ')' '{' CaseListWithEnd '}'
- <<运算符、repeat-until循环、continue语句由于比较简单，类似地实现即可
调试遇到的碰到的坑
- 在写switch-case语句的时候，由于在三元运算符时将冒号
:转为COLON，故不能将Case写成
Case : CASE Constant ':' StmtList
-
parser.y中的常量全部需要用单引号 - 目前还不知道如何开启byacc的
yydebug模式，这给调试带来了不少麻烦，只能手动输出调试，感觉需要进一步研究一下它的架构。
