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