def skipOverWhitespace(stream):
 tok = WHITESPACES[0]
 cnt = 0
 while (tok in WHITESPACES):
  tok = stream.read(1)
  cnt += 1
 return (cnt > 1)

def skipOverWhitespace ( stream ) : tok = WHITESPACES [ 0 ] cnt = 0 while ( tok in WHITESPACES ) : tok = stream . read ( 1 ) cnt += 1 return ( cnt > 1 )
similar to readnonwhitespace .