/** Reactivate this choice point to return new results. */ public void pump() { if (context instanceof Generator) { ((Generator) context).pump(this); } else { // The top level iterator is in charge and will restore and run this choice point itself } }