scala.xml.dtd

class DocType

[source: scala/xml/dtd/DocType.scala]

case class DocType(val name : java.lang.String, val extID : ExternalID, val intSubset : Seq[Decl])
extends Product
An XML node for document type declaration.
Author
Burak Emir
Parameters
target - name of this DOCTYPE
extID - None, or Some(external ID of this doctype)
intSubset - sequence of internal subset declarations
Method Summary
override def equals (arg0 : Any) : Boolean
override final def hashCode : Int
hashcode for this processing instruction
override def productArity : Int
return k for a product A(x_1,...,x_k)
override def productElement (arg0 : Int) : Any
for a product A(x_1,...,x_k), returns x_(n+1) for 0 <= n < k
override def productPrefix : java.lang.String
By default the empty string. Implementations may override this method in order to prepend a string prefix to the result of the toString methods.
override final def toString : java.lang.String
returns "<!DOCTYPE + name + extID? + ("["+intSubSet+"]")? >"
Methods inherited from AnyRef
getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
override final def hashCode : Int
hashcode for this processing instruction

override final def toString : java.lang.String
returns "<!DOCTYPE + name + extID? + ("["+intSubSet+"]")? >"

override def equals(arg0 : Any) : Boolean

override def productPrefix : java.lang.String
By default the empty string. Implementations may override this method in order to prepend a string prefix to the result of the toString methods.
Overrides
Product.productPrefix

override def productArity : Int
return k for a product A(x_1,...,x_k)
Overrides
Product.productArity

override def productElement(arg0 : Int) : Any
for a product A(x_1,...,x_k), returns x_(n+1) for 0 <= n < k
Parameters
n - the index of the element to return
Throws
IndexOutOfBoundsException -
Returns
The element n elements after the first element
Overrides
Product.productElement