protected void toPDialect(CodeWriter writer)
{
writer.append("def test ");
writer.append(name);
writer.append(" ():\n");
writer.indent();
statements.ToDialect(writer);
writer.dedent();
writer.append("verifying:");
if (error != null)
{
writer.append(" ");
error.ToDialect(writer);
writer.append("\n");
}
else
{
writer.append("\n");
writer.indent();
foreach (IExpression exp in assertions)
{
exp.ToDialect(writer);
writer.append("\n");
}
writer.dedent();
}
}
