diff options
author | Paul Phillips <paulp@improving.org> | 2012-09-04 13:15:14 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-09-04 13:15:14 -0700 |
commit | c24be0eaa2d1c65d9cf8922f0917e77bd1d03707 (patch) | |
tree | 8263159fce47702ef65c533b872941d503b2a9ac /src | |
parent | 821c32d719e2dd40578791964be03b3f8a7fa161 (diff) | |
parent | c49e23572883d427e9471015cd8554c875a9a492 (diff) | |
download | scala-c24be0eaa2d1c65d9cf8922f0917e77bd1d03707.tar.gz scala-c24be0eaa2d1c65d9cf8922f0917e77bd1d03707.tar.bz2 scala-c24be0eaa2d1c65d9cf8922f0917e77bd1d03707.zip |
Merge pull request #1241 from samskivert/issues/doctype-ctor
SI-6295: Make DocType take optional ExternalID, as documented.
Diffstat (limited to 'src')
-rw-r--r-- | src/library/scala/xml/dtd/DocType.scala | 8 | ||||
-rw-r--r-- | src/library/scala/xml/dtd/ExternalID.scala | 11 |
2 files changed, 18 insertions, 1 deletions
diff --git a/src/library/scala/xml/dtd/DocType.scala b/src/library/scala/xml/dtd/DocType.scala index 64aa7e2f74..78aacb2cea 100644 --- a/src/library/scala/xml/dtd/DocType.scala +++ b/src/library/scala/xml/dtd/DocType.scala @@ -15,7 +15,7 @@ package dtd * @author Burak Emir * * @param name name of this DOCTYPE - * @param extID None, or Some(external ID of this doctype) + * @param extID NoExternalID or the external ID of this doctype * @param intSubset sequence of internal subset declarations */ case class DocType(name: String, extID: ExternalID, intSubset: Seq[dtd.Decl]) @@ -32,3 +32,9 @@ case class DocType(name: String, extID: ExternalID, intSubset: Seq[dtd.Decl]) """<!DOCTYPE %s %s%s>""".format(name, extID.toString, intString) } } + +object DocType +{ + /** Creates a doctype with no external id, nor internal subset declarations. */ + def apply(name: String): DocType = apply(name, NoExternalID, Nil) +} diff --git a/src/library/scala/xml/dtd/ExternalID.scala b/src/library/scala/xml/dtd/ExternalID.scala index a0a5818d07..ccee5dbe5a 100644 --- a/src/library/scala/xml/dtd/ExternalID.scala +++ b/src/library/scala/xml/dtd/ExternalID.scala @@ -73,3 +73,14 @@ case class PublicID(publicId: String, systemId: String) extends ExternalID { /** always empty */ def child = Nil } + +/** A marker used when a `DocType` contains no external id. + * + * @author Michael Bayne + */ +object NoExternalID extends ExternalID { + val publicId = null + val systemId = null + + override def toString = "" +} |