diff options
| author | Paul Phillips <paulp@improving.org> | 2009-07-08 17:58:35 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2009-07-08 17:58:35 +0000 |
| commit | 92b39406881aba55b18c52b324cc65deab1eb73a (patch) | |
| tree | 59d8fc45019a64b974f41706053b415f1f90e462 | |
| parent | e59b2669a747d9180538726ae0efa5070a98d382 (diff) | |
| download | scala-92b39406881aba55b18c52b324cc65deab1eb73a.tar.gz scala-92b39406881aba55b18c52b324cc65deab1eb73a.tar.bz2 scala-92b39406881aba55b18c52b324cc65deab1eb73a.zip | |
Made NamespaceBinding a case class; addresses t...
Made NamespaceBinding a case class; addresses ticket #2138.
| -rw-r--r-- | src/library/scala/xml/NamespaceBinding.scala | 12 |
1 files 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)) |