/** 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();
}
public String split(int indent) {
StringBuffer sb = new StringBuffer();
printSpace(indent, sb);
if (where != null) sb.append(where.toString(1));
sb.append(printConstant(operator));
List<MathVarDec> list = vars;
Iterator<MathVarDec> i = list.iterator();
while (i.hasNext()) {
MathVarDec tmp = i.next();
sb.append(" ");
sb.append(tmp.toString(0));
}
sb.append(", ");
if (body != null) sb.append(body.toString(0));
return sb.toString();
}
public Object getCacheKey() {
List<Object> key = new ArrayList<Object>();
key.add(super.getCacheKey());
// Note required to use string in order for caching to work
if (filterExpr != null) {
key.add(filterExpr.toString());
}
key.add(getEvaluator().isNonEmpty());
if (this.getEvaluator() instanceof RolapEvaluator) {
key.add(((RolapEvaluator) this.getEvaluator()).getSlicerMembers());
}
return key;
}
public String toString(int indent) {
// Environment env = Environment.getInstance();
// if(env.isabelle()){return toIsabelleString(indent);};
StringBuffer sb = new StringBuffer();
printSpace(indent, sb);
if (where != null) sb.append(where.toString(1));
sb.append(printConstant(operator));
List<MathVarDec> list = vars;
Iterator<MathVarDec> i = list.iterator();
while (i.hasNext()) {
MathVarDec tmp = i.next();
sb.append(" ");
sb.append(tmp.toString(0));
if (i.hasNext()) {
sb.append(", ");
}
}
sb.append(" such that ");
if (body != null) sb.append(body.toString(0));
return sb.toString();
}
@Override
public String toString() {
return "*" + var_name + " = " + exp.toString();
}
