Class ResultNameSpace


  • public class ResultNameSpace
    extends java.lang.Object
    A representation of a result namespace. One of these will be pushed on the result tree namespace stack for each result tree element.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      ResultNameSpace m_next
      Pointer to next ResultNameSpace
      java.lang.String m_prefix
      Prefix of namespace
      java.lang.String m_uri
      Namespace URI
    • Constructor Summary

      Constructors 
      Constructor Description
      ResultNameSpace​(java.lang.String prefix, java.lang.String uri)
      Construct a namespace for placement on the result tree namespace stack.
    • Method Summary

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • m_prefix

        public java.lang.String m_prefix
        Prefix of namespace
      • m_uri

        public java.lang.String m_uri
        Namespace URI
    • Constructor Detail

      • ResultNameSpace

        public ResultNameSpace​(java.lang.String prefix,
                               java.lang.String uri)
        Construct a namespace for placement on the result tree namespace stack.
        Parameters:
        prefix - of result namespace
        uri - URI of result namespace