This page is no longer maintained — Please continue to the home page at www.scala-lang.org

[scala-bts] #3336: Add childElements convenience method to scala.xml.Elem

No replies
Scala 2
Joined: 2009-03-05,
User offline. Last seen 42 years 45 weeks ago.

---------------------+------------------------------------------------------
Reporter: eengbrec | Owner: scala-xml_team
Type: defect | Status: new
Priority: normal | Component: XML support
Keywords: xml |
---------------------+------------------------------------------------------
I'd like a method like this on scala.xml.Elem
{{{
def childElements = child.collect { case e: Elem => e }
}}}
So that I can save a few keystrokes when I just want the children that are
elements, not all of the children.

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland