Public Member Functions

cscannert (std::istream &)

~cscannert ()

ctokent operator() ()

void set_token (std::string text, ctokent::kindt kind)

std::vector< ctokent > get_tokens ()

Public Attributes

std::istream & in

std::size_t line_number = 1

bool return_WS_and_comments = false

Protected Attributes

ctokent token

Detailed Description

Definition at line 20 of file cscanner.h.

Constructor & Destructor Documentation

◆ cscannert()

cscannert::cscannert ( std::istream & _in )

explicit

Definition at line 17 of file cscanner.cpp.

◆ ~cscannert()

cscannert::~cscannert ( )

Definition at line 22 of file cscanner.cpp.

Member Function Documentation

◆ get_tokens()

std::vector< ctokent > cscannert::get_tokens ( )

Definition at line 41 of file cscanner.cpp.

◆ operator()()

ctokent cscannert::operator() ( )

Definition at line 27 of file cscanner.cpp.

◆ set_token()

void cscannert::set_token ( std::string text,

ctokent::kindt kind

)

inline

Definition at line 33 of file cscanner.h.

Member Data Documentation

◆ in

std::istream& cscannert::in

Definition at line 28 of file cscanner.h.

◆ line_number

std::size_t cscannert::line_number = 1

Definition at line 29 of file cscanner.h.

◆ return_WS_and_comments

bool cscannert::return_WS_and_comments = false

Definition at line 31 of file cscanner.h.

◆ token

ctokent cscannert::token

protected

Definition at line 43 of file cscanner.h.

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

/home/runner/work/cbmc/cbmc/src/crangler/cscanner.h
/home/runner/work/cbmc/cbmc/src/crangler/cscanner.cpp