cprover
|
#include <cpp_token_buffer.h>
Public Types | |
typedef unsigned int | post |
Public Member Functions | |
cpp_token_buffert () | |
int | LookAhead (unsigned offset) |
int | get_token (cpp_tokent &token) |
int | get_token () |
int | LookAhead (unsigned offset, cpp_tokent &token) |
post | Save () |
void | Restore (post pos) |
void | Replace (const cpp_tokent &token) |
void | Insert (const cpp_tokent &token) |
void | clear () |
cpp_tokent & | current_token () |
Protected Types | |
typedef std::list< cpp_tokent > | tokenst |
Protected Member Functions | |
void | read_token () |
Protected Attributes | |
tokenst | tokens |
std::vector< tokenst::iterator > | token_vector |
post | current_pos |
Definition at line 17 of file cpp_token_buffer.h.
typedef unsigned int cpp_token_buffert::post |
Definition at line 24 of file cpp_token_buffer.h.
|
protected |
Definition at line 51 of file cpp_token_buffer.h.
|
inline |
Definition at line 20 of file cpp_token_buffer.h.
|
inline |
Definition at line 36 of file cpp_token_buffer.h.
References current_pos, token_vector, and tokens.
Referenced by cpp_parsert::clear().
|
inline |
Definition at line 44 of file cpp_token_buffer.h.
References tokens.
Referenced by cpp_parsert::add_location(), and cpp_parsert::current_token().
int cpp_token_buffert::get_token | ( | cpp_tokent & | token | ) |
Definition at line 31 of file cpp_token_buffer.cpp.
References current_pos, cpp_tokent::kind, read_token(), and token_vector.
int cpp_token_buffert::get_token | ( | ) |
Definition at line 45 of file cpp_token_buffer.cpp.
References current_pos, read_token(), and token_vector.
void cpp_token_buffert::Insert | ( | const cpp_tokent & | token | ) |
Definition at line 121 of file cpp_token_buffer.cpp.
References current_pos, token_vector, and tokens.
int cpp_token_buffert::LookAhead | ( | unsigned | offset | ) |
Definition at line 19 of file cpp_token_buffer.cpp.
References current_pos, read_token(), and token_vector.
int cpp_token_buffert::LookAhead | ( | unsigned | offset, |
cpp_tokent & | token | ||
) |
Definition at line 59 of file cpp_token_buffer.cpp.
References current_pos, cpp_tokent::kind, read_token(), token_vector, yyansi_clex(), and yyansi_ctext.
|
protected |
Definition at line 76 of file cpp_token_buffer.cpp.
References ansi_c_parser, parsert::get_file(), parsert::get_line_no(), parsert::stack, token_vector, tokens, yyansi_clex(), and yyansi_ctext.
Referenced by get_token(), LookAhead(), and Replace().
void cpp_token_buffert::Replace | ( | const cpp_tokent & | token | ) |
Definition at line 111 of file cpp_token_buffer.cpp.
References current_pos, read_token(), and token_vector.
void cpp_token_buffert::Restore | ( | post | pos | ) |
Definition at line 106 of file cpp_token_buffer.cpp.
References current_pos, and pos().
cpp_token_buffert::post cpp_token_buffert::Save | ( | ) |
Definition at line 101 of file cpp_token_buffer.cpp.
References current_pos.
|
protected |
Definition at line 56 of file cpp_token_buffer.h.
Referenced by clear(), get_token(), Insert(), LookAhead(), Replace(), Restore(), and Save().
|
protected |
Definition at line 54 of file cpp_token_buffer.h.
Referenced by clear(), get_token(), Insert(), LookAhead(), read_token(), and Replace().
|
protected |
Definition at line 52 of file cpp_token_buffer.h.
Referenced by clear(), current_token(), Insert(), and read_token().