检查X趋向验证器中的类型

Question

我想检查我的X趋向验证器中的一个特性的类型。

Xtext语法如下所示：

Element:
    'Element' name=ID
    'feature' feature=DOUBLE
    'end' 'Element'
;

这就是它的使用方式：

Element MyElement
    feature 2.5
end Element

如果试图使用INTEGER值代替DOUBLE用于feature，则编辑器将显示以下错误：

不匹配输入“84900”期望的RULE_DOUBLE

我想改写这封信。因此，我在我的验证器中创建了一个验证方法。在方法中，我想检查特性的类型。这就是我想要做的：

@Check
def checkFeatureType(Element element) {
    if (element.feature instanceof Double) {
        // shows error!
    }
}

instanceof检查显示以下错误：

不兼容的条件操作数类型:双或双，双或双

如何执行类型检查，或者是否有更好的方法来覆盖上面提到的标准消息？

Answer 1

多亏了塞巴斯蒂安，我找到了解决办法。

首先，有必要将一个SyntaxErrorMessageProvider添加到具有<LanguageName>RuntimeModule名称的RuntimeModule中。如果在我的开篇文章中给出了一个例子，那就是MyLanguageRuntimeModule。

public class MyLanguageRuntimeModule extends my.language.AbstractMyLanguageRuntimeModule {
    public Class<? extends org.eclipse.xtext.generator.IGenerator> bindIGenerator() {
        return my.language.generator.MyLanguageGenerator.class;
    }

    public Class<? extends ISyntaxErrorMessageProvider> bindISyntaxErrorMessageProvider() {
        return MyLanguageSyntaxErrorMessageProvider.class;
    }
}

之后，应该创建新的类。在我的例子中，类名是MyLanguageSyntaxErrorMessageProvider.java。然后，这个类应该充满逻辑。例如，要覆盖我在第一篇文章中提到的消息，MyLanguageSyntaxErrorMessageProvider中的MyLanguageSyntaxErrorMessageProvider可以如下所示：

@Override
public SyntaxErrorMessage getSyntaxErrorMessage(IParserErrorContext context) {
    if (context.getRecognitionException() instanceof MismatchedTokenException) {
        MismatchedTokenException exception = (MismatchedTokenException) context.getRecognitionException();
        String value = exception.token.getText();
        return new SyntaxErrorMessage("The type of " + value + " is wrong.", IssueCodes.FALSE_PARAMETER_TYPE);
    }
    // additional implementations
    return null;
}

我的类IssueCodes.java看起来如下(可以用附加的问题代码进行扩展)：

public interface IssueCodes {
    String PREFIX = "my.language.";

    String UNCAPITALIZED_ENTITY_NAME = "UncapitalizedEntityName";
    String FALSE_PARAMETER_TYPE = "FalseParameterType";
}

Answer 2

要覆盖解析器生成的消息，您需要专门化org.eclipse.xtext.parser.antlr.ISyntaxErrorMessageProvider，并在语言的运行时模块中绑定自己的实现。