public class ExtensionNamespacesManager extends Object
ExtensionHandler
.Constructor and Description |
---|
ExtensionNamespacesManager()
An ExtensionNamespacesManager is instantiated the first time an extension function or
element is found in the stylesheet.
|
Modifier and Type | Method and Description |
---|---|
ExtensionNamespaceSupport |
defineJavaNamespace(String ns)
For any extension namespace that is not either predefined or defined
by a "component" declaration or exslt function declaration, attempt
to create an ExtensionNamespaceSuport object for the appropriate
Java class or Java package Extension Handler.
|
ExtensionNamespaceSupport |
defineJavaNamespace(String ns,
String classOrPackage) |
Vector |
getExtensions()
Get the vector of extension namespaces.
|
int |
namespaceIndex(String namespace,
Vector extensions)
Get the index for a namespace entry in the extension namespace Vector, -1 if
no such entry yet exists.
|
void |
registerExtension(ExtensionNamespaceSupport extNsSpt)
Register the extension namespace for an ElemExtensionDecl or ElemFunction,
and prepare a support object to launch the appropriate ExtensionHandler at
transformation runtime.
|
void |
registerExtension(String namespace)
If necessary, register the extension namespace found compiling a function or
creating an extension element.
|
void |
registerUnregisteredNamespaces()
Attempt to register any unregistered extension namespaces.
|
public ExtensionNamespacesManager()
public void registerExtension(String namespace)
public void registerExtension(ExtensionNamespaceSupport extNsSpt)
public int namespaceIndex(String namespace, Vector extensions)
public Vector getExtensions()
public void registerUnregisteredNamespaces()
public ExtensionNamespaceSupport defineJavaNamespace(String ns)
ns
- The extension namespace URI.TransformerException
public ExtensionNamespaceSupport defineJavaNamespace(String ns, String classOrPackage)
Copyright © 2021 JBoss by Red Hat. All rights reserved.