如何从位置剥离线路信息？

Question

假设我有一个位置：

loc originalLocation = |project://proj/src/Test.java|(15,536,<3,0>,<41,1>),5,11,39)

如何剥离行信息，我得到：

 |project://proj/src/Test.java|

我试过了：

 loc l= ||+originalLocation.uri;

和

loc l = |originalLocation.uri| 

但在最后一种情况下，它当然是作为文本处理的。

Answer 1

您可以使用位置中的顶部字段来获取它。

rascal> originalLocation.top
loc: |project://proj/src/Test.java|