如何使用 xbase 检查 xtext 中的返回类型

Question

我正在尝试使用 xtext 开发一种小型语言。

def sum(Integer a, Integer b):Integer {
  return (a+b)
}

这是我使用的语法：

Function:
  'def' name=ValidID
  '('(params+=FullJvmFormalParameter (',' params+=FullJvmFormalParameter)*)? ')'
   ':' type=JvmTypeReference
   body=XBlockExpression;

出于对我来说显而易见的原因，它抱怨“Void 函数不能返回值”。如何将返回表达式的类型与函数声明中的类型联系起来？

Answer 1

您必须将表达式放入 JvmOperation 的上下文中。如果您想了解有关推断的 JVM 模型的更多信息，请参阅领域模型示例、文档和 7 种语言。

基本上，您需要做的是以下几方面的事情：

def dispatch infer(MyLanguageConcept concept, IJvmDeclaredTypeAcceptor acceptor, boolean prelinking) {
    acceptor.accept(
        concept.toClass( concept.fullyQualifiedName )
    ).initializeLater [
        for ( definition : concept.getDefinitions ) {
            members += definition.toMethod(
                    definition.name,
                    definition.type) [
                for (p : definition.params) {
                    parameters += p.toParameter(p.name, p.parameterType)
                }
                body = definition.body
            ]
        }
    ]
}