12#ifndef CPROVER_CPP_CPP_TOKEN_BUFFER_H
13#define CPROVER_CPP_CPP_TOKEN_BUFFER_H
virtual void clear()
Reset the abstract state.
int LookAhead(unsigned offset)
std::list< cpp_tokent > tokenst
void Replace(const cpp_tokent &token)
std::vector< tokenst::iterator > token_vector
cpp_tokent & current_token()
void Insert(const cpp_tokent &token)
#define PRECONDITION(CONDITION)