第 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
2022-01-17 22:33:39
1.03MB
Java
1