//
// SpaceState.java: State for consuming white space.
// 
// Author: Mosur Ravishankar
// Date: 18 Mar 1998
//


final class SpaceState extends LexerState
{
  LexerState nextState (char c, PushBackIntf p)
    throws LexerStateException, InputException
    {
      if (! Character.isWhitespace(c)) {
	// Reached a non whitespace character.
	p.pushBack();
	return new FinalState(T_SPACE);
      } else
	return this;
    }
}