From 4fdc1318ccdaa00ad2d677f91d93af479955ca2b Mon Sep 17 00:00:00 2001 From: buraq Date: Tue, 23 Mar 2004 13:09:27 +0000 Subject: obsolete --- sources/scala/xml/AttributedNode.scala | 41 ---------------------------------- 1 file changed, 41 deletions(-) delete mode 100644 sources/scala/xml/AttributedNode.scala (limited to 'sources') diff --git a/sources/scala/xml/AttributedNode.scala b/sources/scala/xml/AttributedNode.scala deleted file mode 100644 index 62674586a3..0000000000 --- a/sources/scala/xml/AttributedNode.scala +++ /dev/null @@ -1,41 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003-2004, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ -package scala.xml ; - -import scala.collection.Map; - - -/** an XML node that may have attributes - */ -trait AttributedNode extends Node { - - /** Returns the value for the given attribute. - */ - final def apply(key: String): Option[String] = attributes.get(key); - - /** Returns a mapping from all present attributes to values. - */ - def attributes: Map[String, String]; - - /** Returns a new AttributedNode with updated attributes. - */ - def %(attrs: List[Pair[String, String]]): AttributedNode; - - /** Returns a new AttributedNode with updated attribute. - */ - def %(attr: Pair[String, String]): AttributedNode; - - /** Returns the hashcode for this node. - */ - override def hashCode() = Utility.hashCode(label, attributes.toList.hashCode(), children); - - override def toXML:String = Utility.toXML(this); - - override def toString() = Utility.toXML(this); -} -- cgit v1.2.3