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

【问题标题】：How to strip off the line information from a Location?如何从位置中剥离线路信息？
【发布时间】：2014-12-09 10:31:01
【问题描述】：

假设我有一个位置：

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|

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

【问题讨论】：

标签： rascal

【解决方案1】：

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

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

【讨论】：