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

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

  • Я знаю о anti-xml и scales, но я хотел бы использовать стандартный 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 с заголовком ;-).

10
задан greenoldman 22 January 2012 в 21:50
поделиться