public interface ExtensionElementFactory
A "Factory" for user-defined nodes in the stylesheet tree.
(Actually, it's not strictly a factory: it doesn't create the nodes, it merely identifies what class they should be.)
Modifier and Type | Method and Description |
---|---|
java.lang.Class<? extends StyleElement> |
getExtensionClass(java.lang.String localname)
Identify the class to be used for stylesheet elements with a given local name.
|
java.lang.Class<? extends StyleElement> getExtensionClass(java.lang.String localname)
StyleElement
, and it must have a
zero-argument public constructor.localname
- the local name of the elementCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.