The search functionality needs JavaScript enabled
throw exception if current token is eof
void checkNoEof();