我正在尝试使用Rascal来规范VS COBOL II。 COBOL中有许多构造具有所谓的置换短语,这些短语在SDF中直接用置换短语语法<>>>处理。我一直无法找到使用Rascal的方法。我当然是新手,但我找不到答案。
答案 0 :(得分:0)
我不认为它存在于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
;
这将是一个很好的功能请求!或拉动请求; - )