0

我将为我的 dsl 编写一个推断器，并且我有一些仅靠文档的帮助无法解决的问题。

第一个：我需要从一个特性创建静态 void main()：如何添加静态.toMethod ()？

第二个：假设我的 dsl 中有这样的规则：

Sequence:
    'SEQ' name=ID '{'
        statements+=Statement*
    '}'
;

哪里声明：

Statement:
    Sequence | others...
;

Sequence 必须映射到void 方法，并且该方法的主体由语句的翻译组成。但问题是这样的：当在一个序列中我会找到另一个序列时，我必须为新序列创建一个方法并在超级序列中添加一个调用。

例如：

SEQ first {
   instructions...
   SEQ second {
      other instructions....
   }
   instructions...
}

必须生成：

void first(){
   instructions(translated)...
   second();
   instructions(translated)...
}
void second(){
   other instructions(translated)...
}

有可能实现吗？

4

1 回答 1

1

第一个问题：

ctx.toMethod('main', ctx.newTypeRef(Void.Type)) [
  static = true
  ….
]

第二个问题：

暗示“指令”是指“XExpression”的实例，您需要花点功夫，因为目前无法在推理过程中编写新的表达式。您可以做的基本上是使您的序列成为 XExpression 的子类型。然后在 JvmModelInference 期间，您需要遍历表达式树（语句）并为序列创建方法。您需要覆盖 XbaseTypeComputer 以及 XbaseCompiler 并为您的表达式添加类型计算和编译策略。后者将是对推理期间创建的方法的调用。

于 2013-11-29T07:19:13.823 回答