25、Xbase在DSL中的应用与实践

Xbase在DSL中的应用与实践

1. Xbase与Java的集成及IJvmModelInferrer接口

Xbase的一个有趣特性是与Java的集成，这种集成能让基于Xbase的DSL复用Xtend中已体验过的集成功能。这意味着，Xbase的整个类型系统（与Java类型系统对应）以及Xtend中的类型推断机制，都将成为DSL的一部分。

要在DSL中复用Xbase类型系统，仅使用Xbase语法规则是不够的，还需为模型元素提供上下文，让Xbase能根据该上下文检查模型元素。具体来说，要告诉Xbase如何将模型元素映射到Java模型元素，这样Xbase就能对模型元素中的Xbase表达式进行类型检查。

需要将模型元素映射到Java类型（类和接口）、字段和方法，这是一种模型到模型的映射。当将模型元素映射到Java模型方法时，可指定其方法体由Xbase表达式表示，Xbase就能在Java方法的上下文中对该表达式进行类型检查。

这种映射通过实现 IJvmModelInferrer 接口来指定。由于在语法中使用了Xbase，MWE2工作流会在 jvmmodel 子包中生成一个Xtend存根类 ExpressionsJvmModelInferrer ，其中有一个名为 infer 的空分派方法，用于指定到Java元素的映射：

def dispatch void infer(ExpressionsModel element,
    IJvmDeclaredTypeAcceptor