internal DocumentXPathNodeIterator_Empty( DocumentXPathNodeIterator_Empty other ) { this.nav = other.nav.Clone(); } public override XPathNodeIterator Clone() { return new DocumentXPathNodeIterator_Empty( this ); }