blob: 1ed1d50e10b54bd0392206126dfc2a0bf86d56c3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2013, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
package scala.xml
/** top level namespace scope. only contains the predefined binding
* for the "xml" prefix which is bound to
* "http://www.w3.org/XML/1998/namespace"
*/
object TopScope extends NamespaceBinding(null, null, null) {
import XML.{ xml, namespace }
override def getURI(prefix1: String): String =
if (prefix1 == xml) namespace else null
override def getPrefix(uri1: String): String =
if (uri1 == namespace) xml else null
override def toString() = ""
override def buildString(stop: NamespaceBinding) = ""
override def buildString(sb: StringBuilder, ignore: NamespaceBinding) = {}
}
|
