12 #ifndef CPROVER_CPP_CPP_TOKEN_BUFFER_H 13 #define CPROVER_CPP_CPP_TOKEN_BUFFER_H 66 #endif // CPROVER_CPP_CPP_TOKEN_BUFFER_H void Replace(const cpp_tokent &token)
std::vector< tokenst::iterator > token_vector
void Insert(const cpp_tokent &token)
#define PRECONDITION(CONDITION)
cpp_tokent & current_token()
int LookAhead(unsigned offset)
std::list< cpp_tokent > tokenst