0

私がノードを持っていることを考えると

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

ある要素の値を新しい値に変更したい場合、どうすればよいですか

あれは、

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

に

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

これがかなりばかげた質問である場合はお詫びします。私はScalaに非常に慣れておらず、xml編集に関する決定的な答えを見つけていません。

4

1 に答える 1

3

ノードは不変であるため、編集が少し面倒です。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>

于 2013-07-11T20:02:55.823 に答える