ctokenitt Class Reference

#include <ctokenit.h>

Collaboration diagram for ctokenitt:

Public Types
using	tokenst = std::vector< ctokent >

Public Member Functions
	ctokenitt (const tokenst &__tokens)
	operator bool () const
bool	eof () const
ctokenitt &	operator+= (std::size_t offset)
ctokenitt	operator++ (int)
const ctokent &	operator* () const
const ctokent *	operator-> () const
tokenst::const_iterator	cit () const
bool	operator!= (const ctokenitt &other) const

Protected Attributes
const tokenst &	tokens
std::size_t	pos = 0

Detailed Description

Definition at line 19 of file ctokenit.h.

Member Typedef Documentation

tokenst

using ctokenitt::tokenst = std::vector<ctokent>

Definition at line 22 of file ctokenit.h.

Constructor & Destructor Documentation

ctokenitt()

ctokenitt::ctokenitt ( const tokenst &  __tokens )

inlineexplicit

Definition at line 24 of file ctokenit.h.

Member Function Documentation

cit()

tokenst::const_iterator ctokenitt::cit ( ) const

inline

Definition at line 53 of file ctokenit.h.

eof()

bool ctokenitt::eof ( ) const

inline

Definition at line 33 of file ctokenit.h.

operator bool()

ctokenitt::operator bool ( ) const

inlineexplicit

Definition at line 28 of file ctokenit.h.

operator!=()

bool ctokenitt::operator!= ( const ctokenitt &  other ) const

inline

Definition at line 58 of file ctokenit.h.

operator*()

const ctokent & ctokenitt::operator*

(

)

const

Definition at line 19 of file ctokenit.cpp.

operator++()

ctokenitt ctokenitt::operator++

(

int

)

Definition at line 25 of file ctokenit.cpp.

operator+=()

ctokenitt& ctokenitt::operator+= ( std::size_t  offset )

inline

Definition at line 38 of file ctokenit.h.

operator->()

const ctokent* ctokenitt::operator-> ( ) const

inline

Definition at line 48 of file ctokenit.h.

Member Data Documentation

pos

std::size_t ctokenitt::pos = 0

protected

Definition at line 65 of file ctokenit.h.

tokens

const tokenst& ctokenitt::tokens

protected

Definition at line 64 of file ctokenit.h.

---

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

• /home/runner/work/cbmc/cbmc/src/crangler/ctokenit.h
• /home/runner/work/cbmc/cbmc/src/crangler/ctokenit.cpp