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();
}
}
protected virtual void ToMDialect(CodeWriter writer)
{
writer.append("def ");
writer.append(name);
writer.append(" (");
parameters.ToDialect(writer);
writer.append(")");
if (returnType != null && returnType != VoidType.Instance)
{
writer.append("->");
returnType.ToDialect(writer);
}
writer.append(":\n");
writer.indent();
statements.ToDialect(writer);
writer.dedent();
}
private void BodyToDialect(CodeWriter writer)
{
if (Statements.Count == 1 && Statements[0] is ReturnStatement)
{
((ReturnStatement)Statements[0]).getExpression().ToDialect(writer);
}
else
{
writer.append("{").newLine().indent();
Statements.ToDialect(writer);
writer.newLine().dedent().append("}").newLine();
}
}
