Methods in DTDDoc with parameters of type ExtendedDTD |
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)
|