格式化生成规则而不使用推断类型

Question

有时，在定义Xtext语法时，我定义了没有impred类型的生产规则。

例如，在定义表达式语言时，括号可用于处理运算符优先级，但不必是元模型中的类型。

例如，语法波纹可用于定义以下两个布尔表达式“true && false || true”和“true &&（false || true）”。

Expr returns Expression:
    Or;


Or returns Expression:
    And (=> ({And.left=current} '||') right=And)*;

And returns Expression:
    Lit (=> ({CmdAnd.left=current} '&&') right=Lit)*;

Lit returns Expression:
    {BoolTrue} 'true' | 
    {BoolFalse} 'false' 
    '(' Expression ')';

在xtext中，格式化是通过将EMF模型元素分派为格式化方法来完成的，例如：

def dispatch void format(And and, extension IFormattableDocument document) {

}

但是在Lit的第三个生成规则（括号）的情况下，没有任何类型是故意定义的，这阻止了我发送到这个句法元素。因此，我无法找到一种方法来为我的语法部分定义格式规则。

如何在这样的上下文中为括号定义格式规则？

Answer 1

我认为你必须在更高的层面上这样做，例如

@Inject extension DomainmodelGrammarAccess

def dispatch void format(Operation operation, extension IFormattableDocument document) {

    operation.allRegionsFor.keywords(XParenthesizedExpressionAccess.leftParenthesisKeyword_0).forEach [
        append[noSpace]
    ]
    operation.allRegionsFor.keywords(XParenthesizedExpressionAccess.rightParenthesisKeyword_2).forEach [
        prepend[noSpace]
    ]