diff options
author | buraq <buraq@epfl.ch> | 2003-12-18 14:52:09 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2003-12-18 14:52:09 +0000 |
commit | c5d12428eb9069718d7544e81a81ff8d47c2ab3f (patch) | |
tree | f7181709aba70a036ab29136a6ef42498e5ddd66 | |
parent | 110310e52a297ead020f541867b401d30ddfd202 (diff) | |
download | scala-c5d12428eb9069718d7544e81a81ff8d47c2ab3f.tar.gz scala-c5d12428eb9069718d7544e81a81ff8d47c2ab3f.tar.bz2 scala-c5d12428eb9069718d7544e81a81ff8d47c2ab3f.zip |
changes for easy updating of attributes
-rw-r--r-- | sources/scala/xml/AttributedNode.scala | 4 |
1 files changed, 4 insertions, 0 deletions
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 ); |