/** 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(); }