#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() ( void )

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

Public Member Functions

Public Attributes

Protected Attributes