cprover
cpp_token_buffert Class Reference

#include <cpp_token_buffer.h>

Collaboration diagram for cpp_token_buffert:
[legend]

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_tokentcurrent_token ()
 

Protected Types

typedef std::list< cpp_tokenttokenst
 

Protected Member Functions

void read_token ()
 

Protected Attributes

tokenst tokens
 
std::vector< tokenst::iterator > token_vector
 
post current_pos
 

Detailed Description

Definition at line 17 of file cpp_token_buffer.h.

Member Typedef Documentation

§ post

typedef unsigned int cpp_token_buffert::post

Definition at line 24 of file cpp_token_buffer.h.

§ tokenst

typedef std::list<cpp_tokent> cpp_token_buffert::tokenst
protected

Definition at line 51 of file cpp_token_buffer.h.

Constructor & Destructor Documentation

§ cpp_token_buffert()

cpp_token_buffert::cpp_token_buffert ( )
inline

Definition at line 20 of file cpp_token_buffer.h.

Member Function Documentation

§ clear()

void cpp_token_buffert::clear ( void  )
inline

Definition at line 36 of file cpp_token_buffer.h.

References current_pos, token_vector, and tokens.

Referenced by cpp_parsert::clear().

§ current_token()

cpp_tokent& cpp_token_buffert::current_token ( )
inline

Definition at line 44 of file cpp_token_buffer.h.

References tokens.

Referenced by cpp_parsert::add_location(), and cpp_parsert::current_token().

§ get_token() [1/2]

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.

§ get_token() [2/2]

int cpp_token_buffert::get_token ( )

Definition at line 45 of file cpp_token_buffer.cpp.

References current_pos, read_token(), and token_vector.

§ Insert()

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.

§ LookAhead() [1/2]

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.

§ LookAhead() [2/2]

int cpp_token_buffert::LookAhead ( unsigned  offset,
cpp_tokent token 
)

§ read_token()

void cpp_token_buffert::read_token ( )
protected

§ 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.

§ Restore()

void cpp_token_buffert::Restore ( post  pos)

Definition at line 106 of file cpp_token_buffer.cpp.

References current_pos, and pos().

§ Save()

cpp_token_buffert::post cpp_token_buffert::Save ( )

Definition at line 101 of file cpp_token_buffer.cpp.

References current_pos.

Member Data Documentation

§ current_pos

post cpp_token_buffert::current_pos
protected

Definition at line 56 of file cpp_token_buffer.h.

Referenced by clear(), get_token(), Insert(), LookAhead(), Replace(), Restore(), and Save().

§ token_vector

std::vector<tokenst::iterator> cpp_token_buffert::token_vector
protected

Definition at line 54 of file cpp_token_buffer.h.

Referenced by clear(), get_token(), Insert(), LookAhead(), read_token(), and Replace().

§ tokens

tokenst cpp_token_buffert::tokens
protected

Definition at line 52 of file cpp_token_buffer.h.

Referenced by clear(), current_token(), Insert(), and read_token().


The documentation for this class was generated from the following files: