public void CreatedNew(CreationResult cr)
{
//Console.WriteLine("@@@ created new " + cr);
if (this.state != StatKind.Selected)
{
throw new Common.RandoopBareExceptions.InternalError("Bug in Randoop.StatsManager.");
}
if (cr == CreationResult.NoInputs)
{
writer.WriteLine(cr.ToString());
writer.Flush();
// Go back to the initial state.
state = StatKind.Start;
}
else if (cr == CreationResult.Redundant)
{
writer.WriteLine(cr.ToString());
writer.Flush();
// Go back to the initial state.
state = StatKind.Start;
}
else
{
writer.Write(cr.ToString());
writer.Write("#");
writer.Flush();
state = StatKind.CreatedNewPlan;
}
}
