* ObservationInteger} read.
*/
public ObservationInteger read(StreamTokenizer st)
throws IOException, FileFormatException
{
ObservationInteger oi;
st.ordinaryChar((int)'.');
if (st.nextToken() == StreamTokenizer.TT_NUMBER) {
if (st.nval > nbElements)
throw new FileFormatException(st.lineno(),
"Integer higher than maximum value " + (nbElements-1));
oi = new ObservationInteger((int) st.nval);
} else
throw new FileFormatException(st.lineno(), "Integer expected");
if (st.nextToken() != (int) ';')
throw new FileFormatException(st.lineno(), "';' expected");