/** Returns a formatted text string of this class. */
public String asString(int indent, int increment) {
StringBuffer sb = new StringBuffer();
printSpace(indent, sb);
sb.append("IterateStmt\n");
if (changing != null) {
sb.append(changing.asString(indent + increment, increment));
}
if (maintaining != null) {
sb.append(maintaining.asString(indent + increment, increment));
}
if (decreasing != null) {
sb.append(decreasing.asString(indent + increment, increment));
}
if (statements != null) {
sb.append(statements.asString(indent + increment, increment));
}
return sb.toString();
}
/** Returns a formatted text string of this class. */
public String asString(int indent, int increment) {
StringBuffer sb = new StringBuffer();
printSpace(indent, sb);
sb.append("QuantExp\n");
printSpace(indent + increment, sb);
sb.append(printConstant(operator) + "\n");
if (vars != null) {
sb.append(vars.asString(indent + increment, increment));
}
if (where != null) {
sb.append(where.asString(indent + increment, increment));
}
if (body != null) {
sb.append(body.asString(indent + increment, increment));
}
return sb.toString();
}
/** Returns a formatted text string of this class. */
public String asString(int indent, int increment) {
StringBuffer sb = new StringBuffer();
printSpace(indent, sb);
sb.append("GoalExp\n");
if (myLineNumber != null) {
printSpace(indent + increment, sb);
sb.append("Line: " + myLineNumber.asString(0, increment));
}
if (exp != null) {
sb.append(exp.asString(indent + increment, increment));
}
return sb.toString();
}
