/**
* Return the count of elements defined for this extension element
*
* @return the count of elements defined for this extension element
*/
public int getElementCount() {
return (null != m_elements) ? m_elements.size() : 0;
}
/**
* Get the element at the given index
*
* @param i Index of element to get
* @return The element at the given index
* @throws ArrayIndexOutOfBoundsException
*/
public String getElement(int i) throws ArrayIndexOutOfBoundsException {
if (null == m_elements) throw new ArrayIndexOutOfBoundsException();
return (String) m_elements.elementAt(i);
}
/**
* Get count of functions defined in this extension element
*
* @return count of functions defined in this extension element
*/
public int getFunctionCount() {
return (null != m_functions) ? m_functions.size() : 0;
}
/**
* Find out if the given "extension-element-prefix" property is defined.
*
* @see <a href="http://www.w3.org/TR/xslt#extension-element">extension-element in XSLT
* Specification</a>
* @param uri The URI to find
* @return True if the given URI is found
*/
public boolean containsExtensionElementURI(String uri) {
if (null == m_ExtensionElementURIs) return false;
return m_ExtensionElementURIs.contains(uri);
}
/**
* Get the number of "extension-element-prefixes" Strings.
*
* @see <a href="http://www.w3.org/TR/xslt#extension-element">extension-element in XSLT
* Specification</a>
* @return the number of "extension-element-prefixes" Strings
*/
public int getExtensionElementPrefixCount() {
return (null != m_ExtensionElementURIs) ? m_ExtensionElementURIs.size() : 0;
}
/**
* Get an "extension-element-prefix" property.
*
* @see <a href="http://www.w3.org/TR/xslt#extension-element">extension-element in XSLT
* Specification</a>
* @param i Index of URI ("extension-element-prefix" property) to get
* @return URI at given index ("extension-element-prefix" property)
* @throws ArrayIndexOutOfBoundsException
*/
public String getExtensionElementPrefix(int i) throws ArrayIndexOutOfBoundsException {
if (null == m_ExtensionElementURIs) throw new ArrayIndexOutOfBoundsException();
return m_ExtensionElementURIs.elementAt(i);
}
