public String toString() {
   return getClass().getName()
       + "("
       + query.toString()
       + ")@"
       + (firstTime ? "START" : (more ? (doc() + ":" + start() + "-" + end()) : "END"));
 }
Example #2
0
 public String toString() {
   return "spans("
       + query.toString()
       + ")@"
       + (firstTime ? "START" : (more ? (doc() + ":" + start() + "-" + end()) : "END"));
 }