@Override public void visitArrayConstructorExpr(ArrayConstructorExpr arrayConstructorExpr) { visit(arrayConstructorExpr.getArrayType()); out.append("[" + arrayConstructorExpr.getArrayType().getArrayInfo().getSize() + "]("); boolean first = true; for (Expr e : arrayConstructorExpr.getArgs()) { if (!first) { out.append(", "); } first = false; visit(e); } out.append(")"); }