String name = ctrl + readString("=");
char type = readChar();
ctrl = readChar();
if (ctrl != VPF_ELEMENT_SEPARATOR) {
throw new VPFHeaderFormatException(
"Header format does not fit VPF file definition.");
}
String elemStr = readString(new String() + VPF_ELEMENT_SEPARATOR).trim();
if (elemStr.equals("*")) {
elemStr = "-1";
}
int elements = Integer.parseInt(elemStr);
char key = readChar();
ctrl = readChar();
if (ctrl != VPF_ELEMENT_SEPARATOR) {
throw new VPFHeaderFormatException(
"Header format does not fit VPF file definition.");
}
String colDesc = readString(new String() + VPF_ELEMENT_SEPARATOR
+ VPF_FIELD_SEPARATOR);