cscannert Class Reference

#include <cscanner.h>

Collaboration diagram for cscannert:

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