Loading...

Searching...

No Matches

Public Types | Public Member Functions | Protected Attributes | List of all members

ctokenitt Class Reference

#include <ctokenit.h>

+ Collaboration diagram for ctokenitt:

[フレーム]

[legend]

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