cpp_token_buffert Class Reference

#include <cpp_token_buffer.h>

Collaboration diagram for cpp_token_buffert:

Public Types
typedef unsigned int	post

Public Member Functions
	cpp_token_buffert (message_handlert &message_handler)
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 ()

Public Attributes
ansi_c_parsert	ansi_c_parser

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
void *	ansi_c_scanner_state

Detailed Description

Definition at line 24 of file cpp_token_buffer.h.

Member Typedef Documentation

post

typedef unsigned int cpp_token_buffert::post

Definition at line 41 of file cpp_token_buffer.h.

tokenst

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

protected

Definition at line 70 of file cpp_token_buffer.h.

Constructor & Destructor Documentation

cpp_token_buffert()

cpp_token_buffert::cpp_token_buffert ( message_handlert &  message_handler )

inlineexplicit

Definition at line 27 of file cpp_token_buffer.h.

Member Function Documentation

clear()

void cpp_token_buffert::clear ( )

inline

Definition at line 53 of file cpp_token_buffer.h.

current_token()

cpp_tokent & cpp_token_buffert::current_token ( )

inline

Definition at line 61 of file cpp_token_buffer.h.

get_token() [1/2]

int cpp_token_buffert::get_token

(

)

Definition at line 40 of file cpp_token_buffer.cpp.

get_token() [2/2]

int cpp_token_buffert::get_token

(

cpp_tokent &

token

)

Definition at line 26 of file cpp_token_buffer.cpp.

Insert()

void cpp_token_buffert::Insert

(

const cpp_tokent &

token

)

Definition at line 116 of file cpp_token_buffer.cpp.

LookAhead() [1/2]

int cpp_token_buffert::LookAhead

(

unsigned

offset

)

Definition at line 14 of file cpp_token_buffer.cpp.

LookAhead() [2/2]

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

Definition at line 54 of file cpp_token_buffer.cpp.

read_token()

void cpp_token_buffert::read_token ( )

protected

Definition at line 71 of file cpp_token_buffer.cpp.

Replace()

void cpp_token_buffert::Replace

(

const cpp_tokent &

token

)

Definition at line 106 of file cpp_token_buffer.cpp.

Restore()

void cpp_token_buffert::Restore

(

post

pos

)

Definition at line 101 of file cpp_token_buffer.cpp.

Save()

cpp_token_buffert::post cpp_token_buffert::Save

(

)

Definition at line 96 of file cpp_token_buffer.cpp.

Member Data Documentation

ansi_c_parser

ansi_c_parsert cpp_token_buffert::ansi_c_parser

Definition at line 67 of file cpp_token_buffer.h.

ansi_c_scanner_state

void* cpp_token_buffert::ansi_c_scanner_state

protected

Definition at line 77 of file cpp_token_buffer.h.

current_pos

post cpp_token_buffert::current_pos

protected

Definition at line 75 of file cpp_token_buffer.h.

token_vector

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

protected

Definition at line 73 of file cpp_token_buffer.h.

tokens

tokenst cpp_token_buffert::tokens

protected

Definition at line 71 of file cpp_token_buffer.h.

---

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

• /home/runner/work/cbmc/cbmc/src/cpp/cpp_token_buffer.h
• /home/runner/work/cbmc/cbmc/src/cpp/cpp_token_buffer.cpp