Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

35 lines (29 sloc) 1.262 kb
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2003-2013, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
package scala.xml
package dtd
/** An XML node for document type declaration.
*
* @author Burak Emir
*
* @param name 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 (!Utility.isName(name))
throw new IllegalArgumentException(name+" must be an XML Name")
/** returns "<!DOCTYPE + name + extID? + ("["+intSubSet+"]")? >" */
final override def toString() = {
def intString =
if (intSubset.isEmpty) ""
else intSubset.mkString("[", "", "]")
"""<!DOCTYPE %s %s%s>""".format(name, extID.toString, intString)
}
}
Jump to Line
Something went wrong with that request. Please try again.