public override void startDTD(String name, string publicId, string systemId)
{
if (log.isLoggable(Level.FINE))
{
log.log(Level.FINE, getClass().getSimpleName() + ".startDTD0: " + name + " . " + publicId + " . " + systemId);
}
DocumentType type = _impl.createDocumentType(name, publicId, systemId);
getDocument().appendChild(type);
}
/// <summary>
/// Create a new prefs XML document.
/// </summary>
private static Document CreatePrefsDoc(String qname)
{
try
{
DOMImplementation di = DocumentBuilderFactory.newInstance().newDocumentBuilder().DOMImplementation;
DocumentType dt = di.createDocumentType(qname, null, PREFS_DTD_URI);
return(di.createDocument(null, qname, dt));
}
catch (ParserConfigurationException e)
{
throw new AssertionError(e);
}
}