/**
* Notify that this consumer choice point has finished consuming all the results of a closed
* generator.
*/
public void setFinished() {
context.notifyFinished(this);
}
/** Called by generator when there are more results available. */
public void setReady() {
context.setReady(this);
}
