| |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DocType | |
org.jdom |
Uses of DocType in org.jdom |
Constructors in org.jdom with parameters of type DocType | |
Document.Document(Element rootElement, DocType docType) This will create a new Document ,
with the supplied Element
as the root element and the supplied
DocType declaration. |
Methods in org.jdom that return DocType | |
DocType | DocType.setPublicID(String publicID) This will set the public ID of an externally referenced DTD. |
DocType | DocType.setSystemID(String systemID) This will set the system ID of an externally referenced DTD. |
DocType | Document.getDocType() This will return the DocType
declaration for this Document , or
null if none exists. |
Methods in org.jdom with parameters of type DocType | |
Document | Document.setDocType(DocType docType) This will set the DocType
declaration for this Document . |
| |||||||||
PREV NEXT | FRAMES NO FRAMES |