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 |
|---|---|
Class<? extends StyleElement> |
getExtensionClass(String localname)
Identify the class to be used for stylesheet elements with a given local name.
|
Class<? extends StyleElement> getExtensionClass(String localname)
StyleElement, and it must have a
zero-argument public constructor.localname - the local name of the elementCopyright (c) 2004-2014 Saxonica Limited. All rights reserved.