如何使用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
            ]
        }
    ]
}