Как добавить информацию о xml-документе с помощью scala.в XML?

прежде всего:

  • Я знаю о anti-xml и масштабах, но я хотел бы использовать стандартную scala.в XML
  • Я предпочитаю создавать xml-документ с использованием явных методов, а не с неявным синтаксисом xml, встроенным в Scala

Итак, у меня есть такой кусок кода:

val text = new scala.xml.Text("just a text")
val root = new scala.xml.Elem(null,"element",null,scala.xml.TopScope,text)
val doc = new scala.xml.Document()
doc.docElem = root
println(doc.toString())

почти хорошо, но в результате я получаю:

<element>just a text</element>

и я хотел бы получить заголовок XML тоже, например:

<?xml version="1.0"?>
<element>just a text</element>

вопрос: Как его добавить?

конечно, в здравом смысле, а не какой-то взлом с дополнительными дословно println с заголовком ;-).

1 ответов


единственное решение, которое я нашел, это добавить следующий код

val writer : PrintWriter = new PrintWriter(System.out)
XML.write(writer,root,"utf-8",true,null)
writer.flush()