From c5d12428eb9069718d7544e81a81ff8d47c2ab3f Mon Sep 17 00:00:00 2001 From: buraq Date: Thu, 18 Dec 2003 14:52:09 +0000 Subject: changes for easy updating of attributes --- sources/scala/xml/AttributedNode.scala | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/sources/scala/xml/AttributedNode.scala b/sources/scala/xml/AttributedNode.scala index 05198e4841..5ee5fce8d5 100644 --- a/sources/scala/xml/AttributedNode.scala +++ b/sources/scala/xml/AttributedNode.scala @@ -12,6 +12,10 @@ trait AttributedNode extends Node { /** returns a mapping from all present attributes to values */ def attributes: Map[String,String]; + /** destructively updated attributes + */ + def % (attrs:List[Symbol#AttrDef]):AttributedNode ; + /** hashcode for this node*/ override def hashCode() = Utility.hashCode( label, attributes.toList.hashCode(), children ); -- cgit v1.2.3