From 92b39406881aba55b18c52b324cc65deab1eb73a Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Wed, 8 Jul 2009 17:58:35 +0000 Subject: Made NamespaceBinding a case class; addresses t... Made NamespaceBinding a case class; addresses ticket #2138. --- src/library/scala/xml/NamespaceBinding.scala | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/library/scala/xml/NamespaceBinding.scala b/src/library/scala/xml/NamespaceBinding.scala index 567686d58b..7588663f7f 100644 --- a/src/library/scala/xml/NamespaceBinding.scala +++ b/src/library/scala/xml/NamespaceBinding.scala @@ -23,15 +23,14 @@ import Utility.sbToString * @version 1.0 */ @SerialVersionUID(0 - 2518644165573446725L) -class NamespaceBinding(val prefix: String, - val uri: String, - val parent: NamespaceBinding) extends AnyRef { - +case class NamespaceBinding(prefix: String, uri: String, parent: NamespaceBinding) extends AnyRef +{ if (null != prefix && 0 == prefix.length()) throw new IllegalArgumentException("zero length prefix not allowed") def getURI(_prefix: String): String = - if (prefix == _prefix) uri else parent.getURI(_prefix) + if (prefix == _prefix) uri + else parent getURI _prefix /** Returns some prefix that is mapped to the prefix. * @@ -39,7 +38,8 @@ class NamespaceBinding(val prefix: String, * @return */ def getPrefix(_uri: String): String = - if (_uri == uri) uri else parent.getURI(_uri) + if (_uri == uri) uri + else parent getURI _uri override def toString(): String = sbToString(buildString(_, TopScope)) -- cgit v1.2.3