Example #1
0
        // <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));
 }