如何在 Rascal 中初始化包含表达式列表的元组

如何解决如何在 Rascal 中初始化包含表达式列表的元组

我正在尝试创建一个递归查找 For 循环的方法。我需要先初始化返回值（一个元组），但我该怎么做呢？ 我试过： tuple[list[Expression],Statement] = [];

另外，如果我要绑定一个完整的语句，比如;

case s:\for(_,_,_): 

这是否是正确的类型：tuple[list[Expression],Statement]？

public tuple[list[Expression],Statement] showForLoops(loc project) {
 set[loc] files = javaFiles(project);
 set[Declaration] decls = createAstsFromFiles(files,false);
 tuple[list[Expression],Statement] result = [];
visit (decls) {
 case \for(initializers,body): result += < initializers,body>;
}
return(result);
}