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.