private static void Describe()

in src/TestFramework/Core/ProtocolTestsManager.cs [614:649]
36 lines of code
9 McCabe index (conditional complexity)

        private static void Describe(StringBuilder sb, string prefix, List<TransactionEvent> transaction)
        {
            foreach (TransactionEvent te in transaction)
            {
                switch (te.Kind)
                {
                    case TransactionEventKind.Assert:
                    case TransactionEventKind.Assume:
                        sb.Append(prefix);
                        if (te.Kind == TransactionEventKind.Assert)
                            sb.Append("assert ");
                        else
                            sb.Append("assume ");
                        if (te.condition)
                            sb.Append(" succeeded: ");
                        else
                            sb.Append(" failed: ");
                        sb.AppendLine(te.description);
                        break;
                    case TransactionEventKind.Checkpoint:
                        sb.Append(prefix);
                        sb.Append("checkpoint: ");
                        sb.AppendLine(te.description);
                        break;
                    case TransactionEventKind.Comment:
                        sb.Append(prefix);
                        sb.Append("comment: ");
                        sb.AppendLine(te.description);
                        break;
                    case TransactionEventKind.VariableBound:
                        sb.Append(prefix);
                        sb.AppendLine(String.Format("bound variable {0} to value: {1} ", te.variable.Name, te.variable.ObjectValue));
                        break;
                }
            }
        }