public interface ElementExtensible
Modifier and Type | Method and Description |
---|---|
void |
addExtensibilityElement(ExtensibilityElement extElement)
Add an extensibility element.
|
java.util.List |
getExtensibilityElements()
Get all the extensibility elements defined here.
|
void addExtensibilityElement(ExtensibilityElement extElement)
extElement
- the extensibility element to be addedjava.util.List getExtensibilityElements()
Copyright ? 2003,2005 IBM. All Rights Reserved.