return (Object[])Array.newInstance(c, i);
}
+ public static String indent(String s, int indent) {
+ if (s.indexOf('\n')==-1) return s;
+ StringBuffer ret = new StringBuffer();
+ for(int i=0; i<s.length(); i++) {
+ char c = s.charAt(i);
+ ret.append(c);
+ if (c=='\n')
+ for(int j=0; j<indent; j++)
+ ret.append(' ');
+ }
+ return ret.toString();
+ }
+
+ public static String show(Object o) {
+ if (o==null) return "null";
+ if (! (o instanceof Object[])) return o.toString() + " : " + o.getClass().getName();
+ Object[] arr = (Object[])o;
+ StringBuffer ret = new StringBuffer();
+ ret.append(o.getClass().getComponentType().getName());
+ ret.append("[]:\n");
+ for(int i=0; i<arr.length; i++)
+ ret.append(indent(show(arr[i]), 4) + "\n");
+ return ret.toString();
+ }
+
public static Object lub(Object argo) {
if (argo instanceof Object[]) return lub((Object[])argo);
return argo;