hmi.xml
Class XMLNameSpaceStack

java.lang.Object
  hmi.xml.XMLNameSpaceStack

public class XMLNameSpaceStack
extends Object

XMLNameSpaceStack is a stack of XMLNameSpace elements, including search ops

Author:

Job Zwiers

Field Summary

private ArrayList<XMLNameSpace>

namespaceStack

Constructor Summary

XMLNameSpaceStack()
Default constructor, allocates an empty stack.

Method Summary

String	getNameSpace(String prefix) Returns the namespace currently associated with the specified prefix.
String	getPrefix(String namespace) Returns the prefix currently associated with the specified namespace.
XMLNameSpace	popXMLNameSpace() Pop the top XMLNameSpace from the stack, and return it.
void	pushXMLNameSpace(XMLNameSpace xmlNamespace) Push a new XMLNameSpace on the stack

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

namespaceStack

private ArrayList<XMLNameSpace> namespaceStack

Constructor Detail

XMLNameSpaceStack

public XMLNameSpaceStack()

Default constructor, allocates an empty stack.

Method Detail

getPrefix

public String getPrefix(String namespace)

Returns the prefix currently associated with the specified namespace. It is assumed that namespace is an "interned" String If there is no associated prefix, null is returned.

getNameSpace

public String getNameSpace(String prefix)

Returns the namespace currently associated with the specified prefix. It is assumed that prefix is an "interned" String If there is no associated namespace, null is returned.

pushXMLNameSpace

public void pushXMLNameSpace(XMLNameSpace xmlNamespace)

Push a new XMLNameSpace on the stack

popXMLNameSpace

public XMLNameSpace popXMLNameSpace()

Pop the top XMLNameSpace from the stack, and return it.