// @ requires iter.hasNext();
private <T extends IExpr> String rightassoc(String fcnname, Iterator<T> iter)
throws IVisitor.VisitorException {
T n = iter.next();
if (!iter.hasNext()) {
return n.accept(this);
} else {
StringBuilder sb = new StringBuilder();
sb.append("(");
sb.append(fcnname);
sb.append(" ");
sb.append(n.accept(this));
sb.append(" ");
sb.append(rightassoc(fcnname, iter));
sb.append(")");
return sb.toString();
}
}
