Loading...

Searching...

No Matches

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