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.IOException
XmlParser.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