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