void Replace(const cpp_tokent &token)
C++ Parser: Token Buffer.
std::vector< tokenst::iterator > token_vector
void Insert(const cpp_tokent &token)
irep_idt get_file() const
unsigned get_line_no() const
std::vector< exprt > stack
int LookAhead(unsigned offset)
ansi_c_parsert ansi_c_parser
int yyansi_clex()
The main scanner function which does all the work.