private static bool IsSamePosition(XNodeNavigator n1, XNodeNavigator n2)
 {
     if ((n1.source == n2.source) && (n1.parent == n2.parent))
     {
         return true;
     }
     if ((n1.parent != null) ^ (n2.parent != null))
     {
         XText source = n1.source as XText;
         if (source != null)
         {
             return ((source.Value == n2.source) && (source.parent == n2.parent));
         }
         XText text2 = n2.source as XText;
         if (text2 != null)
         {
             return ((text2.Value == n1.source) && (text2.parent == n1.parent));
         }
     }
     return false;
 }
		public XNodeNavigator (XNodeNavigator other)
		{
			this.node = other.node;
			this.attr = other.attr;
			this.name_table = other.name_table;
		}
 public XNodeNavigator(XNodeNavigator other)
 {
     this.source = other.source;
     this.parent = other.parent;
     this.nameTable = other.nameTable;
 }