diff options
author | buraq <buraq@epfl.ch> | 2004-01-09 18:15:18 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2004-01-09 18:15:18 +0000 |
commit | e3981e4bbf0a1949ab4e09e37aa02edfc56869e2 (patch) | |
tree | 528ab5e6594ca3941a638d4c45b2f7c216a09dc1 | |
parent | 000632827ad1ab6af054f356f07de18ea84c9b5b (diff) | |
download | scala-e3981e4bbf0a1949ab4e09e37aa02edfc56869e2.tar.gz scala-e3981e4bbf0a1949ab4e09e37aa02edfc56869e2.tar.bz2 scala-e3981e4bbf0a1949ab4e09e37aa02edfc56869e2.zip |
these are onbsolete
-rw-r--r-- | sources/scala/xml/Generic.scala | 1 | ||||
-rw-r--r-- | sources/scala/xml/PCDATA.scala | 42 |
2 files changed, 0 insertions, 43 deletions
diff --git a/sources/scala/xml/Generic.scala b/sources/scala/xml/Generic.scala deleted file mode 100644 index f4a85f7ce5..0000000000 --- a/sources/scala/xml/Generic.scala +++ /dev/null @@ -1 +0,0 @@ -package scala.xml; diff --git a/sources/scala/xml/PCDATA.scala b/sources/scala/xml/PCDATA.scala deleted file mode 100644 index d7a235b187..0000000000 --- a/sources/scala/xml/PCDATA.scala +++ /dev/null @@ -1,42 +0,0 @@ -// BE - -package scala.xml; - -import scala.collection.Map ; - -/** an XML representation text. Used in both generic and specific XML representation -*/ - -case class PCDATA( content:String ) extends Element { - - def getName = "PCDATA"; - def getChildren = error("PCDATA.getChildren"); - def setChildren( l:Seq[ Element ] ):Unit = error("PCDATA.setChildren"); - def getAttribs = error("PCDATA.getAttribs"); - def setAttribs( m:Map[ String, String ] ):Unit = error("PCDATA.setAttribs"); - - /** like toString, but escaping the characters < > & and " as demanded by XML standard. - */ - - override def toXML:String = { - val s = new StringBuffer(); - var i = 0; - while( i < content.length() ) { - val c = content.charAt( i ); - c match { - case '<' => s.append("<"); - case '>' => s.append(">"); - case '&' => s.append("&"); - case '"' => s.append("""); - case _ => s.append( c ); - } - i = i + 1; - } - s.toString(); - } - - override def hashCode() = content.hashCode(); - override def toString() = "PCDATA("+content+")"; - -} // PCDATA - |