diff options
author | buraq <buraq@epfl.ch> | 2005-04-26 10:56:01 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2005-04-26 10:56:01 +0000 |
commit | c0f530cfa0d402a4563ef2af421ff4992885316e (patch) | |
tree | 32e6604107d4b2f9f8808728457b48e4dd64b7af | |
parent | badd1338a02cf1bf587ca787a52f17c90aa43c89 (diff) | |
download | scala-c0f530cfa0d402a4563ef2af421ff4992885316e.tar.gz scala-c0f530cfa0d402a4563ef2af421ff4992885316e.tar.bz2 scala-c0f530cfa0d402a4563ef2af421ff4992885316e.zip |
added TopScope again
-rw-r--r-- | config/list/library.lst | 1 | ||||
-rw-r--r-- | sources/scala/xml/NamespaceBinding.scala | 18 | ||||
-rw-r--r-- | sources/scala/xml/TopScope.scala | 20 |
3 files changed, 21 insertions, 18 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index 95aafb2102..a884ec94b2 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -229,6 +229,7 @@ xml/ProcInstr.scala xml/SpecialNode.scala xml/Text.scala xml/TextBuffer.scala +xml/TopScope.scala xml/Utility.scala xml/XML.scala diff --git a/sources/scala/xml/NamespaceBinding.scala b/sources/scala/xml/NamespaceBinding.scala index d6de574dd9..67222d912d 100644 --- a/sources/scala/xml/NamespaceBinding.scala +++ b/sources/scala/xml/NamespaceBinding.scala @@ -57,21 +57,3 @@ class NamespaceBinding(val prefix: String, val uri: String, val parent: Namespac } -case object TopScope extends NamespaceBinding(null,null,null) { - - /* - override def contains(pre:String) = false; - */ - override def getURI(_prefix: String) = null; - - override def getPrefix(_uri: String) = null; - - override def toString() = ""; - - override def toString(stop: NamespaceBinding) = ""; - - override def toString(sb: StringBuffer, ignore: NamespaceBinding) = { - } - -} - diff --git a/sources/scala/xml/TopScope.scala b/sources/scala/xml/TopScope.scala new file mode 100644 index 0000000000..200fb3b21f --- /dev/null +++ b/sources/scala/xml/TopScope.scala @@ -0,0 +1,20 @@ +package scala.xml; + +case object TopScope extends NamespaceBinding(null,null,null) { + + /* + override def contains(pre:String) = false; + */ + override def getURI(_prefix: String) = null; + + override def getPrefix(_uri: String) = null; + + override def toString() = ""; + + override def toString(stop: NamespaceBinding) = ""; + + override def toString(sb: StringBuffer, ignore: NamespaceBinding) = { + } + +} + |