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 /sources | |
| parent | 110310e52a297ead020f541867b401d30ddfd202 (diff) | |
| download | scala-c5d12428eb9069718d7544e81a81ff8d47c2ab3f.tar.gz scala-c5d12428eb9069718d7544e81a81ff8d47c2ab3f.tar.bz2 scala-c5d12428eb9069718d7544e81a81ff8d47c2ab3f.zip | |
changes for easy updating of attributes
Diffstat (limited to 'sources')
| -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 ); |