/*                     __                                               *\
**     ________ ___   / /  ___     Scala API                            **
**    / __/ __// _ | / /  / _ |    (c) 2002-2009, LAMP/EPFL             **
**  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
** /____/\___/_/ |_/____/_/ | |                                         **
**                          |/                                          **
\*                                                                      */

// $Id: TopScope.scala 17619 2009-05-01 20:40:19Z extempore $

package scala.xml

import 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) 
{
  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) = {}
}