Interface ExtensionWriter

    • Method Detail

      • writeElement

        void writeElement​(ExtensionElement extElement,
                          java.io.Writer writer)
                   throws java.io.IOException
        Write extension element.
        Parameters:
        extElement - the extension element
        writer - the writer that will be used to write out the extention element
        Throws:
        java.io.IOException