From c0f530cfa0d402a4563ef2af421ff4992885316e Mon Sep 17 00:00:00 2001
From: buraq <buraq@epfl.ch>
Date: Tue, 26 Apr 2005 10:56:01 +0000
Subject: added TopScope again

---
 sources/scala/xml/NamespaceBinding.scala | 18 ------------------
 sources/scala/xml/TopScope.scala         | 20 ++++++++++++++++++++
 2 files changed, 20 insertions(+), 18 deletions(-)
 create mode 100644 sources/scala/xml/TopScope.scala

(limited to 'sources')

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) = {
+  }
+
+}
+
-- 
cgit v1.2.3