我怎样才能 iprint 到字符串？

问题描述

使用 iprint 我可以打印 AST 或者使用 iprintToFile 我可以将其打印到文件中。

我可以打印到文件然后读取文件。

如何将 iprint 打印到字符串？

解决方法

IO 标准库模块中似乎缺少该函数。

一个（肮脏的）解决方法：

str iprintToStr(value x) {
  filename = |tmp:///iprintToString|;
  iprintToFile(filename,x);
  return readFile(filename);
}

您还可以使用其中一种内存文件系统，例如：|test-temp://iprintToString|，它比 tmp 方案更快。

如果您在 github 上的 usethesource/rascal 项目中注册问题，那就太好了。谢谢