/** Returns a formatted text string of this class. */
public String toString(int indent) {
StringBuffer sb = new StringBuffer();
printSpace(indent, sb);
sb.append("Iterate \n");
if (maintaining != null) {
printSpace(indent, sb);
sb.append("\tmaintaining " + maintaining.toString(0) + ";\n");
}
if (decreasing != null) {
printSpace(indent, sb);
sb.append("\tdecreasing " + decreasing.toString(0) + ";\n");
}
if (!changing.isEmpty()) {
printSpace(indent, sb);
sb.append("\tchanging " + argumentsToString(changing) + ";\n");
}
// printSpace(indent, sb);
Iterator<Statement> i = statements.iterator();
while (i.hasNext()) {
sb.append((i.next()).toString(indent + 4 * 2) + ";\n");
}
printSpace(indent, sb);
sb.append("repeat");
return sb.toString();
}
