Согласно документам , вы можете получить индекс, используя Index. Тем не менее, этот возвращает только одно целое число. Нужно ли вручную вычислять номер строки и столбца (например, с помощью Util.lineNumberLookup) или использовать IndexedParserInput.prettyIndex в результирующем индексе?