Irony .NET：表达式运算符优先级

Question

我正在使用 Irony 来解析 DSL，它具有可以与 AND 和 OR 组合的表达式：

/* snip */

RegisterOperators(4, orKeyword);
RegisterOperators(5, andKeyword);
RegisterOperators(9, lessThanOperator, lessEqualOperator, equalOperator, notEqualOperator, moreThanOperator, moreEqualOperator);

infixOperator.Rule = andKeyword | orKeyword;
expression_in_parens.Rule = L_PAR + expression + R_PAR;
primaryExpression.Rule = expression_in_parens | methodCall | identifier | numberIdentifier | stringIdentifier;
unaryExpression.Rule = notKeyword + L_PAR + expression + R_PAR;
binaryExpression.Rule = expression + infixOperator + expression;
compareExpression.Rule = expression + compareOperator + expression + ReduceHere();
expression.Rule = primaryExpression | unaryExpression | compareExpression | binaryExpression;

我有以下表达式：“A and (B and C or D)”。它被解析为“A 和（B 和（C 或 D））”，但我需要它是“A 和（（B 和 C）或 D）”。

我认为将 and 关键字注册为比 or 关键字优先级更高的运算符就可以做到这一点。我错过了什么？

Answer 1

我通过为 AND 和 OR 创建单独的规则并将其按正确的顺序排列来使其工作：

binaryAndExpression.Rule = expression + andKeyword + expression;
binaryOrExpression.Rule = expression + orKeyword + expression;
compareExpression.Rule = expression + compareOperator + expression + ReduceHere();
expression.Rule = compareExpression | binaryAndExpression | binaryOrExpression | unaryExpression | primaryExpression;

Answer 2

Irony 解析器检查终端“orKeyword”、“andKeyword”中运算符的优先级。但有非终结符“infixOperator”没有优先权。所以，你已经为它设置了瞬态：MarkTransient(infixOperator)。