庄周梦蝶

//test/main.class
public class main
    implements RubyProgram
{

    public main()
    {
    }

    public static void main(String args[])
    {
        RubyRuntime.init(args);
        (new main()).run();
        RubyRuntime.fini();
    }

    public RubyValue run()
    {
        RubyRuntime.ObjectClass.defineMethod("say_hello_three_times", new say_hello_three_times._cls0());
        return RubyRuntime.callMethod(ObjectFactory.topLevelSelfValue, null, null, "say_hello_three_times");
    }
}


//say_hello_three_times$0.class
class say_hello_three_times$0 extends RubyMethod
{

    protected RubyValue run(RubyValue rubyvalue, RubyArray arrayvalue, RubyBlock rubyblock)
    {
        return RubyRuntime.callPublicMethod(ObjectFactory.createFixnum(3), null, new BLOCK._cls1(), "times");
    }

    public say_hello_three_times$0()
    {
        super(0, false);
    }
}


//test/BLOCK$1.class
class BLOCK$1 extends RubyBlock
{

    protected RubyValue run(RubyValue rubyvalue, RubyArray arrayvalue)
    {
        RubyArray arrayvalue1 = new RubyArray(1);
        arrayvalue1.add(ObjectFactory.createString("hello"));
        return RubyRuntime.callMethod(rubyvalue, arrayvalue1, null, "puts");
    }

    public BLOCK$1()
    {
        super(0, false);
    }
}

在main类中：首先在"Object"类中定义了一个私有的方法"say_hello_three_times",然后通过no parameter, no block和一个top level "self"作为接收者的方式调用这个方法。

"say_hello_three_times$0"类表示say_hello_three_times方法的实现（参考command模式）。在代码中，我们可以看到Fixnum"3"(接收者）调用了"timer"这个方法，仍然没有parameter，但是有一个block被传进去（方法）。

BLOCK$1类则表示传进"3.times"方法中的block，代码中是"puts 'hello'"的实现。

源码结构

• com.xruby.compiler.parser 提供了一个compiler前端(parser and tree parser)。 Parser转换ruby脚本成AST (Abstract Syntax Tree)，然后 tree parser将AST转换为内部结构（internal structure）。
  编译器前端使用 Antlr 作为语法分析器的生成器.实践证明，将这个前端分为两部分可以带来好处：parser 和 tree parser；其中 parser 解析脚本，而tree parser生成内部结构（internal structure）。
• com.xruby.compiler.codedom 定义了描述ruby脚本结构的内部结构（internal structure）。内部结构作为前端和后端的接口，对于xruby是非常重要的。
• com.xruby.compiler.codegen 实现了编译器的后端（代码生成）。后端将前端生成的内部结构转换为java字节码。代码生成是通过ASM实现的，ASM简化了对字节码的操作。
• com.xruby.runtime 实现了xruby运行时（runtime），它维护着运行ruby脚本必需的类型系统, com.xruby.runtime.lang 描述了ruby类型的运行时结构，一些ruby内建标准库实现在 com.xruby.runtime.builtin.

内建库

通往xuby hacking之路最简便的办法就是学习 'com.xruby.runtime.builtin'包的源代码。

下面是来自Fixnum::+方法实现的代码片段：

class Fixnum_operator_plus extends RubyMethod {
    public Fixnum_operator_plus() {
        super(1);
    }

    protected RubyValue run(RubyValue receiver, RubyArray args, RubyBlock block) {
        RubyFixnum value1 = (RubyFixnum)receiver.getValue();
        RubyFixnum value2 = (RubyFixnum)args.get(0).getValue();
        return ObjectFactory.createFixnum(value1.intValue() + value2.intValue());
    }
}


RubyClass c = RubyRuntime.GlobalScope.defineNewClass("Fixnum", RubyRuntime.IntegerClass);
c.defineMethod("+", new Fixnum_operator_plus());

XRuby的语法解析器

Xruby的解析器使用 Antlr 作为解析器的生成器。 这是目前相比于c ruby唯一另类的ruby语法。

对于大部分编程语言来说，词法分析（lexing）和语法解析是两个不同的步骤：首先词法分析器将输入的字符组织成单词（token），然后解析器将单词组织成句法单元。但是在ruby（和perl语言）中，词法分析器和语法解析器是紧紧地耦合在一起的：有时候词法分析器需要从语法分析器中获取上下文信息。

疑难解决

作为Xruby的开发者，我们的任何改变都可能导致编译器出错并且生成有问题的字节码。当这种情况发生时，我们可以依赖3样工具：javap,ASM和你所喜欢的java反编译器(比如jad）

如果生成的class文件格式正确但是运行结果不是预期的，我们可以简单地使用反编译工具将字节码转换成可读的java源代码,以便查找错误。

如果你遇到是一个verifier error，大部分的反编译器都不能正常工作（jad在这种情况也许会crash掉）。我们不得不使用javap来研读字节码。多数情况下，JVM class验证器（verifier）给出的信息没什么用处，但是我们可以通过ASM更快地找到错误发生点。(see ASM FAQ: Why do I get the [xxx] verifier error?).