diff options
author | buraq <buraq@epfl.ch> | 2003-11-27 13:11:07 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2003-11-27 13:11:07 +0000 |
commit | 2b7eaff322e36d6434f406c8a24696d9e819fbf6 (patch) | |
tree | 2bc610099238c925e33ef9cec907d7686dfe156b | |
parent | f3fa114104477f6513395a5b047187f2c5b998c8 (diff) | |
download | scala-2b7eaff322e36d6434f406c8a24696d9e819fbf6.tar.gz scala-2b7eaff322e36d6434f406c8a24696d9e819fbf6.tar.bz2 scala-2b7eaff322e36d6434f406c8a24696d9e819fbf6.zip |
*** empty log message ***
-rw-r--r-- | sources/scala/$percent.scala | 20 | ||||
-rw-r--r-- | sources/scala/Symbol.scala | 6 | ||||
-rw-r--r-- | sources/scala/xml/Element.scala | 2 |
3 files changed, 27 insertions, 1 deletions
diff --git a/sources/scala/$percent.scala b/sources/scala/$percent.scala new file mode 100644 index 0000000000..b1c655862b --- /dev/null +++ b/sources/scala/$percent.scala @@ -0,0 +1,20 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + +package scala; + + +/** An xml element + * + * @author Burak Emir + * @version 1.0, 26.11.2003 + */ +abstract case class %(s:Symbol,ns:Seq[scala.xml.Node]) + extends scala.xml.nobinding.Element(s,ns) { } + diff --git a/sources/scala/Symbol.scala b/sources/scala/Symbol.scala index 31207647d5..dbb5ddac4a 100644 --- a/sources/scala/Symbol.scala +++ b/sources/scala/Symbol.scala @@ -28,9 +28,11 @@ case class Symbol(name: String) { override def toString() = "'" + name; + /* WAITING FOR SCALADOC BUG TO BE FIXED def % (ch:Node*) = new Element(this, List.fromIterator(ch.elements)) { override def attributes = map; }; + */ def % (a:Attribute) = { map = map.update(a.name, a.value); @@ -38,6 +40,10 @@ case class Symbol(name: String) { } def -> (value:String) = new Attribute( name, value ); + def apply( ch:Node* ) = new Element(this, List.fromIterator(ch.elements)) { + override def attributes = map; + }; + class Attribute( n:String, v:String ) { final val name = n; final val value = v; diff --git a/sources/scala/xml/Element.scala b/sources/scala/xml/Element.scala index 791e617f81..80495d29a4 100644 --- a/sources/scala/xml/Element.scala +++ b/sources/scala/xml/Element.scala @@ -8,7 +8,7 @@ import scala.collection.Map; abstract class Element { def getName: String; // the real element name - def getChildren: Seq[ Element ]; // the children + def getChildren: Seq[ Node ]; // the children def getAttribs: Map[ String, String ]; // disabled updates def setAttribs( m:Map[ String, String ] ):Unit ; |