如何解决我怎样才能 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 项目中注册问题,那就太好了。谢谢
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。