public interface Extension
ExtensionPoint.| Modifier and Type | Method and Description |
|---|---|
void |
generate(XmlWriter w,
ExtensionProfile extProfile)
Generates an XML representation for the extension.
|
XmlParser.ElementHandler |
getHandler(ExtensionProfile extProfile,
java.lang.String namespace,
java.lang.String localName,
org.xml.sax.Attributes attrs)
Gets an XML element handler for the extension.
|
void generate(XmlWriter w, ExtensionProfile extProfile) throws java.io.IOException
w - XML writerextProfile - extension profilejava.io.IOExceptionXmlParser.ElementHandler getHandler(ExtensionProfile extProfile, java.lang.String namespace, java.lang.String localName, org.xml.sax.Attributes attrs) throws ParseException, java.io.IOException
extProfile - extension profilenamespace - extension namespacelocalName - tag name, without the namespace prefixattrs - tag attributesParseException - when an unexpected tag or badly-formatted
XML is detectedjava.io.IOException