如何在Rascal语法规范中表达SDF2置换短语语法（＆lt;＆lt;＆gt;＆gt;＆gt;）

Question

我正在尝试使用Rascal来规范VS COBOL II。 COBOL中有许多构造具有所谓的置换短语，这些短语在SDF中直接用置换短语语法＆lt;＆gt;＆gt;＆gt;处理。我一直无法找到使用Rascal的方法。我当然是新手，但我找不到答案。

Answer 1

我不认为它存在于SDF2中。那一定是SDF2的一个非常老的版本，因为我记得8年前删除了这个功能： - ）

无论如何，我们可以使用Rascal中的一些参数化非终端来模拟它，如下所示：

syntax Perm2[&T, &U] 
  = &T &U 
  | &U &T
  ;

syntax Perm3[&T, &U, &V] 
  = &T &U &V 
  | &T &V &U 
  | &U &T &V 
  | &U &V &T 
  | &V &T &U 
  | &V &U &T
  ;

这将是一个很好的功能请求！或拉动请求; - ）