Class DTMXRTreeFrag


  • public final class DTMXRTreeFrag
    extends java.lang.Object
    • Constructor Detail

      • DTMXRTreeFrag

        public DTMXRTreeFrag​(int dtmIdentity,
                             XPathContext xctxt)
    • Method Detail

      • destruct

        public final void destruct()
      • getDTMIdentity

        public final int getDTMIdentity()
      • hashCode

        public final int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public final boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object