rascal - 从字符串构造位置

Question

我的网络服务器收到以下字符串:"|project://Detector/src/exporter.rsc|(1762,28,<45,10>,<45,38>)"使用 toLocation()将其转换为位置的函数将导致 MalFormedURI 错误。

我可以使用 toLocation()函数转换字符串 loc myLoc = toLocation("project://Detector/src/exporter.rsc");到一个位置。使用正则表达式我可以提取 "0,10,<2,0>,<4,10>" .但现在的问题是我能做到:myLoc(0,10,<2,0>,<4,10>) , 但我做不到 myLoc("0,10,<2,0>,<4,10>") .我可以使用正则表达式提取所有这些位置数据，然后将其添加到该位置，但这会产生令人讨厌的代码。

用位置数据转换字符串的最佳实践是什么，例如。 "|project://Detector/src/exporter.rsc|(1762,28,<45,10>,<45,38>)"到包含位置数据的位置。

Answer 1

我认为最稳健的方式是这样的:

import ValueIO;
str theString = "|project://Detector/src/exporter.rsc|(1762,28,\<45,10\>,\<45,38\>)";
theLoc = readTextValueString(#loc, theString);

该函数可能会抛出您可以捕获和处理的解析错误，但我猜您的设置不会发生这种情况。