Modifier and Type | Method and Description |
---|---|
String |
DTDCommenter.getDTDBaseURI(ExtendedDTD dtd) |
String |
DTDCommenter.getExternalHREF(ExtendedDTD dtd,
com.wutka.dtd.DTDElement element,
String text)
Builds a HTML external reference to an element from the documentation
of a DTD (
filename#element_id ). |
String |
DTDCommenter.getExternalHREF(ExtendedDTD dtd,
String elementName,
String text) |
String |
DTDCommenter.getInternalHREF(ExtendedDTD dtd,
com.wutka.dtd.DTDElement element)
Builds a HTML internal reference to an element inside the documentation
of a DTD (
#element_id ). |
URI |
DTDCommenter.newURITo(ExtendedDTD dtd) |
URI |
DTDCommenter.newURITo(ExtendedDTD dtd,
com.wutka.dtd.DTDAttlist list,
com.wutka.dtd.DTDAttribute attribute) |
URI |
DTDCommenter.newURITo(ExtendedDTD dtd,
com.wutka.dtd.DTDElement element) |
URI |
DTDCommenter.newURITo(ExtendedDTD dtd,
com.wutka.dtd.DTDElement element,
com.wutka.dtd.DTDAttribute attribute) |
Copyright © 2002-2012 DTDDoc. All Rights Reserved.