diff options
author | buraq <buraq@epfl.ch> | 2004-08-20 10:31:51 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2004-08-20 10:31:51 +0000 |
commit | 98f97d8e30b44066844b855d5d5e5d3cab031e2d (patch) | |
tree | 5a8b9c89d5f277ca3ccc73793d5643c0496dac76 | |
parent | 663ba495b45bedb267d275c4ea97d26e2eeab7a9 (diff) | |
download | scala-98f97d8e30b44066844b855d5d5e5d3cab031e2d.tar.gz scala-98f97d8e30b44066844b855d5d5e5d3cab031e2d.tar.bz2 scala-98f97d8e30b44066844b855d5d5e5d3cab031e2d.zip |
compiles now
-rw-r--r-- | sources/scala/xml/DocType.scala | 28 |
1 files changed, 9 insertions, 19 deletions
diff --git a/sources/scala/xml/DocType.scala b/sources/scala/xml/DocType.scala index 9ca0479aa6..e15cf4570e 100644 --- a/sources/scala/xml/DocType.scala +++ b/sources/scala/xml/DocType.scala @@ -17,38 +17,28 @@ package scala.xml; * @param intSubset sequence of internal subset declarations **/ -case class DocType( name:String, extId:Option[ExternalID], intSubset:Seq[dtd.Decl]) extends Node { +case class DocType( name:String, extID:ExternalID, intSubset:Seq[dtd.Decl]) { if( !Parsing.isName( name ) ) - throw new IllegalArgumentException(target+" must be an XML Name"); - - /** the constant "#DOCTYPE" */ - final def label = "#DOCTYPE"; - - /** always empty */ - final def attribute = Node.NoAttributes; - - /** always empty */ - final def child = Nil; + throw new IllegalArgumentException(name+" must be an XML Name"); /** hashcode for this processing instruction */ - final override def hashCode() = text.hashCode(); + 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( dt ); - extID match { - case Some(xid) => sb.append(' '), sb.append( xid.toString() ) - case _ => - } + sb.append( name ); + sb.append(' '); + sb.append(extID.toString()); if( intSubset.length > 0 ) { sb.append('['); - for( d <- intSubset ) { + for( val d <- intSubset ) { sb.append( d.toString() ); } sb.append(']'); } - s.append('>'); + sb.append('>'); + sb.toString(); } } |