public interface ExtensionWriter
| Modifier and Type | Method and Description |
|---|---|
void |
writeElement(ExtensionElement extElement,
java.io.Writer writer)
Write extension element.
|
void writeElement(ExtensionElement extElement, java.io.Writer writer) throws java.io.IOException
extElement - the extension elementwriter - the writer that will be used to write out the extention elementjava.io.IOExceptionCopyright ? 2001 International Business Machines Corporation. All Rights Reserved.