如何在变量中保留从规则中获取的值并在 ANTLR 语法中重用它？

Question

我在我的语法中声明了字符串变量，vAttributeName 和 vClassName，并为它们分配了标记的文本值：className 和属性名称。当我使用通常应在错误替代中包含值的变量之一时，因此在另一条规则中，它在消息中返回 null ... 为什么我的变量不保留这些值？我该如何解决？

grammar TestExpression;

@parser::members {
            String vAttributeName;
            String vClassName;
            }

/* SYNTAX RULES */
textInput               : classifierContext ;
classifierContext       : 'context' c=className attributeContext {vClassName = $c.text;};
attributeContext        : '::' a=attributeName ':' dataType initDefinition {vAttributeName = $a.text;};
initDefinition          : 'init' ':' initExpression ;

initExpression          : boolExpression
                        | decimalExpression
                        | dateTimeExpression
                        | .+? {notifyErrorListeners("Corriger - "l'attribut "+vAttributeName+" de l'entité "+vClassName+" ne correspond pas");}

我正在尝试解析一个表达式，该表达式描述了一个具有 false 值属性的类。

我预期的信息是：“Corriger - l'attribut seat de l'entité Car ne compatible pas”。

但实际消息是：“Corriger - l'attribute null de l'entité null ne compatible pas”。

Answer 1

如果您有类似a: b c {action}; 的规则以及与该规则匹配的输入，则事件将按以下顺序发生：

1. 应用规则b，如果有则执行其操作。
2. 应用规则c，如果有则执行其操作。
3. 动作 action 被执行，并且能够访问 b 和 c 规则的结果（包括由它们的动作设置的任何内容，这就是为什么这些动作首先运行很重要）。

如果您改为使用a: b {action} c;，则该操作将在b 之后但在c 之前执行（因此将无法访问c 的结果）。

因此，对于您的代码，这意味着 initExpression 的操作在 classifierContext 和 attributeContext 的操作之前运行，这就是未设置变量的原因。您可以通过移动操作来解决问题，使其在所需部分（即className/attributeName）被解析后直接发生。

您也可以完全摆脱变量，而是通过从祖父母上下文中获取所需的信息。