Created a copy method for Elem like the one whi...

Created a copy method for Elem like the one which would be generated
for it if a) it were still a case class and b) it didn't have a Node*
argument, which apparently suppresses the generation of the copy method.

1 files changed, 18 insertions, 9 deletions

diff --git a/src/library/scala/xml/Elem.scala b/src/library/scala/xml/Elem.scala
index 28032fcc30..49582fb443 100644
--- a/src/library/scala/xml/Elem.scala
+++ b/src/library/scala/xml/Elem.scala
@@ -71,14 +71,23 @@ extends Node
    *  @return a new symbol with updated attributes
    */
   final def %(updates: MetaData): Elem =
-    Elem(prefix,
-         label,
-         MetaData.update(attributes, scope, updates),
-         scope,
-         child:_*)
+    copy(attributes = MetaData.update(attributes, scope, updates))
 
-   /** Returns concatenation of <code>text(n)</code> for each child
-    *  <code>n</code>.
-    */
-   override def text = child map (_.text) mkString
+  /** Returns a copy of this element with any supplied arguments replacing
+   *  this element's value for that field.
+   *
+   *  @return a new symbol with updated attributes
+   */
+  def copy(
+    prefix: String = this.prefix,
+    label: String = this.label,
+    attributes: MetaData = this.attributes,
+    scope: NamespaceBinding = this.scope,
+    child: Seq[Node] = this.child.toSeq
+  ): Elem = Elem(prefix, label, attributes, scope, child: _*)
+
+  /** Returns concatenation of <code>text(n)</code> for each child
+   *  <code>n</code>.
+   */
+  override def text = child map (_.text) mkString
 }