如何使用Rascal从json文件读取/写入位置

Question

我们正在使用lang::json::IO::writeJSON()函数将一些数据序列化为JSON文件。

这很有效，直到我们尝试存储方法位置。一个位置包含<和>字符之间的起始行和列，显然，写入JSON文件不是问题（它以字符串形式写入，而不是尝试解析任何内容）。

当您想将lang::json::IO::readJSON与存储为字符串的位置一起使用时，问题开始。 Rascal尝试将字符串解析为对象，但失败。

例如：

rascal>map[str, loc] metrics = ();
map[str, loc]: ()
rascal>metrics["test"] = a;
map[str, loc]: ("test":|project:///rascal/bla.java|(0,0,<0,0>,<1,0>))
rascal>writeJSON(|file:///tmp/test.json|,metrics);
ok
rascal>metrics = readJSON(#map[str, loc], |file:///tmp/test.json|);
|std:///lang/json/IO.rsc|(925,2980,<30,0>,<58,160>): IO("could not parse URI:$.test")
        at *** somewhere ***(|std:///lang/json/IO.rsc|(925,2980,<30,0>,<58,160>))
        at readJSON(|std:///lang/json/IO.rsc|(3873,30,<58,128>,<58,158>))

是否有更好的方法将loc实例序列化/反序列化为JSON文件？

感谢您的帮助！

Answer 1

一种解决方案是将位置写为JSon对象而不是字符串，例如：

writeJSON(|file:///tmp/test.json|,metrics, unpackedLocations=true);

回读文件时，解析器将看到它必须通过解释每个字段的名称将对象转换回Rascal Source位置。

rascal>l = |project://x/y/z|(10,10,<1,2>,<3,4>);
loc: |project://x/y/z|(10,10,<1,2>,<3,4>)

rascal>writeJSON(|home:///example.txt|, [l], unpackedLocations=true)
ok

rascal>println(readFile(|home:///example.txt|))
[{"scheme":"project","authority":"x","path":"/y/z","offset":10,"length":10,"begin":[1,2],"end":[3,4]}]

rascal>readJSON(#list[loc], |home:///example.txt|)
list[loc]: [|file:///y/z|(10,10,<1,2>,<3,4>)]

ok