diff options
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scala/xml/Utility.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sources/scala/xml/Utility.scala b/sources/scala/xml/Utility.scala index 66e0811d46..7a76f819fe 100644 --- a/sources/scala/xml/Utility.scala +++ b/sources/scala/xml/Utility.scala @@ -64,4 +64,9 @@ object Utility { label.hashCode() + attribHashCode + children.hashCode() } + /** returns a hashcode for the given constituents of a node */ + def hashCode( label:String, attribs:scala.collection.mutable.HashMap[String,String], children:Seq[Node] ) = { + label.hashCode() + attribs.toList.hashCode() + children.hashCode() + } + } |