本文系 Creating JVM language 翻译的第五篇。
原文中的代码和原文有不一致的地方均在新的代码仓库中更正过，建议参考新的代码仓库。

源码

Github

解析规则的更改

上一节中，我们定义了 Enkel 语言的特性。本节中我们来实现 “类”。

原来的解析规则：

1
2
compilationUnit : ( variable | print )* EOF;
variable : VARIABLE ID EQUALS value;

变更后的规则：

1
2
3
4
compilationUnit : classDeclaration EOF ; //root rule - our code consist consist only of variables and prints (see definition below)
classDeclaration : className '{' classBody '}' ;
className : ID ;
classBody :  ( variable | print )* ;
  • 一个文件有且仅有一个类声明
  • 类声明包含类型和大括号中的类主体
  • 类主体包含变量和打印语句（如我们之前的定义）

更改后的语法规则可视化如下所示：

Compiler 更改

主要改变是需要把原来的代码从 ByteCodeGenerator 移动到 CompilationUnit 和 ClassDeclaration，逻辑如下:

  1. Compiler 从 SyntaxParseTreeTraverser 获得 AST

  2. Compiler 实例化 CompilationUnit：

    1
    2
    3
    //Compiler.java
    final CompilationUnit compilationUnit = new SyntaxTreeTraverser().getCompilationUnit(fileAbsolutePath);
    //Check getCompilationUnit() method body on github

  3. CompilationUnit 负责实例化 ClassDeclaration（需要传递类名和指令序列）

  4. ClassDeclaration 处理类定义指令，以及循环处理 ClassScopeInstructions：
    1
    2
    3
    //ClassDeclaration.java
    MethodVisitor mv = classWriter.visitMethod(ACC_PUBLIC + ACC_STATIC, "main", "([Ljava/lang/String;)V", null, null);
    instructions.forEach(classScopeInstruction -> classScopeInstruction.apply(mv));

另外一点改动是: 输出的 .class 文件名字以类名为依据，而不是以 .enk 文件名字为依据。

1
2
3
4
String className = compilationUnit.getClassName();
String fileName = className + ".class";
OutputStream os = new FileOutputStream(fileName);
IOUtils.write(byteCode,os);