diff options
| author | Matthias Zenger <mzenger@gmail.com> | 2004-02-10 22:03:53 +0000 |
|---|---|---|
| committer | Matthias Zenger <mzenger@gmail.com> | 2004-02-10 22:03:53 +0000 |
| commit | bd2cb9d56f03843f34c6580983d96731d6dd14e2 (patch) | |
| tree | 7b7c5e2f117f43f218f72b0ba94b64481cd65b00 | |
| parent | 466ef4d1215d9274f70d83a06a9f87a58b778435 (diff) | |
| download | scala-bd2cb9d56f03843f34c6580983d96731d6dd14e2.tar.gz scala-bd2cb9d56f03843f34c6580983d96731d6dd14e2.tar.bz2 scala-bd2cb9d56f03843f34c6580983d96731d6dd14e2.zip | |
*** empty log message ***
| -rw-r--r-- | sources/scala/xml/Node.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sources/scala/xml/Node.scala b/sources/scala/xml/Node.scala index 9e052d3648..d9cc271ab6 100644 --- a/sources/scala/xml/Node.scala +++ b/sources/scala/xml/Node.scala @@ -66,7 +66,7 @@ class NodeList(theList:List[Node]) extends List[Node] { * of all elements of this sequence that are labelled with "foo". * Use /'_ as a wildcard. The document order is preserved. */ - def /(that:Symbol) = if( "_" == that.label ) { + def /(that: Symbol) = if( "_" == that.label ) { new NodeList( res ) } else { new NodeList( res.filter( y => y.label == that.label )) @@ -77,7 +77,7 @@ class NodeList(theList:List[Node]) extends List[Node] { * of all children of this node that are labelled with "foo" * Use /#'_ as a wildcard. The document order is preserved. */ - def /#(that:Symbol): NodeList = new NodeList( + def /#(that: Symbol): NodeList = new NodeList( if ( "_" == that.label ) { this.flatMap ( x => (x/#'_).toList ) } else { @@ -90,7 +90,7 @@ class NodeList(theList:List[Node]) extends List[Node] { }); - def toList:List[Node] = theList; + override def toList: List[Node] = theList; // forwarding list methods |