diff options
| -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) = { + } + +} + |