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;
}
