public List<Dimension> getDimensions() {
   if (pov.getLen() > 1) {
     List<Dimension> dims = new ArrayList<Dimension>(1);
     String suffix =
         (pov.getDataType() == DataType.STRING) || (pov.getDataType() == DataType.CHAR)
             ? "_strlen"
             : "_len";
     dims.add(new Dimension(pov.getName() + suffix, pov.getLen(), false, false, false));
     return dims;
   } else return new ArrayList<Dimension>(0);
 }
 public int[] getShape() {
   return (pov.getLen() > 1) ? new int[] {pov.getLen()} : new int[0];
 }
 public int getRank() {
   return (pov.getLen() > 1) ? 1 : 0;
 }