void dumpDimension(SDArray var, int i, PrintWriter os) { os.print("["); try { os.print(var.getStart(i)); if (var.getStride(i) != 1) { os.print(":"); os.print(var.getStride(i)); } if (var.getStride(i) != 1 || var.getStop(i) != var.getStart(i)) { os.print(":"); os.print(var.getStop(i)); } } catch (InvalidDimensionException ipe) { os.print('?'); } os.print("]"); }