From bd2cb9d56f03843f34c6580983d96731d6dd14e2 Mon Sep 17 00:00:00 2001 From: Matthias Zenger Date: Tue, 10 Feb 2004 22:03:53 +0000 Subject: *** empty log message *** --- sources/scala/xml/Node.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'sources') 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 -- cgit v1.2.3