我正在编写一个字符串上下文宏,其编译器错误消息以您可能期望的方式放置^:
在宏中:
c.abort(c.enclosingPosition, errMsg)
控制台输出:
foo"stuff stuff BROKEN stuff"
^
我希望小帽子^指向字符串中的特定位置,例如:
foo"stuff stuff BROKEN stuff"
^
仔细考虑使用Position API的各种方法,我可以轻松地从一些现有树中提供一个位置,但是我找不到在树内设置任意位置的方法,例如字符串文字。有办法做到这一点吗?
答案 0 :(得分:2)
如果您拥有Tree
和偏移量,则可以使用withPoint
来计算新的Position
tree.pos.withPoint(tree.pos.start + offset)