*** empty log message ***

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 ;