Esempio n. 1
0
        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;
            }
        }