rascal - 如何在 Rascal 语法规范中表达 SDF2 置换短语语法 (<<..>>)

Question

我正在尝试使用 Rascal 规范 VS COBOL II。COBOL 中有许多具有所谓的置换短语的结构，它们在 SDF 中直接使用置换短语语法 <<..>> 进行处理。我无法找到如何使用 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
  ;

将是一个不错的功能请求！或拉取请求;-)