xtext - 使用 Xtext 语法处理动态变量

Question

在我的 DSL 中，变量是动态的，它们是在第一次为它们分配值时创建的。所以这是一个有效的代码：

a = 0
b = 2 // new variable created
a = 3 // existing variable reassigned

我天真的方法是有这样的规则

Identifier:
  ID; // ID from Terminals

Assignable:
  {Assignable} ref=[Identifier|ID] |
  {Assignable} newVar=Identifier;

它不起作用，抱怨“以下替代方案永远无法匹配：2”。可以理解，因为生成的 Antlr 调试语法包含一个规则：

ruleAssignable: ruleIdentifier | ruleIdentifier;

（诀窍[Identifier|ID]来自对交叉引用问题的回答。我只是在没有完全理解的情况下复制了它：）我还试图了解它是如何在 Xbase 语法中解决的：

{XAssignment} /* (declaringType=[types::JvmDeclaredType] '::')? */ feature=[types::JvmIdentifiableElement|ValidID] OpSingleAssign value=XAssignment

它似乎只使用了交叉引用，我看不到新变量声明是如何处理的。

score 1 · Accepted Answer

对变量声明和赋值表达式使用相同的语法并不是一个特别好的主意。如果可能的话，我会为声明引入关键字或特殊运算符。

如果您不能或不想这样做，困难的方法是决定交叉引用或简单标识符。

如果您使用第一个，则必须禁用未解决引用的错误消息。如果您选择后者，您将不得不手动拉皮条内容辅助和超链接。

1 回答 1