private void AddAssertion(IExpression condition)
{
AssertStatement assertStatement = new AssertStatement();
assertStatement.Condition = condition;
this.GetOrCreateStmtListForStmt(this.currentStatement).Add(assertStatement);
}
/// <summary>
/// Visits the specified assert statement.
/// </summary>
/// <param name="assertStatement">The assert statement.</param>
/// <returns></returns>
protected virtual IStatement DeepCopy(AssertStatement assertStatement)
{
assertStatement.Condition = this.Substitute(assertStatement.Condition);
return assertStatement;
}
/// <summary>
/// Visits the specified assert statement.
/// </summary>
/// <param name="assertStatement">The assert statement.</param>
public override void Visit(IAssertStatement assertStatement)
{
AssertStatement mutableAssertStatement = new AssertStatement(assertStatement);
this.resultStatement = this.myCodeCopier.DeepCopy(mutableAssertStatement);
}
/// <summary>
/// Rewrites the children of the given assert statement.
/// </summary>
/// <param name="assertStatement"></param>
public virtual void RewriteChildren(AssertStatement assertStatement)
{
this.RewriteChildren((Statement)assertStatement);
assertStatement.Condition = this.Rewrite(assertStatement.Condition);
if (assertStatement.Description != null)
assertStatement.Description = this.Rewrite(assertStatement.Description);
}
/// <summary>
/// Visits the specified assert statement.
/// </summary>
/// <param name="assertStatement">The assert statement.</param>
public override void Visit(IAssertStatement assertStatement)
{
AssertStatement mutableAssertStatement = assertStatement as AssertStatement;
if (alwaysMakeACopy || mutableAssertStatement == null) mutableAssertStatement = new AssertStatement(assertStatement);
this.resultStatement = this.myCodeMutator.Visit(mutableAssertStatement);
}
/// <summary>
/// Visits the specified assert statement.
/// </summary>
/// <param name="assertStatement">The assert statement.</param>
/// <returns></returns>
public virtual IStatement Visit(AssertStatement assertStatement)
{
assertStatement.Condition = this.Visit(assertStatement.Condition);
return assertStatement;
}