java - 检查 Xtend validator 中的类型

Question

我想检查我的 Xtend validator 中的功能类型。

Xtext 语法如下所示:

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

使用方法如下:

Element MyElement
    feature 2.5
end Element

如果尝试对 feature 使用 INTEGER 值而不是 DOUBLE，编辑器会显示错误:

mismatched input '84900' expecting RULE_DOUBLE

我想覆盖该消息。因此，我在 validator 中创建了一个验证方法。在该方法中，我想检查功能的类型。这就是我正在尝试做的事情:

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

instanceof 检查显示以下错误:

Incompatible conditional operand types double or Double and Double or double

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

Answer 1

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