private void NextCharacter()
{
try
{
_ch = (char) _input.Read();
switch (_ch)
{
case CR:
_ch = (char) _input.Read(); // skip CR
_line++; _col = 0;
break;
case LF:
_line++; _col = 0; break;
case '\uffff': // read returns -1 at end of file
_ch = EOF; break;
default: _col++; break;
}
}
catch (IOException)
{
_ch = EOF;
}
}