topscope.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 40 行

SCALA
40
字号
/*                     __                                               *\**     ________ ___   / /  ___     Scala API                            ****    / __/ __// _ | / /  / _ |    (c) 2002-2007, LAMP/EPFL             ****  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **** /____/\___/_/ |_/____/_/ | |                                         ****                          |/                                          **\*                                                                      */// $Id: TopScope.scala 10753 2007-04-19 17:01:17Z michelou $package scala.xmlimport Predef._/** top level namespace scope. only contains the predefined binding *  for the "xml" prefix which is bound to  *  "http://www.w3.org/XML/1998/namespace" */case object TopScope extends NamespaceBinding(null, null, null) {  override def getURI(prefix1: String): String =    if(prefix1 == "xml" /*XML.xml*/)      "http://www.w3.org/XML/1998/namespace"    else      null  override def getPrefix(uri1: String): String =    if (uri1 == "http://www.w3.org/XML/1998/namespace" /*XML.namespace*/)      "xml" //XML.xml    else      null  override def toString() = ""  override def toString(stop: NamespaceBinding) = ""  override def toString(sb: StringBuilder, ignore: NamespaceBinding) = {}}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?