public String toString() {
   return "xpath[" + expr.toString() + "]";
 }