Rascal 中有没有办法从其相应的数据类型生成语法的语法定义？

Question

让问题更具体一点。我想知道我是否可以从内置的语法数据结构中生成 Rascal 可解析代码，这当然是解析的 rascal 代码。我想要这个，因为它更易于阅读，而且是一个不错的功能，因为它可以使这部分解析变得可转换。

从这个实例来看：

data Grammar = \grammar(set[Symbol] starts, map[Symbol sort, Production def] rules);

这样的：

start syntax E 
    = E "+" T
    | T
    ;

syntax T
    = T "*" F
    | F
    ;

syntax F
    = "(" E ")"
    | "a"
    ;

Answer 1

是的，该实用程序可以在 'lang:: rascal::format::Grammar' 中找到

'grammar2rascal' 将整个语法格式化为定义相同语法的流氓程序。

'topProd2rascal' 将单个规则映射回其以流氓符号表示的具体定义。