计科70 徐明宽 2017011310
我使用git am打了patch，在这过程中发现Namer.java中有我在PA1-A中为了能编译通过而修改的与patch不同的部分，于是我把我自己的修改撤销掉以后成功打上了patch。
方便起见，我在ClassSymbol.java中、在MethodSymbol.java中、在Tree.java的Classdef类和MethodDef类中加入了函数isAbstract()。
由于主类不能是抽象的，我在Namer.java中的visitTopLevel中加入了相应判断。
为了输出类类型的modifiers（即ABSTRACT），我在ClassSymbol.java中加入了modifiers，并修改了Namer.java中的createClassSymbol。
为了正确输出抽象方法的FormalScope，我修改了PrettyScope.java与FormalScope.java，将后者中的nested变量改为Optional<LocalScope>类型，并在Namer.java中的visitMethodDef函数内对于抽象方法不执行ctx.open(formal);等代码段，也即使得nested变量为Optional.empty()。
在Typer.java的visitMethodDef函数中，我加入判断使得只有非抽象方法才执行该代码段。
对于错误1，我实现了NotAbstractClassError.java，在Tree.java中为ClassDef类新增了成员变量public List<MethodDef> unOverriddenMethods;，参考实验指导书在Namer.java中的visitClassDef函数内实现了相应逻辑。在实现时，我只考虑了没有报BadOverrideError或DeclConflictError错误的方法，也即加入了判断((Tree.MethodDef) field).symbol != null。
对于错误2，我实现了InstantAbstractClassError.java，在Typer.java中的visitNewClass函数内实现了相应逻辑。
我在Namer.java的visitLocalVarDef中对于需要类型推导的情况暂不去检查类型，在Typer.java中已经推导出initVal的类型以后将其类型赋给需要类型推导的变量，并检查若结果为void类型则报错。
为了调对局部类型推导的测例var-error-1.decaf，我先实现了这一部分。
由于需要将大段逻辑从Call中移到VarSel中，我在Tree.java中删去了Call的成员变量methodName与成员方法setThis()，在VarSel中加入了成员变量public boolean isArrayLength = false; public boolean isStaticMethod = false; public Optional<String> receiverClassName;。这样，我便可以在Typer.java中让visitVarSel中的expr返回（存储）足够多的信息，以此在visitCall函数中调用typeCall。对于expr返回的不是函数类型的情况，我实现了NotCallableTypeError.java并直接报错。
在visitCall中，我将NotClassFieldError、RefNonStaticError与FieldNotFoundError的报错位置由以前的call.pos改为了call.methodExpr.pos。
我实现了BadFunArgTypeError.java，并在TypeLitVisited.java中实现了default void visitTLambda(Tree.TLambda typeLambda, ScopeStack ctx)，在返回类型与所有参数类型accept之后再去（当有参数为void类型时）报错并将该函数类型的type设为ERROR（而不是有错就直接设为ERROR并返回）。
在局部类型推导部分，我去掉了Typer.java的visitLocalVarDef中要求不能为函数类型的检查。
我参考LocalScope.java实现了LambdaScope.java，参考MethodSymbol.java实现了LambdaSymbol.java。在LocalScope.java中，我在构造函数中加入了parent为LambdaScope的情况判断，并将public List<LocalScope> nestedLocalScopes()改为了public List<Scope> nestedLocalOrLambdaScopes()。
在Scope.java中，我将isFormalOrLocalScope改为了isFormalOrLocalOrLambdaScope，并修改了所有用到该函数的地方。
在VarSymbol.java中，我修改了isParam()的判断。
在Namer.java中，我参考visitMethodDef实现了visitLambda。为了使得这个函数会被访问到，我修改了函数visitLocalVarDef, visitIf, visitWhile, visitFor并简单实现了以下函数：visitExprEval, visitAssign, visitBinary, visitCall, visitClassCast, visitClassTest, visitIndexSel, visitNewArray, visitPrint, visitReturn, visitUnary, visitVarSel。
在Typer.java的visitVarSel中，我加入了LambdaSymbol的相关判断。
在Symbol.java中，我不得已删去了type的final修饰符；在VarSymbol.java中，我对于局部类型推导实现了新的构造函数；在LambdaSymbol.java中与VarSymbol.java中，我实现了函数public void setType(Type type)。以此，我能在Namer.java中定义lambda表达式与需要局部类型推导的变量的symbol，并修改ScopeStack.java中的lookupBefore函数，满足实验要求。
我实现了AssignCaptureError.java，在LocalScope.java中加入了成员变量public final Scope parent;，并在Typer.java的visitAssign中加入了lambda表达式中的对捕获的外层的非类作用域中的符号直接赋值的判断。
在Namer.java的visitLocalVarDef中，我将def.initVal.ifPresent(objects -> objects.accept(this, ctx));移到了所有ctx.declare(symbol);语句的后面。
我在Tree.java中的Stmt里新增了变量public Type returnType，在BuiltInType.java中新增了BuiltInType INCMP（Incompatible），并规定任何类型都是INCMP的子类型。这样，推导出该类型即表明“类型不兼容” 。之后我在Type.java中实现了函数public Type upperBound与public Type lowerBound，用于求出两个Type的上下界。为了处理Stmt里returnType可能为空的问题，我又在Stmt里实现了函数public void updateReturnType。以此，我修改了Typer.java中的函数visitBlock, visitFor, visitIf, visitWhile, visitReturn以更新return type。
我实现了IncompatRetTypeError.java，当block lambda的返回类型为INCMP时即报错。当block lambda的returns为false时，报MissingReturnError。
我去掉了Typer.java的visitAssign中要求不能为函数变量的检查。为了对于对一个类的成员方法进行赋值的情况报错，我实现了AssignMethodError.java，并在Tree.java的VarSel中加入了成员变量public boolean isMethod = false;，以区分函数变量与成员方法。
我在Typer.java中的visitIndexSel中加入了对于expr.array.type为ERROR时不再报错的检查。
我实现了BadLambdaArgCountError.java，简化了Typer.java中的visitCall使其不再调用typeCall。
框架中根据符号名在作用域中查找该符号的逻辑实现在了ScopeStack.java中，具体为findConflict和lookupBefore这两个函数，它们都调用了（前者还调用了（可以改成私有的）公有函数lookup，而lookup也调用了findWhile）一个私有函数findWhile，该函数直接从内向外遍历当前作用域栈，查找是否有满足要求的符号（要求即上述两个函数传入findWhile的参数，包括对作用域的限制条件与对符号的限制条件；而在一个作用域中查找即直接在TreeMap（平衡树）中查找该字符串），如果有多个满足要求的话返回第一个（即最内层的）。
在符号定义时，我们采用的是findConflict，即当当前作用域为非类作用域时对作用域的限制条件为非类作用域或全局作用域（否则无限制），对符号无限制。由于在Namer.java中定义一个符号时还没有访问到后面的符号，我们无需考虑一个符号与后面的符号重名的问题——毕竟报错是后面再次发现同样名称的符号时干的事情。
在符号引用时，我们采用的是lookupBefore，即对作用域无限制，但对局部作用域中的符号限制在当前定义变量的位置之前（如果当前正在定义变量的话），以避免形如int x = x + 1;的情况。在Typer.java中，我们已经在上一阶段定义了所有的符号（因此可以查找到后面的符号，这也是与findConflict的一个不同之处），因此必须对符号加以位置的限制（在实验中的lambda表达式作用域部分，我们还要加以 “不是当前正在定义的符号” 这一限制）。
考虑下例：
var a = fun(int u) {
var b = fun(int v) {
int c = c;
};
int c;
};在符号定义时，在定义第一个int c时第二个还没有定义，在定义第二个int c时第一个又在内层，因此findConflict查找不到；在符号引用时，int c = c;要引用c，而此时第一个int c正在定义，第二个int c位置又在后面，因此会报错undeclared variable 'c'。
第一趟遍历，即Namer.java中，我们检查了冲突的与其他一些不合法的定义（如定义一个类型为void的变量等），检查了类的继承关系形成森林，建立了所有作用域（Scope）与相应的符号（Symbol）表（虽然其中部分类型未知），定位了主类Main与主函数static void main()。概括地说，我们明确了程序声明了哪些标识符。
由于Namer继承了TypeLitVisited，我们在第一趟遍历中即确定了TInt, TBool, TString, TVoid, TClass, TArray以及实验中实现的TLambda节点的类型。在Namer.java中，我们也确定了ClassDef, MethodDef, LocalVarDef（如果不需要局部类型推导的话）节点的类型。
第二趟遍历，即Typer.java中，我们进行了自顶向下的类型检查，确定了（除TopLevel外）其余所有节点的类型，并在发现错误时根据具体情况报相应的错。换句话说，我们明确了每一处使用的标识符对应于哪一处的声明，以及各语句和表达式是否类型正确。
参考实验说明中的“访问者模式”小节，我们让每个节点都支持一个负责转发的方法accept，如：
@Override
public <C> void accept(Visitor<C> v, C ctx) {
v.visitTopLevel(this, ctx);
}再将遍历AST的Namer和Typer等都实现为一个访问者的实例，这样，对于任意的节点（TreeNode），我们只要调用它的 accept 方法，那么按照 OOP 的动态分派机制， 根据这个TreeNode的具体类型，相应的处理函数将被调用。具体来说，执行 node.accept(v) 时：
- 如果
node instanceof TopLevel，那么相当于调用的是TopLevel类的accept方法，该方法会调用v.visitTopLevel(node, ctx); - 如果
node instanceof ClassDef，那么相当于调用的是ClassDef类的accept方法，该方法会调用v.visitClassDef(node, ctx); - ……
感谢罗承扬、杨家齐、以及编译原理群中的同学们和助教们与我的讨论。
我于2019年11月17日将代码和报告（包括实验报告中问题的回答） 交给了傅舟涛同学参考。
我于2019年11月17日将代码交给了蒋佳轩同学、胡亦行同学参考。
我于2019年11月18日将报告交给了胡亦行同学参考。
我于2019年11月25日将代码和报告交给了卢睿同学参考。
我于2019年11月25日将代码交给了尹龙晖同学参考。
我于2019年11月29日将代码交给了潘慰慈同学参考。