class Hit {
/**
* Prints the parameters to be used to discover the promised result.
*/
public String toString() {
StringBuffer buffer = new StringBuffer();
buffer.append("Hit<");
buffer.append(hits.toString());
buffer.append(" [");
buffer.append(hitNumber);
buffer.append("] ");
if (resolved) {
buffer.append("resolved");
} else {
buffer.append("unresolved");
}
buffer.append(">");
return buffer.toString();
}
}
