protected DTD
dtd
protected static DTD
createDTD(DTD dtd, String name)
name
static DTD
getDTD(String name)
static void
putDTDHash(String name, DTD dtd)
DocumentParser(DTD dtd)
Parser(DTD dtd)
Scripting on this page tracks web page traffic, but does not change the content in any way.