public String dimension() {
            StringBuffer dimension = new StringBuffer();
            for (Type t = arrayType; t.tag == ARRAY; t = env.types.elemtype(t)) {
                dimension = dimension.append("[]");
            }
            return dimension.toString();
        }