如何在 Rascal MPL 中序列化/反序列化数据到文件

Question

我需要一种在 Rascal 中序列化数据的方法，因为某些操作可能相对较慢，并且需要某种快速形式的缓存。例如 AST 的构建。

我使用以下代码段从项目的指定位置构建 AST：

list[Declaration] getASTs(loc projectLocation) {
    M3 model = createM3FromMavenProject(projectLocation);
    list[Declaration] asts = [createAstFromFile(f, true)
        | f <- files(model.containment), isCompilationUnit(f)];
    return asts;
}

现在构建一个特定的 AST 需要一些时间（大约 2-3 秒）。因此，我希望将结果缓存在某个转储文件中：

loc smallsqlLoc = projectLoc + "smallsql0.21_src";
loc dumpLoc = projectLoc + "dump/smallsql.bin";

if(!exists(dumpLoc)) {
    list[Declaration] dumpAsts = getASTs(smallsqlLoc);
    writeFile(dumpLoc, dumpAsts);
}

并将其读回内存（希望会更快）：

if(!exists(dumpLoc))
    throw "Error: dump does not exist.";
list[Declaration] asts = readFile(dumpLoc);

但 readFile 的返回类型是str, 不是list[Declaration]。简单的强制转换显然不能解决问题。如何将最初写入文件的 AST 恢复到内存中？更一般地说，如何在 Rascal 中对文件中的任何数据类型进行序列化和反序列化？

Answer 1

您正在寻找writeBinaryValueFile（以及readBinaryValueFile）它们负责读取和写入几乎所有流氓值（函数除外，我们无法序列化它们）。

您writeFile使用的是文本文件，但它们并不用于数据存储（除非您正在生成源代码）。

用法示例：

model = createM3FromMavenProject(projectLocation);
writeBinaryValueFile(|tmp:///test.cache|, model);
model2 = readBinaryValueFile(#M3, |tmp:///test.cache|);

因此，关于缓存，如果您想要跨运行时缓存，writeBinaryValueFile这是可行的方法。如果您需要在同一会话内进行缓存，您可以查看@memo充当缓存的标签。它没有明确记录，但您可以查看围绕此功能的测试：lang::rascal::tests::basic::Memoization。