diff options
author | buraq <buraq@epfl.ch> | 2005-04-25 08:44:13 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2005-04-25 08:44:13 +0000 |
commit | ad7e262eb8c2d9a51b256fa7bb0aba7b80cb4231 (patch) | |
tree | 1a5dfa0420f056dbc0e5953ef034fe8c4bf646c6 | |
parent | 9a33a267d9a7481d7b3e62605275f9e60a202042 (diff) | |
download | scala-ad7e262eb8c2d9a51b256fa7bb0aba7b80cb4231.tar.gz scala-ad7e262eb8c2d9a51b256fa7bb0aba7b80cb4231.tar.bz2 scala-ad7e262eb8c2d9a51b256fa7bb0aba7b80cb4231.zip |
moved to subdir dtd
-rw-r--r-- | sources/scala/xml/DocType.scala | 44 | ||||
-rw-r--r-- | sources/scala/xml/EntityRef.scala | 38 |
2 files changed, 0 insertions, 82 deletions
diff --git a/sources/scala/xml/DocType.scala b/sources/scala/xml/DocType.scala deleted file mode 100644 index a91eafe6d8..0000000000 --- a/sources/scala/xml/DocType.scala +++ /dev/null @@ -1,44 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003-2004, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.xml; - -/** an XML node for document type declaration - * - * @author Burak Emir - * @param target name of this DOCTYPE - * @param extID None, or Some(external ID of this doctype) - * @param intSubset sequence of internal subset declarations -**/ - -case class DocType( name:String, extID:ExternalID, intSubset:Seq[dtd.Decl]) { - - if( !Parsing.isName( name ) ) - throw new IllegalArgumentException(name+" must be an XML Name"); - - /** hashcode for this processing instruction */ - final override def hashCode() = name.hashCode() + 7 * extID.hashCode() + 41*intSubset.toList.hashCode(); - - /** returns "<!DOCTYPE + name + extID? + ("["+intSubSet+"]")? >" */ - final override def toString() = { - val sb = new StringBuffer("<!DOCTYPE "); - sb.append( name ); - sb.append(' '); - sb.append(extID.toString()); - if( intSubset.length > 0 ) { - sb.append('['); - for( val d <- intSubset ) { - sb.append( d.toString() ); - } - sb.append(']'); - } - sb.append('>'); - sb.toString(); - } -} diff --git a/sources/scala/xml/EntityRef.scala b/sources/scala/xml/EntityRef.scala deleted file mode 100644 index 192cf85797..0000000000 --- a/sources/scala/xml/EntityRef.scala +++ /dev/null @@ -1,38 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003-2004, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.xml; - -/** an XML node for entity references - * - * @author buraq - * @param text the text contained in this node - **/ - -case class EntityRef( entityName:String ) extends SpecialNode { - - final override def typeTag$:Int = -5; - - /** structural equality */ - override def equals(x: Any): Boolean = x match { - case EntityRef(x) => x.equals(entityName); - case _ => false - } - - /** the constant "#ENTITY" - */ - def label = "#ENTITY"; - - override def hashCode() = entityName.hashCode(); - - /** appends "& entityName;" to this stringbuffer */ - def toString(sb:StringBuffer) = - sb.append("&").append(entityName).append(";"); - -} |