xml - 我可以使用 scala 编辑 xml 吗？

Question

鉴于我有一个节点

var xml = XML.loadFile("some/file/here")

如果我想将某个元素的值更改为新值，我该怎么办

那是，

...
<anElement>5</anElement>
...

至

...
<anElement>blooblahblahyah</anElement>
...    

抱歉，如果这是一个非常愚蠢的问题，我对 Scala 非常陌生，并且还没有找到任何关于 xml 编辑的明确答案。

Answer 1

节点是不可变的，这使得编辑它有点乏味。Scala XML book
中有示例。

val foo = <foo><bar>1</bar><bar>2</bar></foo>
foo.copy (child = foo.child.map {case bar: scala.xml.Elem =>
  bar.copy (child = scala.xml.Text ((bar.text.toInt + 1).toString))})

res0: scala.xml.Elem = <foo><bar>2</bar><bar>3</bar></foo>