internal bool CanHandle([PexAssumeUnderTest] ROCount target, Type resultOperatorType)
{
bool result = target.CanHandle(resultOperatorType);
Assert.IsTrue(result || resultOperatorType != typeof(CountResultOperator), "Bad response!");
return(result);
}
internal Expression ProcessResultOperator(
[PexAssumeUnderTest] ROCount target,
CountResultOperator resultOperator,
QueryModel queryModel,
GeneratedCode codeEnv
)
{
int origCount = 0;
if (codeEnv != null)
{
origCount = codeEnv.CodeBody.Statements.Count();
}
CodeContext c = new CodeContext();
Expression result = target.ProcessResultOperator(resultOperator, queryModel, codeEnv, c, null);
Assert.AreEqual(origCount + 1, codeEnv.CodeBody.Statements.Count(), "Expected an added statement!");
Assert.IsInstanceOfType(codeEnv.CodeBody.Statements.Last(), typeof(StatementAggregate), "Statement to inc the integer must have been done!");
Assert.AreEqual(result.Type, typeof(int), "Expected to be calculating an integer");
return(result);
}
