【发布时间】:2019-12-17 12:38:53
【问题描述】:
位置的可选参数似乎是重复信息:
- 偏移量/长度定义选择的起始字符和结束字符
- 开始/结束行/列似乎用于同一件事
但是,开始/结束行/列似乎不起作用:位置
|project://file.java|(0,100,<1,1>,<1,1>)
地点
|project://file.java|(0,100,<9,2>,<17,23>)
返回相同的内容(当使用例如 readFile() 显示时)。
这就引出了两个问题:
如果出于任何实际原因不使用开始/结束行/列,它们有什么用?
有没有办法在只知道开始/结束行/列而不知道偏移量/长度时构造位置? (不访问文件)
我发现了一个与这个问题(How to construct a location?)相关的问题,但那里给出的答案并没有解释这一点。
【问题讨论】:
标签: rascal