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.IOException
Copyright ? 2001 International Business Machines Corporation. All Rights Reserved.