diff options
author | Burak Emir <emir@epfl.ch> | 2006-03-25 14:11:13 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2006-03-25 14:11:13 +0000 |
commit | 705747005fd5ff524a8766edf82c44efd19dd1c6 (patch) | |
tree | 2afeec77378c37b85de1e267496028f1b1939cad | |
parent | f15cab9b7fe396481bb5d1cfc51445a537d3c1c2 (diff) | |
download | scala-705747005fd5ff524a8766edf82c44efd19dd1c6.tar.gz scala-705747005fd5ff524a8766edf82c44efd19dd1c6.tar.bz2 scala-705747005fd5ff524a8766edf82c44efd19dd1c6.zip |
handle xml prefix now
-rw-r--r-- | src/library/scala/xml/TopScope.scala | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/library/scala/xml/TopScope.scala b/src/library/scala/xml/TopScope.scala index b3dcb3ab1d..5d0bdda5d7 100644 --- a/src/library/scala/xml/TopScope.scala +++ b/src/library/scala/xml/TopScope.scala @@ -17,17 +17,17 @@ package scala.xml; */ case object TopScope extends NamespaceBinding(null, null, null) { - override def getURI(_prefix: String) = - if(_prefix == "xml") - return "http://www.w3.org/XML/1998/namespace"; + override def getURI(prefix1: String) = + if(prefix1 == XML.prefix) + XML.namespace; else - return null; + null; - override def getPrefix(_uri: String) = null; - if(_uri == "http://www.w3.org/XML/1998/namespace") - return "xml"; + override def getPrefix(uri1: String) = + if(uri1 == XML.namespace) + XML.prefix; else - return null; + null; override def toString() = ""; |