由于位置中的 < 和 > 操作位置失败

Question

我有一个位置

|java+class:///smallsql/database/CommandDrop|(114,115,<3,68>,<8,5>)

我想转换成

|project://SmallSQL/src/smallsql/database/CommandDrop.java|(114,115,<3,68>,<8,5>)。

我想通过使用toString 来执行此操作，然后操作生成的String，然后应用toLocation。但是，这是失败的，因为toString 将把< 变成\< 和> 类似。现在toLocation 会将其视为格式错误的 URI。有人知道吗？

Answer 1

如果你想操纵一个位置的路径，保持其余部分不变，只需这样做：

myLoc.path = myManipulation(myLoc.path);

myManipulation 是一个函数。

但对我来说，您似乎只想将逻辑位置解析为物理位置：

import IO;
myLoc = resolveLocation(myLoc);

请注意，在使用analysis::m3::Registry::registerProject之前，该项目的M3型号必须已注册，否则解析将不起作用。

您也可以通过在M3模型的declarations表中查找来直接查找您需要的路径。