public interface Types extends java.io.Serializable, ElementExtensible
Modifier and Type | Method and Description |
---|---|
org.w3c.dom.Element |
getDocumentationElement()
Get the documentation element.
|
void |
setDocumentationElement(org.w3c.dom.Element docEl)
Set the documentation element for this document.
|
addExtensibilityElement, getExtensibilityElements
void setDocumentationElement(org.w3c.dom.Element docEl)
docEl
- the documentation elementorg.w3c.dom.Element getDocumentationElement()
Copyright ? 2003,2005 IBM. All Rights Reserved.