【文件属性】：
文件名称：MiniJava:用 Java 编写的 MiniJava 编译器
文件大小：1.03MB
文件格式：ZIP
更新时间：2021-07-06 05:54:04
Java
第 1 部分：MiniJava 类型检查器
程序
准备 JavaCC 和 JTB
将minijava.jj给 JTB，JTB 将生成jtb.out.jj
将jtb.out.jj给 JavaCC，JavaCC 会产生一些 java 文件，唯一有用的 Java 文件是MiniJavaParser.java
创建主文件Typecheck.java 。
在Typecheck.java ， Node root = new MinijavaParser(System.in).Goal()应该从标准输入构建一个语法树
剩下的任务是实现访问者来执行类型检查。 根将接受两个不同的访问者并完成类型检查。 根据这本书，类型检查过程包括两个阶段
建立符号表
类型检查语句和表达式
因此，至少需要两名访客。 一个将建立符号表，另一个将在符号表的帮助下进行类型检查。
细节
BuildSymboltable.ja