Насколько я вижу, это не обеспечивается API XMLEventReader
.
Он опирается на io.Source
и может предоставлять доступ к местоположению, но не предоставляет.Я не вижу простого способа обойти это, поскольку объект, имеющий доступ к позиции, является личным.
Возможно, вы захотите сделать свою собственную копию XMLEventReader
, которая производиткастом XMLEvent
с позицией.Методом изменения будет override def elemStart
, который имеет доступ к позиции и может генерировать еще один EvPos(line:Int, column:Int)
после каждого EvElemStart
.
. Вы также можете рассмотреть возможность использования 2.9.RC1, поскольку исправлены некоторые ошибки, связанные с производительностью.