diff options
| -rw-r--r-- | sources/scala/xml/Element.scala | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/sources/scala/xml/Element.scala b/sources/scala/xml/Element.scala new file mode 100644 index 0000000000..02172396e4 --- /dev/null +++ b/sources/scala/xml/Element.scala @@ -0,0 +1,24 @@ +package scala.xml ; + +abstract class Element { + + def getName: String; // the real element name + def getChildren: List[Element]; // the children + def getAttribs: Map[ String, String ]; + + /* + def toXML : String = { + val attribs = getAttribs; + var attribStr = ""; + if( attribs != null ) + attribStr = scala.xml.util.toXML( attribs ) + else + () ; + "<" + getName + + attribStr + + ">" + + scala.xml.util.toXML( getChildren ) + + "</" + getName + ">" ; + } // def toXML +*/ +} // abstract class |