/// <summary> Prints the parameters to be used to discover the promised result.</summary> public override System.String ToString() { System.Text.StringBuilder buffer = new System.Text.StringBuilder(); 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()); }