protected void AssertBody(IMethodDeclaration method, IKaVEList <IStatement> body)
{
if (!body.Equals(method.Body))
{
Console.WriteLine("AssertBody failed!");
Console.WriteLine("\n-- expected body --\n");
Console.WriteLine(body.ToString());
Console.WriteLine("\n-- actual body --\n");
Console.WriteLine(method.Body.ToString());
Assert.Fail();
}
}
protected bool Equals(IndexAccessExpression other)
{
return(Reference.Equals(other.Reference) && Indices.Equals(other.Indices));
}