// <summary> // Adds an expression of the form "WHEN <paramref name="condition" /> THEN <paramref name="value" />". // This operation is not allowed after the <see cref="Simplify" /> call. // </summary> internal void AddWhenThen(BoolExpression condition, ProjectedSlot value) { Debug.Assert(!m_simplified, "Attempt to modify a simplified case statement"); DebugCheck.NotNull(value); condition.ExpensiveSimplify(); m_clauses.Add(new WhenThen(condition, value)); }
internal void AddWhenThen(BoolExpression condition, ProjectedSlot value) { condition.ExpensiveSimplify(); this.m_clauses.Add(new CaseStatement.WhenThen(condition, value)); }